mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 04:22:57 +02:00
c60ad3e1fe
Summary: This patch changes gc.statepoint intrinsic's return type to token type instead of i32 type. Using token types could prevent LLVM to merge different gc.statepoint nodes into PHI nodes and cause further problems with gc relocations. The patch also changes the way on how gc.relocate and gc.result look for their corresponding gc.statepoint on unwind path. The current implementation uses the selector value extracted from a { i8*, i32 } landingpad as a hook to find the gc.statepoint, while the patch directly uses a token type landingpad (http://reviews.llvm.org/D15405) to find the gc.statepoint. Reviewers: sanjoy, JosephTremoulet, pgavlin, igor-laevsky, mjacob Subscribers: reames, mjacob, sanjoy, llvm-commits Differential Revision: http://reviews.llvm.org/D15662 llvm-svn: 256443
89 lines
3.3 KiB
LLVM
89 lines
3.3 KiB
LLVM
; This is a collection of really basic tests for gc.statepoint rewriting.
|
|
; RUN: opt %s -rewrite-statepoints-for-gc -rs4gc-use-deopt-bundles -spp-rematerialization-threshold=0 -S | FileCheck %s
|
|
|
|
; Trivial relocation over a single call
|
|
|
|
declare void @foo()
|
|
|
|
define i8 addrspace(1)* @test1(i8 addrspace(1)* %obj) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test1
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i8 addrspace(1)*
|
|
; Two safepoints in a row (i.e. consistent liveness)
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
ret i8 addrspace(1)* %obj
|
|
}
|
|
|
|
define i8 addrspace(1)* @test2(i8 addrspace(1)* %obj) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test2
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i8 addrspace(1)*
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated2 = call coldcc i8 addrspace(1)*
|
|
; A simple derived pointer
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
ret i8 addrspace(1)* %obj
|
|
}
|
|
|
|
define i8 @test3(i8 addrspace(1)* %obj) gc "statepoint-example" {
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: getelementptr
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %derived.relocated = call coldcc i8 addrspace(1)*
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i8 addrspace(1)*
|
|
; CHECK-NEXT: load i8, i8 addrspace(1)* %derived.relocated
|
|
; CHECK-NEXT: load i8, i8 addrspace(1)* %obj.relocated
|
|
; Tests to make sure we visit both the taken and untaken predeccessor
|
|
; of merge. This was a bug in the dataflow liveness at one point.
|
|
%derived = getelementptr i8, i8 addrspace(1)* %obj, i64 10
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
%a = load i8, i8 addrspace(1)* %derived
|
|
%b = load i8, i8 addrspace(1)* %obj
|
|
%c = sub i8 %a, %b
|
|
ret i8 %c
|
|
}
|
|
|
|
define i8 addrspace(1)* @test4(i1 %cmp, i8 addrspace(1)* %obj) gc "statepoint-example" {
|
|
entry:
|
|
br i1 %cmp, label %taken, label %untaken
|
|
|
|
taken: ; preds = %entry
|
|
; CHECK-LABEL: taken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated = call coldcc i8 addrspace(1)*
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
br label %merge
|
|
|
|
untaken: ; preds = %entry
|
|
; CHECK-LABEL: untaken:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NEXT: %obj.relocated2 = call coldcc i8 addrspace(1)*
|
|
call void @foo() [ "deopt"(i32 0, i32 -1, i32 0, i32 0, i32 0) ]
|
|
br label %merge
|
|
|
|
merge: ; preds = %untaken, %taken
|
|
; CHECK-LABEL: merge:
|
|
; CHECK-NEXT: %.0 = phi i8 addrspace(1)* [ %obj.relocated, %taken ], [ %obj.relocated2, %untaken ]
|
|
; CHECK-NEXT: ret i8 addrspace(1)* %.0
|
|
; When run over a function which doesn't opt in, should do nothing!
|
|
ret i8 addrspace(1)* %obj
|
|
}
|
|
|
|
define i8 addrspace(1)* @test5(i8 addrspace(1)* %obj) gc "ocaml" {
|
|
; CHECK-LABEL: @test5
|
|
entry:
|
|
; CHECK-LABEL: entry:
|
|
; CHECK-NEXT: gc.statepoint
|
|
; CHECK-NOT: %obj.relocated = call coldcc i8 addrspace(1)*
|
|
%0 = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
|
|
ret i8 addrspace(1)* %obj
|
|
}
|
|
|
|
declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
|