1 ; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s 2 3 define i8 addrspace(1)* @test1(i64 %arg) gc "statepoint-example" { 4 ; CHECK: No illegal uses found by SafepointIRVerifier in: test1 5 entry: 6 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 7 ret i8 addrspace(1)* null 8 } 9 10 define i8 addrspace(1)* @test2(i64 %arg) gc "statepoint-example" { 11 ; CHECK: No illegal uses found by SafepointIRVerifier in: test2 12 entry: 13 %load_addr = getelementptr i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*), i64 %arg 14 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 15 ret i8 addrspace(1)* %load_addr 16 } 17 18 define i8 addrspace(1)* @test3(i64 %arg) gc "statepoint-example" { 19 ; CHECK: No illegal uses found by SafepointIRVerifier in: test3 20 entry: 21 %load_addr = getelementptr i32, i32 addrspace(1)* inttoptr (i64 15 to i32 addrspace(1)*), i64 %arg 22 %load_addr.cast = bitcast i32 addrspace(1)* %load_addr to i8 addrspace(1)* 23 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 24 ret i8 addrspace(1)* %load_addr.cast 25 } 26 27 define i8 addrspace(1)* @test4(i64 %arg, i1 %cond) gc "statepoint-example" { 28 ; CHECK: No illegal uses found by SafepointIRVerifier in: test4 29 entry: 30 %load_addr.1 = getelementptr i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*), i64 %arg 31 br i1 %cond, label %split, label %join 32 33 split: 34 %load_addr.2 = getelementptr i8, i8 addrspace(1)* inttoptr (i64 30 to i8 addrspace(1)*), i64 %arg 35 br label %join 36 37 join: 38 %load_addr = phi i8 addrspace(1)* [%load_addr.1, %entry], [%load_addr.2, %split] 39 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 40 ret i8 addrspace(1)* %load_addr 41 } 42 43 define i8 addrspace(1)* @test5(i64 %arg, i1 %cond) gc "statepoint-example" { 44 ; CHECK: No illegal uses found by SafepointIRVerifier in: test5 45 entry: 46 %load_addr.1 = getelementptr i8, i8 addrspace(1)* inttoptr (i64 15 to i8 addrspace(1)*), i64 %arg 47 %load_addr.2 = getelementptr i8, i8 addrspace(1)* inttoptr (i64 30 to i8 addrspace(1)*), i64 %arg 48 %load_addr = select i1 %cond, i8 addrspace(1)* %load_addr.1, i8 addrspace(1)* %load_addr.2 49 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 50 ret i8 addrspace(1)* %load_addr 51 } 52 53 define i8 addrspace(1)* @test6(i64 %arg, i1 %cond, i8 addrspace(1)* %base) gc "statepoint-example" { 54 ; CHECK-LABEL: Verifying gc pointers in function: test6 55 ; CHECK: Illegal use of unrelocated value found! 56 entry: 57 %load_addr.1 = getelementptr i8, i8 addrspace(1)* %base, i64 %arg 58 br i1 %cond, label %split, label %join 59 60 split: 61 %load_addr.2 = getelementptr i8, i8 addrspace(1)* inttoptr (i64 30 to i8 addrspace(1)*), i64 %arg 62 br label %join 63 64 join: 65 %load_addr = phi i8 addrspace(1)* [%load_addr.1, %entry], [%load_addr.2, %split] 66 %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0) 67 ret i8 addrspace(1)* %load_addr 68 } 69 70 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) 71
