diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-04-18 19:01:28 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-04-18 19:01:28 +0000 |
| commit | 432c1c3fb33143b8c27bf1b505f7dcebc991eccd (patch) | |
| tree | 892f9b599b3f978a7bdbf57c5fd400560b5c6891 /llvm/test/Analysis/BranchProbabilityInfo | |
| parent | a7de820a20f8c8cd2fa33703a01bf97eca4d46a5 (diff) | |
| download | bcm5719-llvm-432c1c3fb33143b8c27bf1b505f7dcebc991eccd.tar.gz bcm5719-llvm-432c1c3fb33143b8c27bf1b505f7dcebc991eccd.zip | |
[BPI] Consider deoptimize calls as "unreachable"
Summary:
Calls to @llvm.experimental.deoptimize are expected to "never execute",
so optimize them as such.
Reviewers: chandlerc
Subscribers: junbuml, mcrosier, llvm-commits
Differential Revision: http://reviews.llvm.org/D19095
llvm-svn: 266654
Diffstat (limited to 'llvm/test/Analysis/BranchProbabilityInfo')
| -rw-r--r-- | llvm/test/Analysis/BranchProbabilityInfo/deopt-intrinsic.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/llvm/test/Analysis/BranchProbabilityInfo/deopt-intrinsic.ll b/llvm/test/Analysis/BranchProbabilityInfo/deopt-intrinsic.ll new file mode 100644 index 00000000000..8728d4ab8fe --- /dev/null +++ b/llvm/test/Analysis/BranchProbabilityInfo/deopt-intrinsic.ll @@ -0,0 +1,20 @@ +; RUN: opt -analyze -branch-prob < %s | FileCheck %s + +declare i32 @llvm.experimental.deoptimize.i32(...) + +define i32 @test1(i32 %a, i32 %b) { +; CHECK-LABEL: Printing analysis 'Branch Probability Analysis' for function 'test1': +entry: + %cond = icmp eq i32 %a, 42 + br i1 %cond, label %exit, label %deopt + +; CHECK: edge entry -> exit probability is 0x7ffff800 / 0x80000000 = 100.00% [HOT edge] +; CHECK: edge entry -> deopt probability is 0x00000800 / 0x80000000 = 0.00% + +deopt: + %rval = call i32(...) @llvm.experimental.deoptimize.i32() [ "deopt"() ] + ret i32 %rval + +exit: + ret i32 %b +} |
