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: metadata !0 7!0 = metadata !{ i32 1 } 8; CHECK: invalid behavior operand in module flag (expected constant integer) 9; CHECK: metadata !"foo" 10!1 = metadata !{ metadata !"foo", metadata !"foo", i32 42 } 11; CHECK: invalid behavior operand in module flag (unexpected constant) 12; CHECK: i32 999 13!2 = metadata !{ i32 999, metadata !"foo", i32 43 } 14; CHECK: invalid ID operand in module flag (expected metadata string) 15; CHECK: i32 1 16!3 = metadata !{ i32 1, i32 1, i32 44 } 17; CHECK: invalid value for 'require' module flag (expected metadata pair) 18; CHECK: i32 45 19!4 = metadata !{ i32 3, metadata !"bla", i32 45 } 20; CHECK: invalid value for 'require' module flag (expected metadata pair) 21; CHECK: metadata ! 22!5 = metadata !{ i32 3, metadata !"bla", metadata !{ i32 46 } } 23; CHECK: invalid value for 'require' module flag (first value operand should be a string) 24; CHECK: i32 47 25!6 = metadata !{ i32 3, metadata !"bla", metadata !{ 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 = metadata !{ i32 1, metadata !"foo", i32 49 } 31!8 = metadata !{ i32 2, metadata !"foo", i32 50 } 32; CHECK-NOT: module flag identifiers must be unique 33!9 = metadata !{ i32 2, metadata !"bar", i32 51 } 34!10 = metadata !{ i32 3, metadata !"bar", metadata !{ metadata !"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 = metadata !{ i32 5, metadata !"flag-2", i32 56 } 39; CHECK: invalid value for 'append'-type module flag (expected a metadata node) 40!17 = metadata !{ i32 5, metadata !"flag-3", i32 57 } 41; CHECK-NOT: invalid value for 'append'-type module flag (expected a metadata node) 42!18 = metadata !{ i32 5, metadata !"flag-4", metadata !{ 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 = metadata !{ i32 3, metadata !"bar", 47 metadata !{ metadata !"no-such-flag", i32 52 } } 48; CHECK: invalid requirement on flag, flag does not have the required value 49!12 = metadata !{ i32 1, metadata !"flag-0", i32 53 } 50!13 = metadata !{ i32 3, metadata !"bar", 51 metadata !{ metadata !"flag-0", i32 54 } } 52; CHECK-NOT: invalid requirement on flag, flag is not present in module 53; CHECK-NOT: invalid requirement on flag, flag does not have the required value 54!14 = metadata !{ i32 1, metadata !"flag-1", i32 55 } 55!15 = metadata !{ i32 3, metadata !"bar", 56 metadata !{ metadata !"flag-1", i32 55 } } 57 58!llvm.module.flags = !{ 59 !0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15, 60 !16, !17, !18 } 61