| Max Kazantsev | cbe298e | 2017-12-25 09:35:10 +0000 | [diff] [blame] | 1 | ; XFAIL: * |
| 2 | ; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s |
| 3 | |
| 4 | ; In %merge %val.unrelocated, %ptr and %arg should be unrelocated. |
| 5 | ; FIXME: if this test fails it is a false-positive alarm. IR is correct. |
| 6 | define void @test.unrelocated-phi.ok(i8 addrspace(1)* %arg) gc "statepoint-example" { |
| 7 | ; CHECK-LABEL: Verifying gc pointers in function: test.unrelocated-phi.ok |
| 8 | bci_0: |
| 9 | %ptr = getelementptr i8, i8 addrspace(1)* %arg, i64 4 |
| 10 | br i1 undef, label %left, label %right |
| 11 | |
| 12 | left: |
| 13 | %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) |
| 14 | br label %merge |
| 15 | |
| 16 | right: |
| 17 | br label %merge |
| 18 | |
| 19 | merge: |
| 20 | ; CHECK: No illegal uses found by SafepointIRVerifier in: test.unrelocated-phi.ok |
| 21 | %val.unrelocated = phi i8 addrspace(1)* [ %arg, %left ], [ %ptr, %right ] |
| 22 | %c = icmp eq i8 addrspace(1)* %val.unrelocated, %arg |
| 23 | ret void |
| 24 | } |
| 25 | |
| 26 | declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |