mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 11:42:57 +01:00
2f21b887d3
Original Patch and summary by Philip Reames. RewriteStatepointsForGC tries to rewrite a function in a manner where the optimizer can't end up using a pointer value after it might have been relocated by a safepoint. This pass checks the invariant that RSForGC is supposed to establish and that (if we constructed semantics correctly) later passes must preserve. This has been a really useful diagnostic tool when initially developing the rewriting scheme and has found numerous bugs. Differential Revision: https://reviews.llvm.org/D15940 Reviewed by: swaroop.sridhar, mjacob Subscribers: llvm-commits llvm-svn: 307112
72 lines
4.6 KiB
LLVM
72 lines
4.6 KiB
LLVM
; RUN: opt %s -safepoint-ir-verifier-print-only -verify-safepoint-ir -S 2>&1 | FileCheck %s
|
|
|
|
; CHECK: Illegal use of unrelocated value found!
|
|
; CHECK-NEXT: Def: %base_phi3 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi2, %bci_37-aload ], !is_base_value !0
|
|
; CHECK-NEXT: Use: %base_phi2 = phi %jObject addrspace(1)* [ %base_phi3, %not_zero179 ], [ %cast5, %bci_0 ], !is_base_value !0
|
|
|
|
%jObject = type { [8 x i8] }
|
|
|
|
declare %jObject addrspace(1)* @generate_obj1() #1
|
|
|
|
declare %jObject addrspace(1)* addrspace(1)* @generate_obj2() #1
|
|
|
|
declare %jObject addrspace(1)* @generate_obj3() #1
|
|
|
|
; Function Attrs: nounwind
|
|
define void @test(%jObject addrspace(1)*, %jObject addrspace(1)*, i32) #3 gc "statepoint-example" {
|
|
bci_0:
|
|
%result608 = call %jObject addrspace(1)* @generate_obj3()
|
|
%obj609 = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
|
|
%cast = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
|
|
%cast5 = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
|
|
br label %bci_37-aload
|
|
|
|
bci_37-aload: ; preds = %not_zero179, %bci_0
|
|
%base_phi = phi %jObject addrspace(1)* [ %base_phi1.relocated, %not_zero179 ], [ %cast, %bci_0 ], !is_base_value !0
|
|
%base_phi2 = phi %jObject addrspace(1)* [ %base_phi3, %not_zero179 ], [ %cast5, %bci_0 ], !is_base_value !0
|
|
%relocated8 = phi %jObject addrspace(1)* [ %relocated7.relocated, %not_zero179 ], [ %obj609, %bci_0 ]
|
|
%tmp3 = getelementptr inbounds %jObject, %jObject addrspace(1)* %relocated8, i64 0, i32 0, i64 32
|
|
%addr98 = bitcast i8 addrspace(1)* %tmp3 to %jObject addrspace(1)* addrspace(1)*
|
|
%cast6 = bitcast %jObject addrspace(1)* %base_phi2 to %jObject addrspace(1)* addrspace(1)*
|
|
br i1 undef, label %not_zero179, label %not_zero146
|
|
|
|
not_zero146: ; preds = %bci_37-aload
|
|
%addr98.relocated = call %jObject addrspace(1)* addrspace(1)* @generate_obj2() #1
|
|
%obj609.relocated = call %jObject addrspace(1)* @generate_obj1() #1
|
|
br label %not_zero179
|
|
|
|
not_zero179: ; preds = %not_zero146, %bci_37-aload
|
|
%base_phi1 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi, %bci_37-aload ], !is_base_value !0
|
|
%base_phi3 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi2, %bci_37-aload ], !is_base_value !0
|
|
%relocated7 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %relocated8, %bci_37-aload ]
|
|
%base_phi4 = phi %jObject addrspace(1)* addrspace(1)* [ %addr98.relocated, %not_zero146 ], [ %cast6, %bci_37-aload ], !is_base_value !0
|
|
%relocated4 = phi %jObject addrspace(1)* addrspace(1)* [ %addr98.relocated, %not_zero146 ], [ %addr98, %bci_37-aload ]
|
|
%safepoint_token = tail call token (i64, i32, i32 ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_i32f(i64 0, i32 0, i32 ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 0, i32 0, %jObject addrspace(1)* %base_phi1, %jObject addrspace(1)* addrspace(1)* %base_phi4, %jObject addrspace(1)* addrspace(1)* %relocated4, %jObject addrspace(1)* %relocated7)
|
|
%tmp4 = call i32 @llvm.experimental.gc.result.i32(token %safepoint_token)
|
|
%base_phi1.relocated = call coldcc %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token %safepoint_token, i32 12, i32 12)
|
|
%base_phi4.relocated = call coldcc %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token %safepoint_token, i32 13, i32 13)
|
|
%relocated4.relocated = call coldcc %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token %safepoint_token, i32 13, i32 14)
|
|
%relocated7.relocated = call coldcc %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token %safepoint_token, i32 12, i32 15)
|
|
%addr636 = bitcast %jObject addrspace(1)* addrspace(1)* %relocated4.relocated to %jObject addrspace(1)* addrspace(1)*
|
|
br label %bci_37-aload
|
|
}
|
|
|
|
declare token @llvm.experimental.gc.statepoint.p0f_i32f(i64, i32, i32 ()*, i32, i32, ...)
|
|
|
|
; Function Attrs: nounwind
|
|
declare i32 @llvm.experimental.gc.result.i32(token) #4
|
|
|
|
; Function Attrs: nounwind
|
|
declare %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token, i32, i32) #4
|
|
|
|
; Function Attrs: nounwind
|
|
declare %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token, i32, i32) #4
|
|
|
|
attributes #0 = { noinline nounwind "gc-leaf-function"="true" }
|
|
attributes #1 = { "gc-leaf-function"="true" }
|
|
attributes #2 = { nounwind readonly "gc-leaf-function"="true" }
|
|
attributes #3 = { nounwind }
|
|
attributes #4 = { nounwind }
|
|
|
|
!0 = !{i32 1}
|