| ; RUN: llc < %s -verify-machineinstrs -stack-symbol-ordering=0 -mtriple="x86_64-pc-linux-gnu" | FileCheck %s |
| ; RUN: llc < %s -verify-machineinstrs -stack-symbol-ordering=0 -mtriple="x86_64-pc-unknown-elf" | FileCheck %s |
| |
| ; This test is a sanity check to ensure statepoints are generating StackMap |
| ; sections correctly. This is not intended to be a rigorous test of the |
| ; StackMap format (see the stackmap tests for that). |
| |
| target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" |
| |
| declare zeroext i1 @return_i1() |
| |
| define i1 @test(i32 addrspace(1)* %ptr_base, i32 %arg) |
| gc "statepoint-example" { |
| ; CHECK-LABEL: test: |
| ; Do we see two spills for the local values and the store to the |
| ; alloca? |
| ; CHECK: subq $40, %rsp |
| ; CHECK: movq $0, 24(%rsp) |
| ; CHECK: movq %rdi, 16(%rsp) |
| ; CHECK: movq %rax, 8(%rsp) |
| ; CHECK: callq return_i1 |
| ; CHECK: addq $40, %rsp |
| ; CHECK: retq |
| entry: |
| %metadata1 = alloca i32 addrspace(1)*, i32 2, align 8 |
| store i32 addrspace(1)* null, i32 addrspace(1)** %metadata1 |
| %ptr_derived = getelementptr i32, i32 addrspace(1)* %ptr_base, i32 %arg |
| %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 2, i32 addrspace(1)* %ptr_base, i32 addrspace(1)* null, i32 addrspace(1)* %ptr_base, i32 addrspace(1)* %ptr_derived, i32 addrspace(1)* null) |
| %call1 = call zeroext i1 @llvm.experimental.gc.result.i1(token %safepoint_token) |
| %a = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 9, i32 9) |
| %b = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 9, i32 10) |
| %c = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 11, i32 11) |
| ; |
| ret i1 %call1 |
| } |
| |
| ; This is similar to the previous test except that we have derived pointer as |
| ; argument to the function. Despite that this can not happen after the |
| ; RewriteSafepointForGC pass, lowering should be able to handle it anyway. |
| define i1 @test_derived_arg(i32 addrspace(1)* %ptr_base, |
| i32 addrspace(1)* %ptr_derived) |
| gc "statepoint-example" { |
| ; CHECK-LABEL: test_derived_arg |
| ; Do we see two spills for the local values and the store to the |
| ; alloca? |
| ; CHECK: subq $40, %rsp |
| ; CHECK: movq $0, 24(%rsp) |
| ; CHECK: movq %rdi, 16(%rsp) |
| ; CHECK: movq %rsi, 8(%rsp) |
| ; CHECK: callq return_i1 |
| ; CHECK: addq $40, %rsp |
| ; CHECK: retq |
| entry: |
| %metadata1 = alloca i32 addrspace(1)*, i32 2, align 8 |
| store i32 addrspace(1)* null, i32 addrspace(1)** %metadata1 |
| %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 2, i32 addrspace(1)* %ptr_base, i32 addrspace(1)* null, i32 addrspace(1)* %ptr_base, i32 addrspace(1)* %ptr_derived, i32 addrspace(1)* null) |
| %call1 = call zeroext i1 @llvm.experimental.gc.result.i1(token %safepoint_token) |
| %a = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 9, i32 9) |
| %b = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 9, i32 10) |
| %c = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token %safepoint_token, i32 11, i32 11) |
| ; |
| ret i1 %call1 |
| } |
| |
| ; Simple test case to check that we emit the ID field correctly |
| define i1 @test_id() gc "statepoint-example" { |
| ; CHECK-LABEL: test_id |
| entry: |
| %safepoint_token = tail call token (i64, i32, i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i64 237, i32 0, i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 0) |
| %call1 = call zeroext i1 @llvm.experimental.gc.result.i1(token %safepoint_token) |
| ret i1 %call1 |
| } |
| |
| |
| declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) |
| declare i1 @llvm.experimental.gc.result.i1(token) |
| declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32) #3 |
| |
| ; CHECK-LABEL: .section .llvm_stackmaps |
| ; CHECK-NEXT: __LLVM_StackMaps: |
| ; Header |
| ; CHECK-NEXT: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK-NEXT: .short 0 |
| ; Num Functions |
| ; CHECK-NEXT: .long 3 |
| ; Num LargeConstants |
| ; CHECK-NEXT: .long 0 |
| ; Num Callsites |
| ; CHECK-NEXT: .long 3 |
| |
| ; Functions and stack size |
| ; CHECK-NEXT: .quad test |
| ; CHECK-NEXT: .quad 40 |
| ; CHECK-NEXT: .quad 1 |
| ; CHECK-NEXT: .quad test_derived_arg |
| ; CHECK-NEXT: .quad 40 |
| ; CHECK-NEXT: .quad 1 |
| ; CHECK-NEXT: .quad test_id |
| ; CHECK-NEXT: .quad 8 |
| ; CHECK-NEXT: .quad 1 |
| |
| ; |
| ; test |
| ; |
| |
| ; Statepoint ID |
| ; CHECK-NEXT: .quad 0 |
| |
| ; Callsites |
| ; Constant arguments |
| ; CHECK-NEXT: .long .Ltmp0-test |
| ; CHECK: .short 0 |
| ; CHECK: .short 11 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (2) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 2 |
| ; Indirect Spill Slot [RSP+0] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; Indirect Spill Slot [RSP+8] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 8 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| |
| ; No Padding or LiveOuts |
| ; CHECK: .short 0 |
| ; CHECK: .short 0 |
| ; CHECK: .p2align 3 |
| |
| ; |
| ; test_derived_arg |
| |
| ; Statepoint ID |
| ; CHECK-NEXT: .quad 0 |
| |
| ; Callsites |
| ; Constant arguments |
| ; CHECK-NEXT: .long .Ltmp1-test_derived_arg |
| ; CHECK: .short 0 |
| ; CHECK: .short 11 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (2) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 2 |
| ; Indirect Spill Slot [RSP+0] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; SmallConstant (0) |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; Indirect Spill Slot [RSP+8] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 8 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| ; Indirect Spill Slot [RSP+16] |
| ; CHECK: .byte 3 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 7 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 16 |
| |
| ; No Padding or LiveOuts |
| ; CHECK: .short 0 |
| ; CHECK: .short 0 |
| ; CHECK: .p2align 3 |
| |
| ; Records for the test_id function: |
| |
| ; The Statepoint ID: |
| ; CHECK-NEXT: .quad 237 |
| |
| ; Instruction Offset |
| ; CHECK-NEXT: .long .Ltmp2-test_id |
| |
| ; Reserved: |
| ; CHECK: .short 0 |
| |
| ; NumLocations: |
| ; CHECK: .short 3 |
| |
| ; StkMapRecord[0]: |
| ; SmallConstant(0): |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| |
| ; StkMapRecord[1]: |
| ; SmallConstant(0): |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| |
| ; StkMapRecord[2]: |
| ; SmallConstant(0): |
| ; CHECK: .byte 4 |
| ; CHECK-NEXT: .byte 0 |
| ; CHECK: .short 8 |
| ; CHECK: .short 0 |
| ; CHECK-NEXT: .short 0 |
| ; CHECK: .long 0 |
| |
| ; No padding or LiveOuts |
| ; CHECK: .short 0 |
| ; CHECK: .short 0 |
| ; CHECK: .p2align 3 |