diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-03-25 20:12:13 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-03-25 20:12:13 +0000 |
| commit | d4c783335b9a082071f1196db85c1f2d65746103 (patch) | |
| tree | c8a54e934f6122dd3512d1b6e79fb0fca39cdd27 /llvm/test/Transforms/RewriteStatepointsForGC | |
| parent | ec0e7d2582abe0169ebde8fb2105d998bdc79d4d (diff) | |
| download | bcm5719-llvm-d4c783335b9a082071f1196db85c1f2d65746103.tar.gz bcm5719-llvm-d4c783335b9a082071f1196db85c1f2d65746103.zip | |
[RS4GC] Lower calls to @llvm.experimental.deoptimize
This changes RS4GC to lower calls to ``@llvm.experimental.deoptimize``
to gc.statepoints wrapping ``__llvm_deoptimize``, and changes
``callsGCLeafFunction`` to recognize ``@llvm.experimental.deoptimize``
as a non GC leaf function.
I've had to hard code the ``"__llvm_deoptimize"`` name in
RewriteStatepointsForGC; since ``TargetLibraryInfo`` is available only
during codegen. This isn't without precedent in the codebase, so I'm
not overtly concerned.
llvm-svn: 264456
Diffstat (limited to 'llvm/test/Transforms/RewriteStatepointsForGC')
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/deopt-intrinsic.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/deopt-intrinsic.ll b/llvm/test/Transforms/RewriteStatepointsForGC/deopt-intrinsic.ll new file mode 100644 index 00000000000..9a8f58c6ecb --- /dev/null +++ b/llvm/test/Transforms/RewriteStatepointsForGC/deopt-intrinsic.ll @@ -0,0 +1,23 @@ +; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s + +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.11.0" + +declare i32 @llvm.experimental.deoptimize.i32(...) + +define i32 @caller_0(i32 addrspace(1)* %ptr) gc "statepoint-example" { +; CHECK-LABEL: @caller_0( +; CHECK: @llvm.experimental.gc.statepoint.p0f_i32f(i64 2882400000, i32 0, i32 ()* @__llvm_deoptimize, i32 0 +entry: + %v = call i32(...) @llvm.experimental.deoptimize.i32() [ "deopt"(i32 0, i32 addrspace(1)* %ptr) ] + ret i32 %v +} + + +define i32 @caller_1(i32 addrspace(1)* %ptr) gc "statepoint-example" { +; CHECK-LABEL: @caller_1 +; CHECK: @llvm.experimental.gc.statepoint.p0f_i32i32p1i32f(i64 2882400000, i32 0, i32 (i32, i32 addrspace(1)*)* bitcast (i32 ()* @__llvm_deoptimize to i32 (i32, i32 addrspace(1)*)*), i32 2, i32 0, i32 50, i32 addrspace(1)* %ptr +entry: + %v = call i32(...) @llvm.experimental.deoptimize.i32(i32 50, i32 addrspace(1)* %ptr) [ "deopt"(i32 0) ] + ret i32 %v +} |
