1 ; RUN: opt < %s -jump-threading -S | 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
215 %B = call i1 @test8a()
216 br i1 %B, label %T2, label %F1
218 %C = call i1 @test8a()
219 br i1 %cond, label %T3, label %F1
224 ; TODO: F1 uncond branch block should be removed, T2 should jump directly to Y.
226 ; CHECK-NEXT br label %Y
227 %D = phi i32 [0, %T0], [0, %T1], [1, %T2]
228 %E = icmp eq i32 %D, 1
229 %F = and i1 %E, %cond
230 br i1 %F, label %X, label %Y