From 432c1c3fb33143b8c27bf1b505f7dcebc991eccd Mon Sep 17 00:00:00 2001 From: Sanjoy Das Date: Mon, 18 Apr 2016 19:01:28 +0000 Subject: [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 --- .../BranchProbabilityInfo/deopt-intrinsic.ll | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 llvm/test/Analysis/BranchProbabilityInfo/deopt-intrinsic.ll (limited to 'llvm/test') 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 +} -- cgit v1.2.3