llvm/test/Verifier/metadata-function-kcfi-type.ll

   1 ; RUN: not llvm-as %s -disable-output 2>&1 | FileCheck %s
   2
   3 define void @a() {
   4   unreachable
   5 }
   6
   7 define void @b() !kcfi_type !0 {
   8   unreachable
   9 }
  10
  11 ; CHECK: function must have a single !kcfi_type attachment
  12 define void @f0() !kcfi_type !0 !kcfi_type !0 {
  13   unreachable
  14 }
  15 !0 = !{i32 10}
  16
  17 ; CHECK: !kcfi_type must have exactly one operand
  18 define void @f1() !kcfi_type !1 {
  19   unreachable
  20 }
  21 !1 = !{!"string", i32 0}
  22
  23 ; CHECK: expected a constant operand for !kcfi_type
  24 define void @f2() !kcfi_type !2 {
  25   unreachable
  26 }
  27 !2 = !{!"string"}
  28
  29 ; CHECK: expected a constant integer operand for !kcfi_type
  30 define void @f3() !kcfi_type !3 {
  31   unreachable
  32 }
  33 !3 = !{ptr @f3}
  34
  35 ; CHECK: expected a 32-bit integer constant operand for !kcfi_type
  36 define void @f4() !kcfi_type !4 {
  37   unreachable
  38 }
  39 !4 = !{i64 10}