1; RUN: not opt -S -verify < %s 2>&1 | FileCheck %s
2
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 bundle
11  ret void
12}
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_ok
17; CHECK: guard cannot be invoked
18
19ok:
20  ret void
21
22not_ok:
23  %0 = landingpad { i8*, i32 }
24          filter [0 x i8*] zeroinitializer
25  ret void
26}
27