mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-22 12:33:33 +02:00
b755be339a
To be clear: this is an *optimization* not a correctness change. CodeGenPrep likes to duplicate icmps feeding branch instructions to take advantage of x86's ability to fuze many comparison/branch patterns into a single micro-op and to reduce the need for materializing i1s into general registers. PlaceSafepoints likes to place safepoint polls right at the end of basic blocks (immediately before terminators) when inserting entry and backedge safepoints. These two heuristics interact in a somewhat unfortunate way where the branch terminating the original block will be controlled by a condition driven by unrelocated pointers. This forces the register allocator to keep both the relocated and unrelocated values of the pointers feeding the icmp alive over the safepoint poll. One simple fix would have been to just adjust PlaceSafepoints to move one back in the basic block, but you can reach similar cases as a result of LICM or other hoisting passes. As a result, doing a post insertion fixup seems to be more robust. I considered doing this in CodeGenPrep itself, but having to update the live sets of already rewritten safepoints gets complicated fast. In particular, you can't just use def/use information because by moving the icmp, we're extending the live range of it's inputs potentially. Instead, this patch teaches RewriteStatepointsForGC to make the required adjustments before making the relocations explicit in the IR. This change really highlights the fact that RSForGC is a CodeGenPrep-like pass which is performing target specific lowering. In the long run, we may even want to combine the two though this would require a lot more smarts to be integrated into RSForGC first. We currently rely on being able to run a set of cleanup passes post rewriting because the IR RSForGC generates is pretty damn ugly. Differential Revision: http://reviews.llvm.org/D11819 llvm-svn: 244821
75 lines
2.2 KiB
LLVM
75 lines
2.2 KiB
LLVM
; RUN: opt -rewrite-statepoints-for-gc -S < %s | FileCheck %s
|
|
|
|
; A null test of a single value
|
|
define i1 @test(i8 addrspace(1)* %p, i1 %rare) gc "statepoint-example" {
|
|
; CHECK-LABEL: @test
|
|
entry:
|
|
%cond = icmp eq i8 addrspace(1)* %p, null
|
|
br i1 %rare, label %safepoint, label %continue, !prof !0
|
|
safepoint:
|
|
call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
|
|
br label %continue
|
|
continue:
|
|
; CHECK-LABEL: continue:
|
|
; CHECK: phi
|
|
; CHECK-DAG: [ %p.relocated, %safepoint ]
|
|
; CHECK-DAG [ %p, %entry ]
|
|
; CHECK: %cond = icmp
|
|
; CHECK: br i1 %cond
|
|
br i1 %cond, label %taken, label %untaken
|
|
taken:
|
|
ret i1 true
|
|
untaken:
|
|
ret i1 false
|
|
}
|
|
|
|
; Comparing two pointers
|
|
define i1 @test2(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare)
|
|
gc "statepoint-example" {
|
|
; CHECK-LABEL: @test2
|
|
entry:
|
|
%cond = icmp eq i8 addrspace(1)* %p, %q
|
|
br i1 %rare, label %safepoint, label %continue, !prof !0
|
|
safepoint:
|
|
call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
|
|
br label %continue
|
|
continue:
|
|
; CHECK-LABEL: continue:
|
|
; CHECK: phi
|
|
; CHECK-DAG: [ %q.relocated, %safepoint ]
|
|
; CHECK-DAG [ %q, %entry ]
|
|
; CHECK: phi
|
|
; CHECK-DAG: [ %p.relocated, %safepoint ]
|
|
; CHECK-DAG [ %p, %entry ]
|
|
; CHECK: %cond = icmp
|
|
; CHECK: br i1 %cond
|
|
br i1 %cond, label %taken, label %untaken
|
|
taken:
|
|
ret i1 true
|
|
untaken:
|
|
ret i1 false
|
|
}
|
|
|
|
; Sanity check that nothing bad happens if already last instruction
|
|
; before terminator
|
|
define i1 @test3(i8 addrspace(1)* %p, i8 addrspace(1)* %q, i1 %rare)
|
|
gc "statepoint-example" {
|
|
; CHECK-LABEL: @test3
|
|
entry:
|
|
call i32 (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2882400000, i32 0, void ()* @safepoint, i32 0, i32 0, i32 0, i32 0)
|
|
; CHECK: gc.statepoint
|
|
; CHECK: %cond = icmp
|
|
; CHECK: br i1 %cond
|
|
%cond = icmp eq i8 addrspace(1)* %p, %q
|
|
br i1 %cond, label %taken, label %untaken
|
|
taken:
|
|
ret i1 true
|
|
untaken:
|
|
ret i1 false
|
|
}
|
|
|
|
declare void @safepoint()
|
|
declare i32 @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
|
|
|
|
!0 = !{!"branch_weights", i32 1, i32 10000}
|