mirror of
https://github.com/RPCSX/llvm.git
synced 2025-04-04 17:21:42 +00:00
26256fb2f9
Choosing a "cfi" name makes the intend a bit clearer in an assembly dump and more importantly the assembly dumps are slightly more stable as the numbers don't move around anymore when unrelated code calls createTempSymbol() more or less often. As they are temp labels the name doesn't influence the generated object code. Differential Revision: https://reviews.llvm.org/D27244 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@288290 91177308-0d34-0410-b5e6-96231b3b80d8
132 lines
3.3 KiB
LLVM
132 lines
3.3 KiB
LLVM
; RUN: llc < %s | FileCheck %s
|
|
; Check that we can lower a use of an alloca both as a deopt value (where the
|
|
; exact meaning is up to the consumer of the stackmap) and as an explicit spill
|
|
; slot used for GC.
|
|
|
|
target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-pc-linux-gnu"
|
|
|
|
declare zeroext i1 @return_i1()
|
|
|
|
; Can we handle an explicit relocation slot (in the form of an alloca) given
|
|
; to the statepoint?
|
|
define i32 addrspace(1)* @test(i32 addrspace(1)* %ptr) gc "statepoint-example" {
|
|
; CHECK-LABEL: test
|
|
; CHECK: pushq %rax
|
|
; CHECK: movq %rdi, (%rsp)
|
|
; CHECK: callq return_i1
|
|
; CHECK: movq (%rsp), %rax
|
|
; CHECK: popq %rcx
|
|
; CHECK: retq
|
|
entry:
|
|
%alloca = alloca i32 addrspace(1)*, align 8
|
|
store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca
|
|
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, i32 addrspace(1)** %alloca)
|
|
%rel = load i32 addrspace(1)*, i32 addrspace(1)** %alloca
|
|
ret i32 addrspace(1)* %rel
|
|
}
|
|
|
|
; Can we handle an alloca as a deopt value?
|
|
define i32 addrspace(1)* @test2(i32 addrspace(1)* %ptr) gc "statepoint-example" {
|
|
; CHECK-LABEL: test2
|
|
; CHECK: pushq %rax
|
|
; CHECK: movq %rdi, (%rsp)
|
|
; CHECK: callq return_i1
|
|
; CHECK: xorl %eax, %eax
|
|
; CHECK: popq %rcx
|
|
; CHECK: retq
|
|
entry:
|
|
%alloca = alloca i32 addrspace(1)*, align 8
|
|
store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca
|
|
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 1, i32 addrspace(1)** %alloca)
|
|
ret i32 addrspace(1)* null
|
|
}
|
|
|
|
declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...)
|
|
|
|
|
|
; CHECK-LABEL: .section .llvm_stackmaps
|
|
; CHECK-NEXT: __LLVM_StackMaps:
|
|
; Header
|
|
; CHECK-NEXT: .byte 2
|
|
; CHECK-NEXT: .byte 0
|
|
; CHECK-NEXT: .short 0
|
|
; Num Functions
|
|
; CHECK-NEXT: .long 2
|
|
; Num LargeConstants
|
|
; CHECK-NEXT: .long 0
|
|
; Num Callsites
|
|
; CHECK-NEXT: .long 2
|
|
|
|
; Functions and stack size
|
|
; CHECK-NEXT: .quad test
|
|
; CHECK-NEXT: .quad 8
|
|
; CHECK-NEXT: .quad 1
|
|
; CHECK-NEXT: .quad test2
|
|
; CHECK-NEXT: .quad 8
|
|
; CHECK-NEXT: .quad 1
|
|
|
|
; Large Constants
|
|
; Statepoint ID only
|
|
; CHECK: .quad 0
|
|
|
|
; Callsites
|
|
; The GC one
|
|
; CHECK: .long .Ltmp0-test
|
|
; CHECK: .short 0
|
|
; CHECK: .short 4
|
|
; SmallConstant (0)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 0
|
|
; SmallConstant (0)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 0
|
|
; SmallConstant (0)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 0
|
|
; Direct Spill Slot [RSP+0]
|
|
; CHECK: .byte 2
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 7
|
|
; CHECK: .long 0
|
|
; No Padding or LiveOuts
|
|
; CHECK: .short 0
|
|
; CHECK: .short 0
|
|
; CHECK: .p2align 3
|
|
|
|
; The Deopt one
|
|
; CHECK: .long .Ltmp1-test2
|
|
; CHECK: .short 0
|
|
; CHECK: .short 4
|
|
; SmallConstant (0)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 0
|
|
; SmallConstant (0)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 0
|
|
; SmallConstant (1)
|
|
; CHECK: .byte 4
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 0
|
|
; CHECK: .long 1
|
|
; Direct Spill Slot [RSP+0]
|
|
; CHECK: .byte 2
|
|
; CHECK: .byte 8
|
|
; CHECK: .short 7
|
|
; CHECK: .long 0
|
|
|
|
; No Padding or LiveOuts
|
|
; CHECK: .short 0
|
|
; CHECK: .short 0
|
|
; CHECK: .p2align 3
|