; RUN: opt -S -passes=verify < %s | FileCheck %s

target triple = "x86_64-unknown-linux-gnu"

define void @foo() gc "statepoint_example" personality ptr @P {
; CHECK-NOT: gc.result operand #1 must be from a statepoint   
entry:
    br label %label_1
label_1:
    ; CHECK: ret void
    ret void

label_2:
    ; CHECK: token poison
    %call = call noundef i32 @llvm.experimental.gc.result.i32(token poison)
    unreachable
}   

declare i32 @llvm.experimental.gc.result.i32(token)

declare ptr @P()