aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/statepoint-stackmap-format.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/X86/statepoint-stackmap-format.ll')
-rw-r--r--test/CodeGen/X86/statepoint-stackmap-format.ll329
1 files changed, 0 insertions, 329 deletions
diff --git a/test/CodeGen/X86/statepoint-stackmap-format.ll b/test/CodeGen/X86/statepoint-stackmap-format.ll
deleted file mode 100644
index 966f66815f92..000000000000
--- a/test/CodeGen/X86/statepoint-stackmap-format.ll
+++ /dev/null
@@ -1,329 +0,0 @@
-; 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-23 06:18:18 +0000