diff options
| author | Philip Reames <listmail@philipreames.com> | 2015-01-30 23:18:42 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2015-01-30 23:18:42 +0000 |
| commit | c2f99b421bbd7e53deecb4945a0ecc0f366295e7 (patch) | |
| tree | 6cf2ed2cc30e3e72fee6a402291aad8016eedb3f /llvm/test/Verifier | |
| parent | 77b76542eb440637ae3df6c81e8cb26a158b460a (diff) | |
| download | bcm5719-llvm-c2f99b421bbd7e53deecb4945a0ecc0f366295e7.tar.gz bcm5719-llvm-c2f99b421bbd7e53deecb4945a0ecc0f366295e7.zip | |
Fix statepoint verifier tests to actually test verifier.
Patch by: Igor Laevsky
"Statepoint verifier tests were using wrong names for the statepoint and gc.relocate intrinsics. This change renames them to use correct names and fixes all uncovered issues."
Differential Revision: http://reviews.llvm.org/D7266
llvm-svn: 227636
Diffstat (limited to 'llvm/test/Verifier')
| -rw-r--r-- | llvm/test/Verifier/statepoint.ll | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/llvm/test/Verifier/statepoint.ll b/llvm/test/Verifier/statepoint.ll index 3fbaeb53f91..3bd42f6125c 100644 --- a/llvm/test/Verifier/statepoint.ll +++ b/llvm/test/Verifier/statepoint.ll @@ -1,25 +1,27 @@ ; RUN: opt -S %s -verify | FileCheck %s declare void @use(...) -declare i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32, i32, i32) -declare i32 @llvm.statepoint.p0f_isVoidf(void ()*, i32, i32, ...) +declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32, i32, i32) +declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32, i32, i32) +declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()*, i32, i32, ...) +declare i32 @"personality_function"() ;; Basic usage -define i8 addrspace(1)* @test1(i8 addrspace(1)* %arg) { +define i64 addrspace(1)* @test1(i8 addrspace(1)* %arg) { entry: %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)* - %safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) - %reloc = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) + %safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) + %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10) ;; It is perfectly legal to relocate the same value multiple times... - %reloc2 = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) - %reloc3 = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9) - ret i8 addrspace(1)* %reloc + %reloc2 = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10) + %reloc3 = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9) + ret i64 addrspace(1)* %reloc ; CHECK-LABEL: test1 ; CHECK: statepoint ; CHECK: gc.relocate ; CHECK: gc.relocate ; CHECK: gc.relocate -; CHECK: ret i8 addrspace(1)* %reloc +; CHECK: ret i64 addrspace(1)* %reloc } ; This test catches two cases where the verifier was too strict: @@ -37,9 +39,9 @@ notequal: ret void equal: -%safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) - %reloc = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) - call void undef(i8 addrspace(1)* %reloc) + %safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) + %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10) + call void undef(i64 addrspace(1)* %reloc) ret void ; CHECK-LABEL: test2 ; CHECK-LABEL: equal |
