1 ; RUN: opt %s -jump-threading -S -enable-jump-threading-lvi | FileCheck %s
7 define i32 @test1(i1 %cond) {
10 br i1 %cond, label %T1, label %F1
21 %A = phi i1 [true, %T1], [false, %F1]
22 %B = phi i32 [%v1, %T1], [%v2, %F1]
23 br i1 %A, label %T2, label %F2
38 ;; cond is known false on Entry -> F1 edge!
39 define i32 @test2(i1 %cond) {
42 br i1 %cond, label %T1, label %F1
45 ; CHECK: %v1 = call i32 @f1()
51 br i1 %cond, label %Merge, label %F2
54 %B = phi i32 [47, %T1], [192, %F1]
64 define i32 @test3(i1 %cond) {
67 ; CHECK-NEXT: ret i32 42
68 br i1 undef, label %T1, label %F1
77 define i32 @test4(i1 %cond, i1 %cond2) {
80 br i1 %cond, label %T1, label %F1
83 ; CHECK: %v1 = call i32 @f1()
84 ; CHECK-NEXT: br label %T
91 ; CHECK: %v2 = call i32 @f2()
92 ; CHECK-NEXT: br i1 %cond2,
96 %A = phi i1 [undef, %T1], [%cond2, %F1]
97 %B = phi i32 [%v1, %T1], [%v2, %F1]
98 br i1 %A, label %T2, label %F2
109 ;; This tests that the branch in 'merge' can be cloned up into T1.
110 define i32 @test5(i1 %cond, i1 %cond2) {
113 br i1 %cond, label %T1, label %F1
117 ; CHECK-NEXT: %v1 = call i32 @f1()
118 ; CHECK-NEXT: %cond3 = icmp eq i32 %v1, 412
119 ; CHECK-NEXT: br i1 %cond3, label %T2, label %F2
122 %cond3 = icmp eq i32 %v1, 412
130 %A = phi i1 [%cond3, %T1], [%cond2, %F1]
131 %B = phi i32 [%v1, %T1], [%v2, %F1]
132 br i1 %A, label %T2, label %F2
143 ;; Lexically duplicated conditionals should be threaded.
146 define i32 @test6(i32 %A) {
148 %tmp455 = icmp eq i32 %A, 42
149 br i1 %tmp455, label %BB1, label %BB2
152 ; CHECK: call i32 @f1()
153 ; CHECK-NEXT: call void @f3()
154 ; CHECK-NEXT: ret i32 4
160 %tmp459 = icmp eq i32 %A, 42
161 br i1 %tmp459, label %BB3, label %BB4
173 ;; This tests that the branch in 'merge' can be cloned up into T1.
175 define i32 @test7(i1 %cond, i1 %cond2) {
179 br i1 %cond, label %Merge, label %F1
186 %B = phi i32 [%v1, %Entry], [%v2, %F1]
187 %M = icmp ne i32 %B, %v1
188 %N = icmp eq i32 %B, 47
190 br i1 %O, label %T2, label %F2
194 ; CHECK-NEXT: %v2 = call i32 @f2()
203 ; CHECK-NEXT: phi i32
209 define i32 @test8b(i1 %cond, i1 %cond2) {
212 %A = call i1 @test8a()
213 br i1 %A, label %T1, label %F1
217 ; CHECK-NEXT: br i1 %A, label %T1, label %Y
220 %B = call i1 @test8a()
221 br i1 %B, label %T2, label %F1
225 ; CHECK-NEXT: br i1 %B, label %T2, label %Y
227 %C = call i1 @test8a()
228 br i1 %cond, label %T3, label %F1
232 ; CHECK-NEXT: br i1 %cond, label %T3, label %Y
237 %D = phi i32 [0, %T0], [0, %T1], [1, %T2]
238 %E = icmp eq i32 %D, 1
239 %F = and i1 %E, %cond
240 br i1 %F, label %X, label %Y
249 ;;; Verify that we can handle constraint propagation through "xor x, 1".
250 define i32 @test9(i1 %cond, i1 %cond2) {
254 br i1 %cond, label %Merge, label %F1
257 ; CHECK-NEXT: %v1 = call i32 @f1()
258 ; CHECK-NEXT: br i1 %cond, label %F2, label %Merge
265 %B = phi i32 [%v1, %Entry], [%v2, %F1]
266 %M = icmp eq i32 %B, %v1
268 %N = icmp eq i32 %B, 47
270 br i1 %O, label %T2, label %F2
274 ; CHECK-NEXT: %v2 = call i32 @f2()
277 %Q = zext i1 %M to i32
283 ; CHECK-NEXT: phi i32
289 declare i32 @test10f1()
290 declare i32 @test10f2()
291 declare void @test10f3()
293 ;; Non-local condition threading.
294 define i32 @test10g(i1 %cond) {
296 ; CHECK-NEXT: br i1 %cond, label %T2, label %F2
297 br i1 %cond, label %T1, label %F1
300 %v1 = call i32 @test10f1()
303 ; CHECK: %v1 = call i32 @test10f1()
304 ; CHECK-NEXT: call void @f3()
305 ; CHeCK-NEXT: ret i32 %v1
308 %v2 = call i32 @test10f2()
312 %B = phi i32 [%v1, %T1], [%v2, %F1]
313 br i1 %cond, label %T2, label %F2
324 ; Impossible conditional constraints should get threaded. BB3 is dead here.
325 define i32 @test11(i32 %A) {
328 ; CHECK-NEXT: br i1 %tmp455, label %BB4, label %BB2
329 %tmp455 = icmp eq i32 %A, 42
330 br i1 %tmp455, label %BB1, label %BB2
333 ; CHECK: call i32 @f1()
334 ; CHECK-NEXT: ret i32 %C
340 %tmp459 = icmp eq i32 %A, 43
341 br i1 %tmp459, label %BB3, label %BB4
354 ;;; Duplicate condition to avoid xor of cond.
355 ;;; TODO: Make this happen.
356 define i32 @testXX(i1 %cond, i1 %cond2) {
360 br i1 %cond, label %Merge, label %F1
366 %B = phi i1 [true, %Entry], [%cond2, %F1]
367 %M = icmp eq i32 %v1, 192
369 br i1 %N, label %T2, label %F2