Anna Thomas | a66a98c | 2017-07-04 15:09:09 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -fast-isel |
| 2 | |
Anna Thomas | 505941e | 2017-07-04 15:24:08 +0000 | [diff] [blame] | 3 | target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | target triple = "x86_64-pc-linux-gnu" |
Anna Thomas | a66a98c | 2017-07-04 15:09:09 +0000 | [diff] [blame] | 5 | ; Dont crash with gc intrinsics. |
| 6 | |
| 7 | ; gcrelocate call should not be an LLVM Machine Block by itself. |
| 8 | define i8 addrspace(1)* @test_gcrelocate(i8 addrspace(1)* %v) gc "statepoint-example" { |
| 9 | entry: |
| 10 | %tok = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 0, i8 addrspace(1)* %v) |
| 11 | %vnew = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tok, i32 7, i32 7) |
| 12 | ret i8 addrspace(1)* %vnew |
| 13 | } |
| 14 | |
| 15 | ; gcresult calls are fine in their own blocks. |
| 16 | define i1 @test_gcresult() gc "statepoint-example" { |
| 17 | entry: |
| 18 | %safepoint_token = tail call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0) |
| 19 | %call1 = call zeroext i1 @llvm.experimental.gc.result.i1(token %safepoint_token) |
| 20 | ret i1 %call1 |
| 21 | } |
| 22 | |
| 23 | ; we are okay here because we see the gcrelocate and avoid generating their own |
| 24 | ; block. |
| 25 | define i1 @test_gcresult_gcrelocate(i8 addrspace(1)* %v) gc "statepoint-example" { |
| 26 | entry: |
| 27 | %safepoint_token = tail call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 0, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0, i8 addrspace(1)* %v) |
| 28 | %call1 = call zeroext i1 @llvm.experimental.gc.result.i1(token %safepoint_token) |
| 29 | %vnew = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %safepoint_token, i32 7, i32 7) |
| 30 | ret i1 %call1 |
| 31 | } |
| 32 | |
| 33 | define i8 addrspace(1)* @test_non_entry_block(i8 addrspace(1)* %v, i8 %val) gc "statepoint-example" { |
| 34 | entry: |
| 35 | %load = load i8, i8 addrspace(1)* %v |
| 36 | %cmp = icmp eq i8 %load, %val |
| 37 | br i1 %cmp, label %func_call, label %exit |
| 38 | |
| 39 | func_call: |
| 40 | call void @dummy() |
| 41 | %tok = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 0, i8 addrspace(1)* %v) |
| 42 | %vnew = call i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tok, i32 7, i32 7) |
| 43 | ret i8 addrspace(1)* %vnew |
| 44 | |
| 45 | exit: |
| 46 | ret i8 addrspace(1)* %v |
| 47 | |
| 48 | } |
| 49 | |
| 50 | declare void @dummy() |
| 51 | declare void @foo() |
| 52 | |
| 53 | declare zeroext i1 @return_i1() |
| 54 | declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...) |
| 55 | declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) |
| 56 | declare i1 @llvm.experimental.gc.result.i1(token) |
| 57 | declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token, i32, i32) |