Lines Matching refs:poisoned

77 ; It should be allowed to compare poisoned ptr with null.
78 define void @test.poisoned.cmp.ok(i8 addrspace(1)* %arg) gc "statepoint-example" {
79 ; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.ok
93 ; CHECK: No illegal uses found by SafepointIRVerifier in: test.poisoned.cmp.ok
94   %val.poisoned = phi i8 addrspace(1)* [ %arg.relocated, %left ], [ %arg, %right ]
95   %c = icmp eq i8 addrspace(1)* %val.poisoned, null
99 ; It is illegal to compare poisoned ptr and relocated.
100 define void @test.poisoned.cmp.fail.0(i8 addrspace(1)* %arg) gc "statepoint-example" {
101 ; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.fail.0
117 ; CHECK-NEXT: Def:   %val.poisoned = phi i8 addrspace(1)* [ %arg.relocated, %left ], [ %arg, %right…
118 ; CHECK-NEXT: Use:   %c = icmp eq i8 addrspace(1)* %val.poisoned, %val
119   %val.poisoned = phi i8 addrspace(1)* [ %arg.relocated, %left ], [ %arg, %right ]
121   %c = icmp eq i8 addrspace(1)* %val.poisoned, %val
125 ; It is illegal to compare poisoned ptr and unrelocated.
126 define void @test.poisoned.cmp.fail.1(i8 addrspace(1)* %arg) gc "statepoint-example" {
127 ; CHECK-LABEL: Verifying gc pointers in function: test.poisoned.cmp.fail.1
143 ; CHECK-NEXT: Def:   %val.poisoned = phi i8 addrspace(1)* [ %arg.relocated, %left ], [ %arg, %right…
144 ; CHECK-NEXT: Use:   %c = icmp eq i8 addrspace(1)* %val.poisoned, %arg
145   %val.poisoned = phi i8 addrspace(1)* [ %arg.relocated, %left ], [ %arg, %right ]
146   %c = icmp eq i8 addrspace(1)* %val.poisoned, %arg