173 lines · plain
1; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s2 3define ptr addrspace(1) @test.not.ok.0(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {4; CHECK-LABEL: Verifying gc pointers in function: test.not.ok.05 bci_0:6 br i1 %new_arg, label %left, label %right7 8 left:9 %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)10 br label %merge11 12 right:13 br label %merge14 15 merge:16; CHECK: Illegal use of unrelocated value found!17; CHECK-NEXT: Def: %val = phi ptr addrspace(1) [ %arg, %left ], [ %arg, %right ]18; CHECK-NEXT: Use: ret ptr addrspace(1) %val19 %val = phi ptr addrspace(1) [ %arg, %left ], [ %arg, %right ]20 ret ptr addrspace(1) %val21}22 23define ptr addrspace(1) @test.not.ok.1(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {24; CHECK-LABEL: Verifying gc pointers in function: test.not.ok.125 bci_0:26 br i1 %new_arg, label %left, label %right27 28 left:29 %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)30 br label %merge31 32 right:33 br label %merge34 35 merge:36; CHECK: Illegal use of unrelocated value found!37; CHECK-NEXT: Def: %val = phi ptr addrspace(1) [ %arg, %left ], [ null, %right ]38; CHECK-NEXT: Use: ret ptr addrspace(1) %val39 %val = phi ptr addrspace(1) [ %arg, %left ], [ null, %right ]40 ret ptr addrspace(1) %val41}42 43define ptr addrspace(1) @test.ok.0(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {44; CHECK: No illegal uses found by SafepointIRVerifier in: test.ok.045 bci_0:46 br i1 %new_arg, label %left, label %right47 48 left:49 %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)50 br label %merge51 52 right:53 br label %merge54 55 merge:56 %val = phi ptr addrspace(1) [ null, %left ], [ null, %right]57 ret ptr addrspace(1) %val58}59 60define ptr addrspace(1) @test.ok.1(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {61; CHECK: No illegal uses found by SafepointIRVerifier in: test.ok.162 bci_0:63 br i1 %new_arg, label %left, label %right64 65 left:66 call void @not_statepoint()67 br label %merge68 69 right:70 br label %merge71 72 merge:73 %val = phi ptr addrspace(1) [ %arg, %left ], [ %arg, %right]74 ret ptr addrspace(1) %val75}76 77; It should be allowed to compare poisoned ptr with null.78define void @test.poisoned.cmp.ok(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {79; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.ok80 bci_0:81 br i1 %new_arg, label %left, label %right82 83 left:84 %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) %arg)]85 %arg.relocated = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0) ; arg, arg86 br label %merge87 88 right:89 %safepoint_token2 = 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) %arg)]90 br label %merge91 92 merge:93; CHECK: No illegal uses found by SafepointIRVerifier in: test.poisoned.cmp.ok94 %val.poisoned = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg, %right ]95 %c = icmp eq ptr addrspace(1) %val.poisoned, null96 ret void97}98 99; It is illegal to compare poisoned ptr and relocated.100define void @test.poisoned.cmp.fail.0(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {101; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.fail.0102 bci_0:103 br i1 %new_arg, label %left, label %right104 105 left:106 %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) %arg)]107 %arg.relocated = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0) ; arg, arg108 br label %merge109 110 right:111 %safepoint_token2 = 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) %arg), "deopt"(i32 -1, i32 0, i32 0, i32 0)]112 %arg.relocated2 = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token2, i32 0, i32 0) ; arg, arg113 br label %merge114 115 merge:116; CHECK: Illegal use of unrelocated value found!117; CHECK-NEXT: Def: %val.poisoned = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg, %right ]118; CHECK-NEXT: Use: %c = icmp eq ptr addrspace(1) %val.poisoned, %val119 %val.poisoned = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg, %right ]120 %val = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg.relocated2, %right ]121 %c = icmp eq ptr addrspace(1) %val.poisoned, %val122 ret void123}124 125; It is illegal to compare poisoned ptr and unrelocated.126define void @test.poisoned.cmp.fail.1(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {127; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.fail.1128 bci_0:129 br i1 %new_arg, label %left, label %right130 131 left:132 %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) %arg)]133 %arg.relocated = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0) ; arg, arg134 br label %merge135 136 right:137 %safepoint_token2 = 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) %arg), "deopt"(i32 -1, i32 0, i32 0, i32 0)]138 %arg.relocated2 = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token2, i32 0, i32 0) ; arg, arg139 br label %merge140 141 merge:142; CHECK: Illegal use of unrelocated value found!143; CHECK-NEXT: Def: %val.poisoned = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg, %right ]144; CHECK-NEXT: Use: %c = icmp eq ptr addrspace(1) %val.poisoned, %arg145 %val.poisoned = phi ptr addrspace(1) [ %arg.relocated, %left ], [ %arg, %right ]146 %c = icmp eq ptr addrspace(1) %val.poisoned, %arg147 ret void148}149 150; It should be allowed to compare unrelocated phi with unrelocated value.151define void @test.unrelocated-phi.cmp.ok(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {152; CHECK-LABEL: Verifying gc pointers in function: test.unrelocated-phi.cmp.ok153 bci_0:154 br i1 %new_arg, label %left, label %right155 156 left:157 %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)158 br label %merge159 160 right:161 br label %merge162 163 merge:164; CHECK: No illegal uses found by SafepointIRVerifier in: test.unrelocated-phi.cmp.ok165 %val.unrelocated = phi ptr addrspace(1) [ %arg, %left ], [ null, %right ]166 %c = icmp eq ptr addrspace(1) %val.unrelocated, %arg167 ret void168}169 170declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)171declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)172declare void @not_statepoint()173