diff options
| author | Xinliang David Li <davidxl@google.com> | 2017-08-24 22:54:01 +0000 |
|---|---|---|
| committer | Xinliang David Li <davidxl@google.com> | 2017-08-24 22:54:01 +0000 |
| commit | 66531dd10a2ddf8be71018b576794853d4392510 (patch) | |
| tree | 2a1d80e440daa2ff22674c5f6aeced0f46452920 /llvm/test/Transforms/JumpThreading/threading_prof2.ll | |
| parent | bb789381fc11ccef82ab21ea9b3f5c347fb4b495 (diff) | |
| download | bcm5719-llvm-66531dd10a2ddf8be71018b576794853d4392510.tar.gz bcm5719-llvm-66531dd10a2ddf8be71018b576794853d4392510.zip | |
[Profile] backward propagate profile info in JumpThreading
Take-2 after fixing bugs in the original patch.
Differential Revsion: http://reviews.llvm.org/D36864
llvm-svn: 311727
Diffstat (limited to 'llvm/test/Transforms/JumpThreading/threading_prof2.ll')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/threading_prof2.ll | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/llvm/test/Transforms/JumpThreading/threading_prof2.ll b/llvm/test/Transforms/JumpThreading/threading_prof2.ll new file mode 100644 index 00000000000..b14b996f24e --- /dev/null +++ b/llvm/test/Transforms/JumpThreading/threading_prof2.ll @@ -0,0 +1,42 @@ +; RUN: opt -jump-threading -S < %s | FileCheck %s +; RUN: opt -passes=jump-threading -S < %s | FileCheck %s +define void @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: + %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, %bb ], [ %tmp4, %bb2 ] + br i1 %tmp6, label %bb8, label %bb7, !prof !0 + +bb7: + call void @bar() + br label %bb9 + +bb8: + call void @foo() + br label %bb9 + +bb9: + ret void +} + +declare void @bar() + +declare void @foo() + +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} |
