1 ; RUN: llc < %s -march=x86 -mcpu=pentiumpro -verify-machineinstrs | FileCheck %s
3 define i32 @f(i32 %X) {
7 %tmp1 = add i32 %X, 1 ; <i32> [#uses=1]
8 %tmp = icmp slt i32 %tmp1, 0 ; <i1> [#uses=1]
9 br i1 %tmp, label %cond_true, label %cond_next
11 cond_true: ; preds = %entry
12 %tmp2 = tail call i32 (...)* @bar( ) ; <i32> [#uses=0]
15 cond_next: ; preds = %cond_true, %entry
16 %tmp3 = tail call i32 (...)* @baz( ) ; <i32> [#uses=0]
26 define i32 @g(i32 %a, i32 %b) nounwind {
31 %sub = sub nsw i32 %a, %b
32 %cmp = icmp sgt i32 %sub, 0
33 %cond = select i1 %cmp, i32 %sub, i32 0
38 define i32 @h(i32 %a, i32 %b) nounwind {
45 %cmp = icmp slt i32 %b, %a
46 %sub = sub nsw i32 %a, %b
47 %cond = select i1 %cmp, i32 %sub, i32 0
50 define i32 @i(i32 %a, i32 %b) nounwind {
57 %cmp = icmp sgt i32 %a, %b
58 %sub = sub nsw i32 %a, %b
59 %cond = select i1 %cmp, i32 %sub, i32 0
62 define i32 @j(i32 %a, i32 %b) nounwind {
69 %cmp = icmp ugt i32 %a, %b
71 %cond = select i1 %cmp, i32 %sub, i32 0
74 define i32 @k(i32 %a, i32 %b) nounwind {
81 %cmp = icmp ult i32 %b, %a
83 %cond = select i1 %cmp, i32 %sub, i32 0
86 ; redundant cmp instruction
87 define i32 @l(i32 %a, i32 %b) nounwind {
91 %cmp = icmp slt i32 %b, %a
92 %sub = sub nsw i32 %a, %b
93 %cond = select i1 %cmp, i32 %sub, i32 %a
96 define i32 @m(i32 %a, i32 %b) nounwind {
100 %cmp = icmp sgt i32 %a, %b
101 %sub = sub nsw i32 %a, %b
102 %cond = select i1 %cmp, i32 %b, i32 %sub
105 ; If EFLAGS is live-out, we can't remove cmp if there exists
107 define i32 @l2(i32 %a, i32 %b) nounwind {
111 %cmp = icmp eq i32 %b, %a
112 %sub = sub nsw i32 %a, %b
113 br i1 %cmp, label %if.then, label %if.else
116 %cmp2 = icmp sgt i32 %b, %a
117 %sel = select i1 %cmp2, i32 %sub, i32 %a
123 define i32 @l3(i32 %a, i32 %b) nounwind {
129 %cmp = icmp sgt i32 %b, %a
130 %sub = sub nsw i32 %a, %b
131 br i1 %cmp, label %if.then, label %if.else
137 %add = add nsw i32 %sub, 1
141 ; When Movr0 is between sub and cmp, we need to move "Movr0" before sub.
142 define i32 @l4(i32 %a, i32 %b) nounwind {
148 %cmp = icmp sgt i32 %b, %a
149 %sub = sub i32 %a, %b
150 %.sub = select i1 %cmp, i32 0, i32 %sub
154 define i32 @n(i32 %x, i32 %y) nounwind {
159 %sub = sub nsw i32 %x, %y
160 %cmp = icmp slt i32 %sub, 0
161 %y.x = select i1 %cmp, i32 %y, i32 %x
165 define void @o() nounwind uwtable {
167 %0 = load i16* undef, align 2
168 br i1 undef, label %if.then.i, label %if.end.i
170 if.then.i: ; preds = %entry
173 if.end.i: ; preds = %entry
174 br i1 undef, label %sw.bb, label %sw.default
176 sw.bb: ; preds = %if.end.i
177 br i1 undef, label %if.then44, label %if.end29
179 if.end29: ; preds = %sw.bb
183 %cmp25 = icmp eq i16 %1, 0
184 %. = select i1 %cmp25, i16 2, i16 0
185 br i1 %cmp25, label %if.then44, label %sw.default
187 sw.default: ; preds = %if.end29, %if.end.i
188 br i1 undef, label %if.then.i96, label %if.else.i97
190 if.then.i96: ; preds = %sw.default
193 if.else.i97: ; preds = %sw.default
196 if.then44: ; preds = %if.end29, %sw.bb
197 %aModeRefSel.1.ph = phi i16 [ %., %if.end29 ], [ 3, %sw.bb ]
198 br i1 undef, label %if.then.i103, label %if.else.i104
200 if.then.i103: ; preds = %if.then44
203 if.else.i104: ; preds = %if.then44
207 define i32 @p(i32 %a, i32 %b) nounwind {
212 %add = add nsw i32 %b, %a
213 %cmp = icmp sgt i32 %add, 0
214 %add. = select i1 %cmp, i32 %add, i32 0
218 ; If we have sub a, b and cmp b, a and the result of cmp is used
219 ; by sbb, we should not optimize cmp away.
220 define i32 @q(i32 %j.4, i32 %w, i32 %el) {
225 %tmp532 = add i32 %j.4, %w
226 %tmp533 = icmp ugt i32 %tmp532, %el
227 %tmp534 = icmp ult i32 %w, %el
228 %or.cond = and i1 %tmp533, %tmp534
229 %tmp535 = sub i32 %el, %w
230 %j.5 = select i1 %or.cond, i32 %tmp535, i32 %j.4
234 define i8* @r(i8* %base, i32* nocapture %offset, i32 %size) nounwind {
242 %0 = load i32* %offset, align 8
243 %cmp = icmp slt i32 %0, %size
244 br i1 %cmp, label %return, label %if.end
247 %sub = sub nsw i32 %0, %size
248 store i32 %sub, i32* %offset, align 8
249 %add.ptr = getelementptr inbounds i8* %base, i32 %sub
253 %retval.0 = phi i8* [ %add.ptr, %if.end ], [ null, %entry ]
257 ; Test optimizations of dec/inc.
258 define i32 @dec(i32 %a) nounwind {
264 %sub = sub nsw i32 %a, 1
265 %cmp = icmp sgt i32 %sub, 0
266 %cond = select i1 %cmp, i32 %sub, i32 0
270 define i32 @inc(i32 %a) nounwind {
276 %add = add nsw i32 %a, 1
277 %cmp = icmp sgt i32 %add, 0
278 %cond = select i1 %cmp, i32 %add, i32 0
283 @b = common global i32 0, align 4
284 @a = common global i32 0, align 4
285 define i32 @test1(i32 %p1) nounwind uwtable {
291 %0 = load i32* @b, align 4
292 %cmp = icmp ult i32 %0, %p1
293 %conv = zext i1 %cmp to i32
294 %1 = load i32* @a, align 4
295 %and = and i32 %conv, %1
296 %conv1 = trunc i32 %and to i8
297 %2 = urem i8 %conv1, 3
298 %tobool = icmp eq i8 %2, 0
299 br i1 %tobool, label %if.end, label %if.then
302 %dec = add nsw i32 %1, -1
303 store i32 %dec, i32* @a, align 4