1 ; RUN: opt -S %s -verify | FileCheck %s
4 declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32, i32, i32)
5 declare i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32, i32, i32)
6 declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()*, i32, i32, ...)
7 declare i32 @"personality_function"()
10 define i64 addrspace(1)* @test1(i8 addrspace(1)* %arg) {
12 %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)*
13 %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)
14 %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
15 ;; It is perfectly legal to relocate the same value multiple times...
16 %reloc2 = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
17 %reloc3 = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9)
18 ret i64 addrspace(1)* %reloc
24 ; CHECK: ret i64 addrspace(1)* %reloc
27 ; This test catches two cases where the verifier was too strict:
28 ; 1) A base doesn't need to be relocated if it's never used again
29 ; 2) A value can be replaced by one which is known equal. This
30 ; means a potentially derived pointer can be known base and that
31 ; we can't check that derived pointer are never bases.
32 define void @test2(i8 addrspace(1)* %arg, i64 addrspace(1)* %arg2) {
34 %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)*
35 %c = icmp eq i64 addrspace(1)* %cast, %arg2
36 br i1 %c, label %equal, label %notequal
42 %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)
43 %reloc = call i64 addrspace(1)* @llvm.experimental.gc.relocate.p1i64(i32 %safepoint_token, i32 9, i32 10)
44 call void undef(i64 addrspace(1)* %reloc)
49 ; CHECK-NEXT: %reloc = call