xref: /llvm-project/llvm/test/Verifier/kcfi-operand-bundles.ll (revision f7031c41eca3c9ea238c8cf96032ea7359943df5) 
1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
2
3define void @test_kcfi_bundle(i64 %arg0, i32 %arg1, ptr %arg2) {
4; CHECK: Multiple kcfi operand bundles
5; CHECK-NEXT: call void %arg2() [ "kcfi"(i32 42), "kcfi"(i32 42) ]
6  call void %arg2() [ "kcfi"(i32 42), "kcfi"(i32 42) ]
7
8; CHECK: Kcfi bundle operand must be an i32 constant
9; CHECK-NEXT: call void %arg2() [ "kcfi"(i64 42) ]
10  call void %arg2() [ "kcfi"(i64 42) ]
11
12; CHECK-NOT: call void
13  call void %arg2() [ "kcfi"(i32 42) ] ; OK
14  call void %arg2() [ "kcfi"(i32 42) ] ; OK
15  ret void
16}
17