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