| ; RUN: opt -jump-threading -S < %s | FileCheck %s |
| ; RUN: opt -passes=jump-threading -S < %s | FileCheck %s |
| |
| define void @test() { |
| ; CHECK-LABEL: @test() |
| bb: |
| %tmp = call i32 @a() |
| %tmp1 = icmp eq i32 %tmp, 1 |
| br i1 %tmp1, label %bb5, label %bb2 |
| ; CHECK: br i1 %tmp1,{{.*}} !prof ![[PROF1:[0-9]+]] |
| |
| bb2: ; preds = %bb |
| %tmp3 = call i32 @b() |
| %tmp4 = icmp ne i32 %tmp3, 1 |
| br label %bb5 |
| ; CHECK: br i1 %tmp4, {{.*}} !prof ![[PROF2:[0-9]+]] |
| |
| bb5: ; preds = %bb2, %bb |
| %tmp6 = phi i1 [ false, %bb ], [ %tmp4, %bb2 ] |
| br i1 %tmp6, label %bb8, label %bb7, !prof !0 |
| |
| bb7: ; preds = %bb5 |
| call void @bar() |
| br label %bb8 |
| |
| bb8: ; preds = %bb7, %bb5 |
| ret void |
| } |
| |
| define void @test_single_pred1() { |
| ; CHECK-LABEL: @test_single_pred1() |
| bb: |
| %tmp = call i32 @a() |
| %tmp1 = icmp eq i32 %tmp, 1 |
| br i1 %tmp1, label %bb5_1, label %bb2 |
| ; CHECK: br i1 %tmp1,{{.*}} !prof ![[PROF1:[0-9]+]] |
| |
| bb5_1: |
| br label %bb5; |
| |
| bb2: |
| %tmp3 = call i32 @b() |
| %tmp4 = icmp ne i32 %tmp3, 1 |
| br label %bb5 |
| ; CHECK: br i1 %tmp4, {{.*}} !prof ![[PROF2:[0-9]+]] |
| |
| bb5: |
| %tmp6 = phi i1 [ false, %bb5_1 ], [ %tmp4, %bb2 ] |
| br i1 %tmp6, label %bb8, label %bb7, !prof !0 |
| |
| bb7: |
| call void @bar() |
| br label %bb8 |
| |
| bb8: |
| ret void |
| } |
| |
| define void @test_single_pred2() { |
| ; CHECK-LABEL: @test_single_pred2() |
| bb: |
| %tmp = call i32 @a() |
| %tmp1 = icmp eq i32 %tmp, 1 |
| br i1 %tmp1, label %bb5_1, label %bb2 |
| ; CHECK: br i1 %tmp1,{{.*}} !prof ![[PROF1:[0-9]+]] |
| |
| bb5_1: |
| br label %bb5_2; |
| |
| bb5_2: |
| br label %bb5; |
| |
| bb2: |
| %tmp3 = call i32 @b() |
| %tmp4 = icmp ne i32 %tmp3, 1 |
| br label %bb5 |
| ; CHECK: br i1 %tmp4, {{.*}} !prof ![[PROF2:[0-9]+]] |
| |
| bb5: |
| %tmp6 = phi i1 [ false, %bb5_2 ], [ %tmp4, %bb2 ] |
| br i1 %tmp6, label %bb8, label %bb7, !prof !0 |
| |
| bb7: |
| call void @bar() |
| br label %bb8 |
| |
| bb8: |
| ret void |
| } |
| |
| declare void @bar() |
| |
| declare i32 @a() |
| |
| declare i32 @b() |
| |
| !0 = !{!"branch_weights", i32 2146410443, i32 1073205} |
| ;CHECK: ![[PROF1]] = !{!"branch_weights", i32 1073205, i32 2146410443} |
| ;CHECK: ![[PROF2]] = !{!"branch_weights", i32 2146410443, i32 1073205} |
