diff options
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll | 2 | ||||
| -rw-r--r-- | llvm/test/Transforms/RewriteStatepointsForGC/scalar-base-vector.ll | 26 |
2 files changed, 27 insertions, 1 deletions
diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll b/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll index 3b6f32acf3c..f37684a10c8 100644 --- a/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll +++ b/llvm/test/Transforms/RewriteStatepointsForGC/base-vector.ll @@ -253,7 +253,7 @@ define void @test11(<4 x i64 addrspace(1)*> %vec1) gc "statepoint-example" { ; CHECK: @llvm.experimental.gc.statepoint.p0f_isVoidf{{.*}}<4 x i64 addrspace(1)*> %vec1) ; CHECK: %vec1.relocated = call coldcc <4 x i8 addrspace(1)*> @llvm.experimental.gc.relocate.v4p1i8 ; CHECK: %vec1.relocated.casted = bitcast <4 x i8 addrspace(1)*> %vec1.relocated to <4 x i64 addrspace(1)*> -; CHECK: %vec2.remat = getelementptr i64, <4 x i64 addrspace(1)*> %vec1.relocated.casted, i32 1024 +; CHECK: %vec2.remat = getelementptr i64, <4 x i64 addrspace(1)*> %vec1.relocated.casted, <4 x i32> <i32 1024, i32 1024, i32 1024, i32 1024> ; CHECK: call void @use_vec(<4 x i64 addrspace(1)*> %vec2.remat) entry: %vec2 = getelementptr i64, <4 x i64 addrspace(1)*> %vec1, i32 1024 diff --git a/llvm/test/Transforms/RewriteStatepointsForGC/scalar-base-vector.ll b/llvm/test/Transforms/RewriteStatepointsForGC/scalar-base-vector.ll new file mode 100644 index 00000000000..77cdf7884ec --- /dev/null +++ b/llvm/test/Transforms/RewriteStatepointsForGC/scalar-base-vector.ll @@ -0,0 +1,26 @@ +; RUN: opt < %s -rewrite-statepoints-for-gc -S | FileCheck %s +; RUN: opt < %s -passes=rewrite-statepoints-for-gc -S | FileCheck %s + +declare void @do_safepoint() +declare i8 addrspace(1)* @def_ptr() + +define i32 addrspace(1)* @test1(i8 addrspace(1)* %base1, <2 x i64> %offsets) gc "statepoint-example" { +entry: + br i1 undef, label %first, label %second + +first: + %base2 = call i8 addrspace(1)* @def_ptr() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] + br label %second + +second: +; CHECK-LABEL: @test1( +; CHECK: gc.statepoint +; CHECK-DAG: (%ptr.base, %ptr) +; CHECK-DAG: (%ptr.base, %ptr.base) + %phi = phi i8 addrspace(1)* [ %base1, %entry ], [ %base2, %first ] + %base.i32 = bitcast i8 addrspace(1)* %phi to i32 addrspace(1)* + %vec = getelementptr i32, i32 addrspace(1)* %base.i32, <2 x i64> %offsets + %ptr = extractelement <2 x i32 addrspace(1)*> %vec, i32 1 + call void @do_safepoint() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ] + ret i32 addrspace(1)* %ptr +} |
