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