86 lines · plain
1; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s2 3; In some cases, it is valid to have unrelocated pointers used as compare4; operands. Make sure the verifier knows to spot these exceptions.5 6 7; comparison against null.8define ptr addrspace(1) @test1(i64 %arg, ptr addrspace(1) %addr) gc "statepoint-example" {9; CHECK: No illegal uses found by SafepointIRVerifier in: test110entry:11 %load_addr = getelementptr i8, ptr addrspace(1) %addr, i64 %arg12 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0)13 %cmp = icmp eq ptr addrspace(1) %load_addr, null14 ret ptr addrspace(1) null15}16 17; comparison against exclusively derived null.18define void @test2(i64 %arg, i1 %cond, ptr addrspace(1) %addr) gc "statepoint-example" {19; CHECK: No illegal uses found by SafepointIRVerifier in: test220 %load_addr = getelementptr i8, ptr addrspace(1) null, i64 %arg21 %load_addr_sel = select i1 %cond, ptr addrspace(1) null, ptr addrspace(1) %load_addr22 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0)23 %cmp = icmp eq ptr addrspace(1) %addr, %load_addr_sel24 ret void25}26 27; comparison against a constant non-null pointer. This is unrelocated use, since28; that pointer bits may mean something in a VM.29define void @test3(i64 %arg, ptr addrspace(1) %addr) gc "statepoint-example" {30; CHECK-LABEL: Verifying gc pointers in function: test331; CHECK: Illegal use of unrelocated value found!32entry:33 %load_addr = getelementptr i32, ptr addrspace(1) %addr, i64 %arg34 %load_addr_const = getelementptr i32, ptr addrspace(1) inttoptr (i64 15 to ptr addrspace(1)), i64 %arg35 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0)36 %cmp = icmp eq ptr addrspace(1) %load_addr, %load_addr_const37 ret void38}39 40; comparison against a derived pointer that is *not* exclusively derived from41; null. An unrelocated use since the derived pointer could be from the constant42; non-null pointer (load_addr.2).43define void @test4(i64 %arg, i1 %cond, ptr addrspace(1) %base) gc "statepoint-example" {44; CHECK-LABEL: Verifying gc pointers in function: test445; CHECK: Illegal use of unrelocated value found!46entry:47 %load_addr.1 = getelementptr i8, ptr addrspace(1) null, i64 %arg48 br i1 %cond, label %split, label %join49 50split:51 %load_addr.2 = getelementptr i8, ptr addrspace(1) inttoptr (i64 30 to ptr addrspace(1)), i64 %arg52 br label %join53 54join:55 %load_addr = phi ptr addrspace(1) [%load_addr.1, %entry], [%load_addr.2, %split]56 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0)57 %cmp = icmp eq ptr addrspace(1) %load_addr, %base58 ret void59}60 61; comparison between 2 unrelocated base pointers.62; Since the cmp can be reordered legally before the safepoint, these are correct63; unrelocated uses of the pointers.64define void @test5(i64 %arg, ptr addrspace(1) %base1, ptr addrspace(1) %base2) gc "statepoint-example" {65; CHECK: No illegal uses found by SafepointIRVerifier in: test566 %load_addr1 = getelementptr i8, ptr addrspace(1) %base1, i64 %arg67 %load_addr2 = getelementptr i8, ptr addrspace(1) %base2, i64 %arg68 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0)69 %cmp = icmp eq ptr addrspace(1) %load_addr1, %load_addr270 ret void71}72 73; comparison between a relocated and an unrelocated pointer.74; this is invalid use of the unrelocated pointer.75define void @test6(i64 %arg, ptr addrspace(1) %base1, ptr addrspace(1) %base2) gc "statepoint-example" {76; CHECK-LABEL: Verifying gc pointers in function: test677; CHECK: Illegal use of unrelocated value found!78 %load_addr1 = getelementptr i8, ptr addrspace(1) %base1, i64 %arg79 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) undef, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %base2)]80 %ptr2.relocated = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0) ; base2, base281 %cmp = icmp eq ptr addrspace(1) %load_addr1, %ptr2.relocated82 ret void83}84declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)85declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)86