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