1; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
2
3; Check that module flags are structurally correct.
4;
5; CHECK: incorrect number of operands in module flag
6; CHECK: !0
7!0 = !{i32 1}
8; CHECK: invalid behavior operand in module flag (expected constant integer)
9; CHECK: !"foo"
10!1 = !{!"foo", !"foo", i32 42}
11; CHECK: invalid behavior operand in module flag (unexpected constant)
12; CHECK: i32 999
13!2 = !{i32 999, !"foo", i32 43}
14; CHECK: invalid ID operand in module flag (expected metadata string)
15; CHECK: i32 1
16!3 = !{i32 1, i32 1, i32 44}
17; CHECK: invalid value for 'require' module flag (expected metadata pair)
18; CHECK: i32 45
19!4 = !{i32 3, !"bla", i32 45}
20; CHECK: invalid value for 'require' module flag (expected metadata pair)
21; CHECK: !
22!5 = !{i32 3, !"bla", !{i32 46}}
23; CHECK: invalid value for 'require' module flag (first value operand should be a string)
24; CHECK: i32 47
25!6 = !{i32 3, !"bla", !{i32 47, i32 48}}
26
27; Check that module flags only have unique IDs.
28;
29; CHECK: module flag identifiers must be unique (or of 'require' type)
30!7 = !{i32 1, !"foo", i32 49}
31!8 = !{i32 2, !"foo", i32 50}
32; CHECK-NOT: module flag identifiers must be unique
33!9 = !{i32 2, !"bar", i32 51}
34!10 = !{i32 3, !"bar", !{!"bar", i32 51}}
35
36; Check that any 'append'-type module flags are valid.
37; CHECK: invalid value for 'append'-type module flag (expected a metadata node)
38!16 = !{i32 5, !"flag-2", i32 56}
39; CHECK: invalid value for 'append'-type module flag (expected a metadata node)
40!17 = !{i32 5, !"flag-3", i32 57}
41; CHECK-NOT: invalid value for 'append'-type module flag (expected a metadata node)
42!18 = !{i32 5, !"flag-4", !{i32 57}}
43
44; Check that any 'require' module flags are valid.
45; CHECK: invalid requirement on flag, flag is not present in module
46!11 = !{i32 3, !"bar", !{!"no-such-flag", i32 52}}
47; CHECK: invalid requirement on flag, flag does not have the required value
48!12 = !{i32 1, !"flag-0", i32 53}
49!13 = !{i32 3, !"bar", !{!"flag-0", i32 54}}
50; CHECK-NOT: invalid requirement on flag, flag is not present in module
51; CHECK-NOT: invalid requirement on flag, flag does not have the required value
52!14 = !{i32 1, !"flag-1", i32 55}
53!15 = !{i32 3, !"bar", !{!"flag-1", i32 55}}
54
55!llvm.module.flags = !{
56  !0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15,
57  !16, !17, !18 }
58