22 lines · plain
1; RUN: opt -S -passes=verify < %s | FileCheck %s2 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_19label_1:10 ; CHECK: ret void11 ret void12 13label_2:14 ; CHECK: token poison15 %call = call noundef i32 @llvm.experimental.gc.result.i32(token poison)16 unreachable17} 18 19declare i32 @llvm.experimental.gc.result.i32(token)20 21declare ptr @P()22