| Serguei Katkov | 164e4fc | 2018-05-23 05:54:55 +0000 | [diff] [blame] | 1 | ; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s |
| 2 | |
| 3 | ; This test checks that StatepointIRVerifier does not crash on |
| 4 | ; a CFG with unreachable blocks. |
| 5 | |
| 6 | %jObject = type { [8 x i8] } |
| 7 | |
| 8 | define %jObject addrspace(1)* @test(%jObject addrspace(1)* %arg) gc "statepoint-example" { |
| 9 | ; CHECK-LABEL: Verifying gc pointers in function: test |
| 10 | ; CHECK-NEXT: No illegal uses found by SafepointIRVerifier in: test |
| 11 | %safepoint_token3 = tail call token (i64, i32, double (double)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_f64f64f(i64 0, i32 0, double (double)* undef, i32 1, i32 0, double undef, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0, %jObject addrspace(1)* %arg) |
| 12 | %arg2.relocated4 = call coldcc %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token %safepoint_token3, i32 13, i32 13) |
| 13 | ret %jObject addrspace(1)* %arg2.relocated4 |
| 14 | |
| 15 | unreachable: |
| 16 | ret %jObject addrspace(1)* null |
| 17 | } |
| 18 | |
| 19 | ; Function Attrs: nounwind |
| 20 | declare %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token, i32, i32) #3 |
| 21 | |
| 22 | declare token @llvm.experimental.gc.statepoint.p0f_f64f64f(i64, i32, double (double)*, i32, i32, ...) |
| 23 | |
| 24 | ; In %merge %val.unrelocated, %ptr and %arg should be unrelocated. |
| 25 | define void @test2(i8 addrspace(1)* %arg) gc "statepoint-example" { |
| 26 | ; CHECK-LABEL: Verifying gc pointers in function: test2 |
| 27 | ; CHECK: No illegal uses found by SafepointIRVerifier in: test2 |
| 28 | bci_0: |
| 29 | %ptr = getelementptr i8, i8 addrspace(1)* %arg, i64 4 |
| 30 | br label %right |
| 31 | |
| 32 | left: |
| 33 | %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) |
| 34 | br label %merge |
| 35 | |
| 36 | right: |
| 37 | br label %merge |
| 38 | |
| 39 | merge: |
| 40 | %val.unrelocated = phi i8 addrspace(1)* [ %arg, %left ], [ %ptr, %right ] |
| 41 | %c = icmp eq i8 addrspace(1)* %val.unrelocated, %arg |
| 42 | ret void |
| 43 | } |
| 44 | |
| 45 | declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |