40 lines · plain
1; RUN: not llvm-as %s -disable-output 2>&1 | FileCheck %s2 3define void @a() {4 unreachable5}6 7define void @b() !kcfi_type !0 {8 unreachable9}10 11; CHECK: function must have a single !kcfi_type attachment12define void @f0() !kcfi_type !0 !kcfi_type !0 {13 unreachable14}15!0 = !{i32 10}16 17; CHECK: !kcfi_type must have exactly one operand18define void @f1() !kcfi_type !1 {19 unreachable20}21!1 = !{!"string", i32 0}22 23; CHECK: expected a constant operand for !kcfi_type24define void @f2() !kcfi_type !2 {25 unreachable26}27!2 = !{!"string"}28 29; CHECK: expected a constant integer operand for !kcfi_type30define void @f3() !kcfi_type !3 {31 unreachable32}33!3 = !{ptr @f3}34 35; CHECK: expected a 32-bit integer constant operand for !kcfi_type36define void @f4() !kcfi_type !4 {37 unreachable38}39!4 = !{i64 10}40