test/Verifier/module-flags-cgprofile.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @b()
   4 declare void @a()
   5
   6 !llvm.module.flags = !{!0}
   7
   8 !0 = !{i32 5, !"CG Profile", !1}
   9 !1 = !{!2, !"", !3, !4, !5, !6, !7, !8}
  10 !2 = !{void ()* @a, void ()* @b, i64 32}
  11 !3 = !{void ()* @a, void ()* @b}
  12 !4 = !{void ()* @a, void ()* @b, i64 32, i64 32}
  13 !5 = !{!"a", void ()* @b, i64 32}
  14 !6 = !{void ()* @a, !"b", i64 32}
  15 !7 = !{void ()* @a, void ()* @b, !""}
  16 !8 = !{void ()* @a, void ()* @b, null}
  17
  18 ; CHECK: expected a MDNode triple
  19 ; CHECK: !""
  20 ; CHECK: expected a MDNode triple
  21 ; CHECK: !3 = !{void ()* @a, void ()* @b}
  22 ; CHECK: expected a MDNode triple
  23 ; CHECK: !4 = !{void ()* @a, void ()* @b, i64 32, i64 32}
  24 ; CHECK: expected a Function or null
  25 ; CHECK: !"a"
  26 ; CHECK: expected a Function or null
  27 ; CHECK: !"b"
  28 ; CHECK: expected an integer constant
  29 ; CHECK: !""
  30 ; CHECK: expected an integer constant