1 ; RUN: llc < %s -march=x86 -mcpu=pentiumpro | 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 define i32 @n(i32 %x, i32 %y) nounwind {
146 %sub = sub nsw i32 %x, %y
147 %cmp = icmp slt i32 %sub, 0
148 %y.x = select i1 %cmp, i32 %y, i32 %x
152 define void @o() nounwind uwtable {
154 %0 = load i16* undef, align 2
155 br i1 undef, label %if.then.i, label %if.end.i
157 if.then.i: ; preds = %entry
160 if.end.i: ; preds = %entry
161 br i1 undef, label %sw.bb, label %sw.default
163 sw.bb: ; preds = %if.end.i
164 br i1 undef, label %if.then44, label %if.end29
166 if.end29: ; preds = %sw.bb
170 %cmp25 = icmp eq i16 %1, 0
171 %. = select i1 %cmp25, i16 2, i16 0
172 br i1 %cmp25, label %if.then44, label %sw.default
174 sw.default: ; preds = %if.end29, %if.end.i
175 br i1 undef, label %if.then.i96, label %if.else.i97
177 if.then.i96: ; preds = %sw.default
180 if.else.i97: ; preds = %sw.default
183 if.then44: ; preds = %if.end29, %sw.bb
184 %aModeRefSel.1.ph = phi i16 [ %., %if.end29 ], [ 3, %sw.bb ]
185 br i1 undef, label %if.then.i103, label %if.else.i104
187 if.then.i103: ; preds = %if.then44
190 if.else.i104: ; preds = %if.then44