17 lines · plain
1; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s2 3define void @test_kcfi_bundle(i64 %arg0, i32 %arg1, ptr %arg2) {4; CHECK: Multiple kcfi operand bundles5; 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 constant9; CHECK-NEXT: call void %arg2() [ "kcfi"(i64 42) ]10 call void %arg2() [ "kcfi"(i64 42) ]11 12; CHECK-NOT: call void13 call void %arg2() [ "kcfi"(i32 42) ] ; OK14 call void %arg2() [ "kcfi"(i32 42) ] ; OK15 ret void16}17