1 ; RUN: opt -S -instcombine < %s | FileCheck %s
5 define void @test1(i32 %a, i32 %b) nounwind {
6 %1 = icmp slt i32 %a, 0
7 %2 = icmp slt i32 %b, 0
8 %or.cond = or i1 %1, %2
9 br i1 %or.cond, label %if.then, label %if.end
11 ; CHECK-LABEL: @test1(
12 ; CHECK-NEXT: %1 = or i32 %a, %b
13 ; CHECK-NEXT: %2 = icmp slt i32 %1, 0
17 tail call void @foo() nounwind
24 define void @test2(i32 %a, i32 %b) nounwind {
25 %1 = icmp sgt i32 %a, -1
26 %2 = icmp sgt i32 %b, -1
27 %or.cond = or i1 %1, %2
28 br i1 %or.cond, label %if.then, label %if.end
30 ; CHECK-LABEL: @test2(
31 ; CHECK-NEXT: %1 = and i32 %a, %b
32 ; CHECK-NEXT: %2 = icmp sgt i32 %1, -1
36 tail call void @foo() nounwind
43 define void @test3(i32 %a, i32 %b) nounwind {
44 %1 = icmp slt i32 %a, 0
45 %2 = icmp slt i32 %b, 0
46 %or.cond = and i1 %1, %2
47 br i1 %or.cond, label %if.then, label %if.end
49 ; CHECK-LABEL: @test3(
50 ; CHECK-NEXT: %1 = and i32 %a, %b
51 ; CHECK-NEXT: %2 = icmp slt i32 %1, 0
55 tail call void @foo() nounwind
62 define void @test4(i32 %a, i32 %b) nounwind {
63 %1 = icmp sgt i32 %a, -1
64 %2 = icmp sgt i32 %b, -1
65 %or.cond = and i1 %1, %2
66 br i1 %or.cond, label %if.then, label %if.end
68 ; CHECK-LABEL: @test4(
69 ; CHECK-NEXT: %1 = or i32 %a, %b
70 ; CHECK-NEXT: %2 = icmp sgt i32 %1, -1
74 tail call void @foo() nounwind
81 define void @test5(i32 %a) nounwind {
82 %and = and i32 %a, 134217728
83 %1 = icmp eq i32 %and, 0
84 %2 = icmp sgt i32 %a, -1
85 %or.cond = and i1 %1, %2
86 br i1 %or.cond, label %if.then, label %if.end
88 ; CHECK-LABEL: @test5(
89 ; CHECK-NEXT: %1 = and i32 %a, -2013265920
90 ; CHECK-NEXT: %2 = icmp eq i32 %1, 0
91 ; CHECK-NEXT: br i1 %2, label %if.then, label %if.end
94 tail call void @foo() nounwind
101 define void @test6(i32 %a) nounwind {
102 %1 = icmp sgt i32 %a, -1
103 %and = and i32 %a, 134217728
104 %2 = icmp eq i32 %and, 0
105 %or.cond = and i1 %1, %2
106 br i1 %or.cond, label %if.then, label %if.end
108 ; CHECK-LABEL: @test6(
109 ; CHECK-NEXT: %1 = and i32 %a, -2013265920
110 ; CHECK-NEXT: %2 = icmp eq i32 %1, 0
111 ; CHECK-NEXT: br i1 %2, label %if.then, label %if.end
114 tail call void @foo() nounwind
121 define void @test7(i32 %a) nounwind {
122 %and = and i32 %a, 134217728
123 %1 = icmp ne i32 %and, 0
124 %2 = icmp slt i32 %a, 0
125 %or.cond = or i1 %1, %2
126 br i1 %or.cond, label %if.then, label %if.end
128 ; CHECK-LABEL: @test7(
129 ; CHECK-NEXT: %1 = and i32 %a, -2013265920
130 ; CHECK-NEXT: %2 = icmp eq i32 %1, 0
131 ; CHECK-NEXT: br i1 %2, label %if.end, label %if.the
134 tail call void @foo() nounwind
141 define void @test8(i32 %a) nounwind {
142 %1 = icmp slt i32 %a, 0
143 %and = and i32 %a, 134217728
144 %2 = icmp ne i32 %and, 0
145 %or.cond = or i1 %1, %2
146 br i1 %or.cond, label %if.then, label %if.end
148 ; CHECK-LABEL: @test8(
149 ; CHECK-NEXT: %1 = and i32 %a, -2013265920
150 ; CHECK-NEXT: %2 = icmp eq i32 %1, 0
151 ; CHECK-NEXT: br i1 %2, label %if.end, label %if.the
154 tail call void @foo() nounwind
161 define void @test9(i32 %a) nounwind {
162 %1 = and i32 %a, 1073741824
163 %2 = icmp ne i32 %1, 0
164 %3 = icmp sgt i32 %a, -1
165 %or.cond = and i1 %2, %3
166 br i1 %or.cond, label %if.then, label %if.end
168 ; CHECK-LABEL: @test9(
169 ; CHECK-NEXT: %1 = and i32 %a, -1073741824
170 ; CHECK-NEXT: %2 = icmp eq i32 %1, 1073741824
171 ; CHECK-NEXT: br i1 %2, label %if.then, label %if.end
174 tail call void @foo() nounwind
181 define void @test10(i32 %a) nounwind {
183 %2 = icmp eq i32 %1, 0
184 %3 = icmp ult i32 %a, 4
185 %or.cond = and i1 %2, %3
186 br i1 %or.cond, label %if.then, label %if.end
188 ; CHECK-LABEL: @test10(
189 ; CHECK-NEXT: %1 = icmp ult i32 %a, 2
190 ; CHECK-NEXT: br i1 %1, label %if.then, label %if.end
193 tail call void @foo() nounwind
200 define void @test11(i32 %a) nounwind {
202 %2 = icmp ne i32 %1, 0
203 %3 = icmp ugt i32 %a, 3
204 %or.cond = or i1 %2, %3
205 br i1 %or.cond, label %if.then, label %if.end
207 ; CHECK-LABEL: @test11(
208 ; CHECK-NEXT: %1 = icmp ugt i32 %a, 1
209 ; CHECK-NEXT: br i1 %1, label %if.then, label %if.end
212 tail call void @foo() nounwind