| Philip Reames | 337c4bd | 2014-12-01 21:18:12 +0000 | [diff] [blame] | 1 | ; RUN: opt -S %s -verify | FileCheck %s |
| 2 | |
| 3 | declare void @use(...) |
| 4 | declare i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32, i32, i32) |
| 5 | declare i32 @llvm.statepoint.p0f_isVoidf(void ()*, i32, i32, ...) |
| 6 | |
| 7 | ;; Basic usage |
| 8 | define i8 addrspace(1)* @test1(i8 addrspace(1)* %arg) { |
| 9 | entry: |
| 10 | %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)* |
| 11 | %safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) |
| 12 | %reloc = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) |
| 13 | ;; It is perfectly legal to relocate the same value multiple times... |
| 14 | %reloc2 = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) |
| 15 | %reloc3 = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 10, i32 9) |
| 16 | ret i8 addrspace(1)* %reloc |
| 17 | ; CHECK-LABEL: test1 |
| 18 | ; CHECK: statepoint |
| 19 | ; CHECK: gc.relocate |
| 20 | ; CHECK: gc.relocate |
| 21 | ; CHECK: gc.relocate |
| 22 | ; CHECK: ret i8 addrspace(1)* %reloc |
| 23 | } |
| 24 | |
| 25 | ; This test catches two cases where the verifier was too strict: |
| 26 | ; 1) A base doesn't need to be relocated if it's never used again |
| 27 | ; 2) A value can be replaced by one which is known equal. This |
| 28 | ; means a potentially derived pointer can be known base and that |
| 29 | ; we can't check that derived pointer are never bases. |
| 30 | define void @test2(i8 addrspace(1)* %arg, i64 addrspace(1)* %arg2) { |
| 31 | entry: |
| 32 | %cast = bitcast i8 addrspace(1)* %arg to i64 addrspace(1)* |
| 33 | %c = icmp eq i64 addrspace(1)* %cast, %arg2 |
| 34 | br i1 %c, label %equal, label %notequal |
| 35 | |
| 36 | notequal: |
| 37 | ret void |
| 38 | |
| 39 | equal: |
| 40 | %safepoint_token = call i32 (void ()*, i32, i32, ...)* @llvm.statepoint.p0f_isVoidf(void ()* undef, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, i8 addrspace(1)* %arg, i64 addrspace(1)* %cast, i8 addrspace(1)* %arg, i8 addrspace(1)* %arg) |
| 41 | %reloc = call i8 addrspace(1)* @llvm.gc.relocate.p1i8(i32 %safepoint_token, i32 9, i32 10) |
| 42 | call void undef(i8 addrspace(1)* %reloc) |
| 43 | ret void |
| 44 | ; CHECK-LABEL: test2 |
| 45 | ; CHECK-LABEL: equal |
| 46 | ; CHECK: statepoint |
| 47 | ; CHECK-NEXT: %reloc = call |
| 48 | ; CHECK-NEXT: call |
| 49 | ; CHECK-NEXT: ret voi |
| 50 | } |