test/SafepointIRVerifier/uses-in-phi-nodes.ll

   1 ; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s
   2
   3 define i8 addrspace(1)* @test.not.ok.0(i8 addrspace(1)* %arg) gc "statepoint-example" {
   4 ; CHECK-LABEL: Verifying gc pointers in function: test.not.ok.0
   5  bci_0:
   6   br i1 undef, label %left, label %right
   7
   8  left:
   9   %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
  10   br label %merge
  11
  12  right:
  13   br label %merge
  14
  15  merge:
  16 ; CHECK: Illegal use of unrelocated value found!
  17 ; CHECK-NEXT: Def: i8 addrspace(1)* %arg
  18 ; CHECK-NEXT: Use:   %val = phi i8 addrspace(1)* [ %arg, %left ], [ %arg, %right ]
  19   %val = phi i8 addrspace(1)* [ %arg, %left ], [ %arg, %right]
  20   ret i8 addrspace(1)* %val
  21 }
  22
  23 define i8 addrspace(1)* @test.not.ok.1(i8 addrspace(1)* %arg) gc "statepoint-example" {
  24 ; CHECK-LABEL: Verifying gc pointers in function: test.not.ok.1
  25  bci_0:
  26   br i1 undef, label %left, label %right
  27
  28  left:
  29   %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
  30   br label %merge
  31
  32  right:
  33   br label %merge
  34
  35  merge:
  36 ; CHECK: Illegal use of unrelocated value found!
  37 ; CHECK-NEXT: Def: i8 addrspace(1)* %arg
  38 ; CHECK-NEXT: Use:   %val = phi i8 addrspace(1)* [ %arg, %left ], [ null, %right ]
  39   %val = phi i8 addrspace(1)* [ %arg, %left ], [ null, %right]
  40   ret i8 addrspace(1)* %val
  41 }
  42
  43 define i8 addrspace(1)* @test.ok.0(i8 addrspace(1)* %arg) gc "statepoint-example" {
  44 ; CHECK: No illegal uses found by SafepointIRVerifier in: test.ok.0
  45  bci_0:
  46   br i1 undef, label %left, label %right
  47
  48  left:
  49   %safepoint_token = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
  50   br label %merge
  51
  52  right:
  53   br label %merge
  54
  55  merge:
  56   %val = phi i8 addrspace(1)* [ null, %left ], [ null, %right]
  57   ret i8 addrspace(1)* %val
  58 }
  59
  60 define i8 addrspace(1)* @test.ok.1(i8 addrspace(1)* %arg) gc "statepoint-example" {
  61 ; CHECK: No illegal uses found by SafepointIRVerifier in: test.ok.1
  62  bci_0:
  63   br i1 undef, label %left, label %right
  64
  65  left:
  66   call void @not_statepoint()
  67   br label %merge
  68
  69  right:
  70   br label %merge
  71
  72  merge:
  73   %val = phi i8 addrspace(1)* [ %arg, %left ], [ %arg, %right]
  74   ret i8 addrspace(1)* %val
  75 }
  76
  77 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
  78 declare void @not_statepoint()