mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 19:12:56 +02:00
ee9e4fc042
PHI that has at least one unrelocated input cannot cause any issues by itself, though its uses should be carefully verified. With this patch PHIs are allowed to have any inputs but when all inputs are unrelocated the PHI is marked as unrelocated and if not all inputs are unrelocated then the PHI is marked as poisoned. Poisoned pointers can be used only in three ways: to derive new pointers, in PHIs or in comparisons against constants that are exclusively derived from null. Patch by Daniil Suchkov! Differential Revision: https://reviews.llvm.org/D41006 llvm-svn: 321438
73 lines
4.8 KiB
LLVM
73 lines
4.8 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_phi4 = phi %jObject addrspace(1)* addrspace(1)* [ %addr98.relocated, %not_zero146 ], [ %cast6, %bci_37-aload ], !is_base_value !0
|
|
; CHECK-NEXT: Use: %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)
|
|
|
|
|
|
%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}
|