mirror of
https://github.com/RPCS3/llvm.git
synced 2025-04-03 22:01:56 +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
159 lines
5.4 KiB
LLVM
159 lines
5.4 KiB
LLVM
; A collection of liveness test cases to ensure we're reporting the
|
|
; correct live values at statepoints
|
|
; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s
|
|
|
|
|
|
; Tests to make sure we consider %obj live in both the taken and untaken
|
|
; predeccessor of merge.
|
|
define i64 addrspace(1)* @test1(i1 %cmp, i64 addrspace(1)* %obj) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test1
|
|
entry:
|
|
br i1 %cmp, label %taken, label %untaken
|
|
|
|
taken:
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i64 addrspace(1)*
|
|
; CHECK-NEXT: br label %merge
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
untaken:
|
|
; CHECK-LABEL: untaken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated1 = call coldcc i64 addrspace(1)*
|
|
; CHECK-NEXT: br label %merge
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
merge:
|
|
; CHECK-LABEL: merge:
|
|
; CHECK-NEXT: %.0 = phi i64 addrspace(1)* [ %obj.relocated, %taken ], [ %obj.relocated1, %untaken ]
|
|
; CHECK-NEXT: ret i64 addrspace(1)* %.0
|
|
ret i64 addrspace(1)* %obj
|
|
}
|
|
|
|
; A local kill should not effect liveness in predecessor block
|
|
define i64 addrspace(1)* @test2(i1 %cmp, i64 addrspace(1)** %loc) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test2
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: br
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br i1 %cmp, label %taken, label %untaken
|
|
|
|
taken:
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: %obj = load
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: gc.relocate
|
|
; CHECK-NEXT: ret i64 addrspace(1)* %obj.relocated
|
|
|
|
%obj = load i64 addrspace(1)*, i64 addrspace(1)** %loc
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
ret i64 addrspace(1)* %obj
|
|
|
|
untaken:
|
|
ret i64 addrspace(1)* null
|
|
}
|
|
|
|
; A local kill should effect values live from a successor phi. Also, we
|
|
; should only propagate liveness from a phi to the appropriate predecessors.
|
|
define i64 addrspace(1)* @test3(i1 %cmp, i64 addrspace(1)** %loc) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test3
|
|
entry:
|
|
br i1 %cmp, label %taken, label %untaken
|
|
|
|
taken:
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj = load
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i64 addrspace(1)*
|
|
; CHECK-NEXT: br label %merge
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
%obj = load i64 addrspace(1)*, i64 addrspace(1)** %loc
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
untaken:
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: br label %merge
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
merge:
|
|
%phi = phi i64 addrspace(1)* [ %obj, %taken ], [ null, %untaken ]
|
|
ret i64 addrspace(1)* %phi
|
|
}
|
|
|
|
; A base pointer must be live if it is needed at a later statepoint,
|
|
; even if the base pointer is otherwise unused.
|
|
define i64 addrspace(1)* @test4(i1 %cmp, i64 addrspace(1)* %obj) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test4
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: %derived = getelementptr
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %derived.relocated =
|
|
; CHECK-NEXT: %obj.relocated =
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %derived.relocated1 =
|
|
; Note: It's legal to relocate obj again, but not strictly needed
|
|
; CHECK-NEXT: %obj.relocated2 =
|
|
; CHECK-NEXT: ret i64 addrspace(1)* %derived.relocated1
|
|
;
|
|
%derived = getelementptr i64, i64 addrspace(1)* %obj, i64 8
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
ret i64 addrspace(1)* %derived
|
|
}
|
|
|
|
declare void @consume(...) readonly
|
|
|
|
; Make sure that a phi def visited during iteration is considered a kill.
|
|
; Also, liveness after base pointer analysis can change based on new uses,
|
|
; not just new defs.
|
|
define i64 addrspace(1)* @test5(i1 %cmp, i64 addrspace(1)* %obj) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test5
|
|
entry:
|
|
br i1 %cmp, label %taken, label %untaken
|
|
|
|
taken:
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i64 addrspace(1)*
|
|
; CHECK-NEXT: br label %merge
|
|
call i32 (void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()* @foo, i32 0, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
untaken:
|
|
; CHECK-LABEL: untaken:
|
|
; CHECK-NEXT: br label %merge
|
|
br label %merge
|
|
|
|
merge:
|
|
; CHECK-LABEL: merge:
|
|
; CHECK-NEXT: %.0 = phi i64 addrspace(1)*
|
|
; CHECK-NEXT: %obj2a = phi
|
|
; CHECK-NEXT: @consume
|
|
; CHECK-NEXT: br label %final
|
|
%obj2a = phi i64 addrspace(1)* [ %obj, %taken ], [null, %untaken]
|
|
call void (...) @consume(i64 addrspace(1)* %obj2a)
|
|
br label %final
|
|
final:
|
|
; CHECK-LABEL: final:
|
|
; CHECK-NEXT: @consume
|
|
; CHECK-NEXT: ret i64 addrspace(1)* %.0
|
|
call void (...) @consume(i64 addrspace(1)* %obj2a)
|
|
ret i64 addrspace(1)* %obj
|
|
}
|
|
|
|
declare void @foo()
|
|
|
|
declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(void ()*, i32, i32, ...)
|
|
|