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
