llvm/test/Verifier/gc_result_token.ll

   1 ; RUN: opt -S -passes=verify < %s | FileCheck %s
   2
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 define void @foo() gc "statepoint_example" personality ptr @P {
   6 ; CHECK-NOT: gc.result operand #1 must be from a statepoint
   7 entry:
   8     br label %label_1
   9 label_1:
  10     ; CHECK: ret void
  11     ret void
  12
  13 label_2:
  14     ; CHECK: token poison
  15     %call = call noundef i32 @llvm.experimental.gc.result.i32(token poison)
  16     unreachable
  17 }
  18
  19 declare i32 @llvm.experimental.gc.result.i32(token)
  20
  21 declare ptr @P()