diff options
| author | Manuel Jacob <me@manueljacob.de> | 2015-12-22 16:50:44 +0000 |
|---|---|---|
| committer | Manuel Jacob <me@manueljacob.de> | 2015-12-22 16:50:44 +0000 |
| commit | 990dfa6fe5a98183a1dfab55f56db4bc40cead4d (patch) | |
| tree | 95f4b4582b703945a8c0c29adce78109d50a629d /llvm/test | |
| parent | c2961ab889fb983df13f7953e1535859d7a45116 (diff) | |
| download | bcm5719-llvm-990dfa6fe5a98183a1dfab55f56db4bc40cead4d.tar.gz bcm5719-llvm-990dfa6fe5a98183a1dfab55f56db4bc40cead4d.zip | |
[RS4GC] Fix crash in the case that a live variable has a constant base.
Summary:
Previously, RS4GC crashed in CreateGCRelocates() because it assumed
that every base is also in the array of live variables, which isn't true if a
live variable has a constant base.
This change fixes the crash by making sure CreateGCRelocates() won't try to
relocate a live variable with a constant base. This would be unnecessary
anyway because anything with a constant base won't move.
Reviewers: reames
Subscribers: llvm-commits, sanjoy
Differential Revision: http://reviews.llvm.org/D15556
llvm-svn: 256252
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-12.ll | 20 | ||||
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-13.ll | 19 |
2 files changed, 39 insertions, 0 deletions
diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-12.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-12.ll new file mode 100644 index 00000000000..d4425a77a53 --- /dev/null +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-12.ll @@ -0,0 +1,20 @@ +; RUN: opt %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s + +; CHECK: derived %select base %global + +@global = external addrspace(1) global i8 + +define i8 @test(i1 %cond) gc "statepoint-example" { + %derived1 = getelementptr i8, i8 addrspace(1)* @global, i64 1 + %derived2 = getelementptr i8, i8 addrspace(1)* @global, i64 2 + %select = select i1 %cond, i8 addrspace(1)* %derived1, i8 addrspace(1)* %derived2 + %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @extern, i32 0, i32 0, i32 0, i32 0) +; CHECK-NOT: relocate +; CHECK: %load = load i8, i8 addrspace(1)* %select + %load = load i8, i8 addrspace(1)* %select + ret i8 %load +} + +declare void @extern() gc "statepoint-example" + +declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-13.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-13.ll new file mode 100644 index 00000000000..9c16eb236f2 --- /dev/null +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-pointers-13.ll @@ -0,0 +1,19 @@ +; RUN: opt %s -rewrite-statepoints-for-gc -spp-print-base-pointers -S 2>&1 | FileCheck %s + +; CHECK: derived %derived base %global + +@global = external addrspace(1) global i8 + +define i8 @test(i64 %offset) gc "statepoint-example" { + %derived = getelementptr i8, i8 addrspace(1)* @global, i64 %offset + %safepoint_token = call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @extern, i32 0, i32 0, i32 0, i32 0) +; CHECK-NOT: relocate +; CHECK-NOT: remat +; CHECK: %load = load i8, i8 addrspace(1)* %derived + %load = load i8, i8 addrspace(1)* %derived + ret i8 %load +} + +declare void @extern() gc "statepoint-example" + +declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |
