27 lines · plain
1; RUN: not opt -S -passes=verify < %s 2>&1 | FileCheck %s2 3declare void @llvm.experimental.guard(i1, ...)4 5declare void @unknown()6 7define void @f_nodeopt() {8entry:9 call void(i1, ...) @llvm.experimental.guard(i1 undef, i32 1, i32 2)10; CHECK: guard must have exactly one "deopt" operand bundle11 ret void12}13 14define void @f_invoke() personality i8 3 {15entry:16 invoke void(i1, ...) @llvm.experimental.guard(i1 undef, i32 0, float 0.0) [ "deopt"() ] to label %ok unwind label %not_ok17; CHECK: guard cannot be invoked18 19ok:20 ret void21 22not_ok:23 %0 = landingpad { ptr, i32 }24 filter [0 x ptr] zeroinitializer25 ret void26}27