mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-25 19:29:53 +00:00
5c7f7462e4
This changes the shape of the statepoint intrinsic from:
@llvm.experimental.gc.statepoint(anyptr target, i32 # call args, i32 unused, ...call args, i32 # deopt args, ...deopt args, ...gc args)
to:
@llvm.experimental.gc.statepoint(anyptr target, i32 # call args, i32 flags, ...call args, i32 # transition args, ...transition args, i32 # deopt args, ...deopt args, ...gc args)
This extension offers the backend the opportunity to insert (somewhat) arbitrary code to manage the transition from GC-aware code to code that is not GC-aware and back.
In order to support the injection of transition code, this extension wraps the STATEPOINT ISD node generated by the usual lowering lowering with two additional nodes: GC_TRANSITION_START and GC_TRANSITION_END. The transition arguments that were passed passed to the intrinsic (if any) are lowered and provided as operands to these nodes and may be used by the backend during code generation.
Eventually, the lowering of the GC_TRANSITION_{START,END} nodes should be informed by the GC strategy in use for the function containing the intrinsic call; for now, these nodes are instead replaced with no-ops.
Differential Revision: http://reviews.llvm.org/D9501
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236888 91177308-0d34-0410-b5e6-96231b3b80d8
122 lines
3.0 KiB
LLVM
122 lines
3.0 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 %rdx
|
|
; CHECK: retq
|
|
entry:
|
|
%alloca = alloca i32 addrspace(1)*, align 8
|
|
store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca
|
|
call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(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 %rdx
|
|
; CHECK: retq
|
|
entry:
|
|
%alloca = alloca i32 addrspace(1)*, align 8
|
|
store i32 addrspace(1)* %ptr, i32 addrspace(1)** %alloca
|
|
call i32 (i1 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()* @return_i1, i32 0, i32 0, i32 0, i32 1, i32 addrspace(1)** %alloca)
|
|
ret i32 addrspace(1)* null
|
|
}
|
|
|
|
declare i32 @llvm.experimental.gc.statepoint.p0f_i1f(i1 ()*, i32, i32, ...)
|
|
|
|
|
|
; CHECK-LABEL: .section .llvm_stackmaps
|
|
; CHECK-NEXT: __LLVM_StackMaps:
|
|
; Header
|
|
; CHECK-NEXT: .byte 1
|
|
; 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 test2
|
|
; CHECK-NEXT: .quad 8
|
|
|
|
; Large Constants
|
|
; Statepoint ID only
|
|
; CHECK: .quad 2882400000
|
|
|
|
; Callsites
|
|
; The GC one
|
|
; CHECK: .long .Ltmp1-test
|
|
; CHECK: .short 0
|
|
; CHECK: .short 3
|
|
; 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: .align 8
|
|
|
|
; The Deopt one
|
|
; CHECK: .long .Ltmp3-test2
|
|
; CHECK: .short 0
|
|
; CHECK: .short 3
|
|
; 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: .align 8
|
|
|
|
|