test/SafepointIRVerifier/unrecorded-live-at-sp.ll

   1 ; RUN: opt %s -safepoint-ir-verifier-print-only -verify-safepoint-ir -S 2>&1 | FileCheck %s
   2
   3 ; CHECK:      Illegal use of unrelocated value found!
   4 ; CHECK-NEXT: Def:   %base_phi3 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi2, %bci_37-aload ], !is_base_value !0
   5 ; CHECK-NEXT: Use:   %base_phi2 = phi %jObject addrspace(1)* [ %base_phi3, %not_zero179 ], [ %cast5, %bci_0 ], !is_base_value !0
   6
   7 %jObject = type { [8 x i8] }
   8
   9 declare %jObject addrspace(1)* @generate_obj1() #1
  10
  11 declare %jObject addrspace(1)* addrspace(1)* @generate_obj2() #1
  12
  13 declare %jObject addrspace(1)* @generate_obj3() #1
  14
  15 ; Function Attrs: nounwind
  16 define  void @test(%jObject addrspace(1)*, %jObject addrspace(1)*, i32) #3 gc "statepoint-example" {
  17 bci_0:
  18   %result608 = call %jObject addrspace(1)* @generate_obj3()
  19   %obj609 = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
  20   %cast = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
  21   %cast5 = bitcast %jObject addrspace(1)* %result608 to %jObject addrspace(1)*
  22   br label %bci_37-aload
  23
  24 bci_37-aload:                                     ; preds = %not_zero179, %bci_0
  25   %base_phi = phi %jObject addrspace(1)* [ %base_phi1.relocated, %not_zero179 ], [ %cast, %bci_0 ], !is_base_value !0
  26   %base_phi2 = phi %jObject addrspace(1)* [ %base_phi3, %not_zero179 ], [ %cast5, %bci_0 ], !is_base_value !0
  27   %relocated8 = phi %jObject addrspace(1)* [ %relocated7.relocated, %not_zero179 ], [ %obj609, %bci_0 ]
  28   %tmp3 = getelementptr inbounds %jObject, %jObject addrspace(1)* %relocated8, i64 0, i32 0, i64 32
  29   %addr98 = bitcast i8 addrspace(1)* %tmp3 to %jObject addrspace(1)* addrspace(1)*
  30   %cast6 = bitcast %jObject addrspace(1)* %base_phi2 to %jObject addrspace(1)* addrspace(1)*
  31   br i1 undef, label %not_zero179, label %not_zero146
  32
  33 not_zero146:                                      ; preds = %bci_37-aload
  34   %addr98.relocated = call %jObject addrspace(1)* addrspace(1)* @generate_obj2() #1
  35   %obj609.relocated = call %jObject addrspace(1)* @generate_obj1() #1
  36   br label %not_zero179
  37
  38 not_zero179:                                      ; preds = %not_zero146, %bci_37-aload
  39   %base_phi1 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi, %bci_37-aload ], !is_base_value !0
  40   %base_phi3 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %base_phi2, %bci_37-aload ], !is_base_value !0
  41   %relocated7 = phi %jObject addrspace(1)* [ %obj609.relocated, %not_zero146 ], [ %relocated8, %bci_37-aload ]
  42   %base_phi4 = phi %jObject addrspace(1)* addrspace(1)* [ %addr98.relocated, %not_zero146 ], [ %cast6, %bci_37-aload ], !is_base_value !0
  43   %relocated4 = phi %jObject addrspace(1)* addrspace(1)* [ %addr98.relocated, %not_zero146 ], [ %addr98, %bci_37-aload ]
  44   %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)
  45   %tmp4 = call i32 @llvm.experimental.gc.result.i32(token %safepoint_token)
  46   %base_phi1.relocated = call coldcc %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token %safepoint_token, i32 12, i32 12)
  47   %base_phi4.relocated = call coldcc %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token %safepoint_token, i32 13, i32 13)
  48   %relocated4.relocated = call coldcc %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token %safepoint_token, i32 13, i32 14)
  49   %relocated7.relocated = call coldcc %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token %safepoint_token, i32 12, i32 15)
  50   %addr636 = bitcast %jObject addrspace(1)* addrspace(1)* %relocated4.relocated to %jObject addrspace(1)* addrspace(1)*
  51   br label %bci_37-aload
  52 }
  53
  54 declare token @llvm.experimental.gc.statepoint.p0f_i32f(i64, i32, i32 ()*, i32, i32, ...)
  55
  56 ; Function Attrs: nounwind
  57 declare i32 @llvm.experimental.gc.result.i32(token) #4
  58
  59 ; Function Attrs: nounwind
  60 declare %jObject addrspace(1)* @llvm.experimental.gc.relocate.p1jObject(token, i32, i32) #4
  61
  62 ; Function Attrs: nounwind
  63 declare %jObject addrspace(1)* addrspace(1)* @llvm.experimental.gc.relocate.p1p1jObject(token, i32, i32) #4
  64
  65 attributes #0 = { noinline nounwind "gc-leaf-function"="true" }
  66 attributes #1 = { "gc-leaf-function"="true" }
  67 attributes #2 = { nounwind readonly "gc-leaf-function"="true" }
  68 attributes #3 = { nounwind }
  69 attributes #4 = { nounwind }
  70
  71 !0 = !{i32 1}