llvm/test/Verifier/kcfi-operand-bundles.ll

   1 ; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
   2
   3 define 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 }