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
106 define i32 @n(i32 %x, i32 %y) nounwind {
111 %sub = sub nsw i32 %x, %y
112 %cmp = icmp slt i32 %sub, 0
113 %y.x = select i1 %cmp, i32 %y, i32 %x
117 define void @o() nounwind uwtable {
119 %0 = load i16* undef, align 2
120 br i1 undef, label %if.then.i, label %if.end.i
122 if.then.i: ; preds = %entry
125 if.end.i: ; preds = %entry
126 br i1 undef, label %sw.bb, label %sw.default
128 sw.bb: ; preds = %if.end.i
129 br i1 undef, label %if.then44, label %if.end29
131 if.end29: ; preds = %sw.bb
135 %cmp25 = icmp eq i16 %1, 0
136 %. = select i1 %cmp25, i16 2, i16 0
137 br i1 %cmp25, label %if.then44, label %sw.default
139 sw.default: ; preds = %if.end29, %if.end.i
140 br i1 undef, label %if.then.i96, label %if.else.i97
142 if.then.i96: ; preds = %sw.default
145 if.else.i97: ; preds = %sw.default
148 if.then44: ; preds = %if.end29, %sw.bb
149 %aModeRefSel.1.ph = phi i16 [ %., %if.end29 ], [ 3, %sw.bb ]
150 br i1 undef, label %if.then.i103, label %if.else.i104
152 if.then.i103: ; preds = %if.then44
155 if.else.i104: ; preds = %if.then44