6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-07-01 12:24:24 +00:00
Code Issues Projects Releases Wiki Activity

Fix statepoint verifier tests to actually test verifier.

Browse Source 
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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@227636 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Philip Reames
2015-01-30 23:18:42 +00:00
parent f2045fb1f2
commit 24173bd03e
1 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
test/Verifier/statepoint.ll
View File

@ -1,25 +1,27 @@
; RUN: opt -S %s -verify | FileCheck %s ; RUN: opt -S %s -verify | FileCheck %s
declare void @use(...) declare void @use(...)
declare i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32, i32, i32) declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32, i32, i32)
declare i32 @llvm.statepoint.p0f_isVoidf(void ()*, 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 ;; Basic usage
define i8 addrspace(1)* @test1(i8 addrspace(1)* %arg) { define i64 addrspace(1)* @test1(i8 addrspace(1)* %arg) {
entry: entry:
%cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)* %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) %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 i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) %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... ;; 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) %reloc2 = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
%reloc3 = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9) %reloc3 = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9)
ret i8 addrspace(1)* %reloc ret i64 addrspace(1)* %reloc
; CHECK-LABEL: test1 ; CHECK-LABEL: test1
; CHECK: statepoint ; CHECK: statepoint
; CHECK: gc.relocate ; CHECK: gc.relocate
; CHECK: gc.relocate ; 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: ; This test catches two cases where the verifier was too strict:
@ -37,9 +39,9 @@ notequal:
ret void ret void
equal: 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) %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 i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
call void undef(i8 addrspace(1)* %reloc) call void undef(i64 addrspace(1)* %reloc)
ret void ret void
; CHECK-LABEL: test2 ; CHECK-LABEL: test2
; CHECK-LABEL: equal ; CHECK-LABEL: equal