diff options
| author | Daniel Neilson <dneilson@azul.com> | 2017-10-13 15:59:13 +0000 |
|---|---|---|
| committer | Daniel Neilson <dneilson@azul.com> | 2017-10-13 15:59:13 +0000 |
| commit | fa14ebd138d81b4b988ce24a538bc64f06ee23ba (patch) | |
| tree | 6f0a6232161fac33c57dca27706cef7cf967cbae /llvm/test/Transforms | |
| parent | 8ff311b54ad08a244dbd9b0b14c4f0701fb316d3 (diff) | |
| download | bcm5719-llvm-fa14ebd138d81b4b988ce24a538bc64f06ee23ba.tar.gz bcm5719-llvm-fa14ebd138d81b4b988ce24a538bc64f06ee23ba.zip | |
[RS4GC] Look through vector bitcasts when looking for base pointer
Summary:
In RS4GC it is possible that a base pointer is contained in a vector that
has undergone a bitcast from one element-pointertype to another. We teach
RS4GC how to look through bitcasts of vector types when looking for a base
pointer.
Reviewers: anna
Reviewed By: anna
Subscribers: llvm-commits
Differential Revision: https://reviews.llvm.org/D38849
llvm-svn: 315694
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/vector-bitcast.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/vector-bitcast.ll b/llvm/test/Transforms/RewriteStatepointsForGC/vector-bitcast.ll new file mode 100644 index 00000000000..981942a91ee --- /dev/null +++ b/llvm/test/Transforms/RewriteStatepointsForGC/vector-bitcast.ll @@ -0,0 +1,26 @@ +; RUN: opt -S -rewrite-statepoints-for-gc < %s | FileCheck %s +; +; A test to make sure that we can look through bitcasts of +; vector types when a base pointer is contained in a vector. + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1" +target triple = "x86_64-unknown-linux-gnu" + +; Function Attrs: uwtable +define void @test() gc "statepoint-example" { +; CHECK-LABEL: @test +entry: +; CHECK-LABEL: entry +; CHECK: %bc = bitcast +; CHECK: %[[p1:[A-Za-z0-9_]+]] = extractelement +; CHECK: %[[p2:[A-Za-z0-9_]+]] = extractelement +; CHECK: llvm.experimental.gc.statepoint +; CHECK: %[[p2]].relocated = {{.+}} @llvm.experimental.gc.relocate +; CHECK: %[[p1]].relocated = {{.+}} @llvm.experimental.gc.relocate +; CHECK: load atomic + %bc = bitcast <8 x i8 addrspace(1)*> undef to <8 x i32 addrspace(1)*> + %ptr= extractelement <8 x i32 addrspace(1)*> %bc, i32 7 + %0 = call i8 addrspace(1)* undef() [ "deopt"() ] + %1 = load atomic i32, i32 addrspace(1)* %ptr unordered, align 4 + unreachable +} |
