diff options
Diffstat (limited to 'test/Verifier/module-flags-1.ll')
| -rw-r--r-- | test/Verifier/module-flags-1.ll | 47 |
1 files changed, 22 insertions, 25 deletions
diff --git a/test/Verifier/module-flags-1.ll b/test/Verifier/module-flags-1.ll index e5feaf3..36bcb33 100644 --- a/test/Verifier/module-flags-1.ll +++ b/test/Verifier/module-flags-1.ll @@ -3,57 +3,54 @@ ; Check that module flags are structurally correct. ; ; CHECK: incorrect number of operands in module flag -; CHECK: metadata !0 -!0 = metadata !{ i32 1 } +; CHECK: !0 +!0 = !{i32 1} ; CHECK: invalid behavior operand in module flag (expected constant integer) -; CHECK: metadata !"foo" -!1 = metadata !{ metadata !"foo", metadata !"foo", i32 42 } +; CHECK: !"foo" +!1 = !{!"foo", !"foo", i32 42} ; CHECK: invalid behavior operand in module flag (unexpected constant) ; CHECK: i32 999 -!2 = metadata !{ i32 999, metadata !"foo", i32 43 } +!2 = !{i32 999, !"foo", i32 43} ; CHECK: invalid ID operand in module flag (expected metadata string) ; CHECK: i32 1 -!3 = metadata !{ i32 1, i32 1, i32 44 } +!3 = !{i32 1, i32 1, i32 44} ; CHECK: invalid value for 'require' module flag (expected metadata pair) ; CHECK: i32 45 -!4 = metadata !{ i32 3, metadata !"bla", i32 45 } +!4 = !{i32 3, !"bla", i32 45} ; CHECK: invalid value for 'require' module flag (expected metadata pair) -; CHECK: metadata ! -!5 = metadata !{ i32 3, metadata !"bla", metadata !{ i32 46 } } +; CHECK: ! +!5 = !{i32 3, !"bla", !{i32 46}} ; CHECK: invalid value for 'require' module flag (first value operand should be a string) ; CHECK: i32 47 -!6 = metadata !{ i32 3, metadata !"bla", metadata !{ i32 47, i32 48 } } +!6 = !{i32 3, !"bla", !{i32 47, i32 48}} ; Check that module flags only have unique IDs. ; ; CHECK: module flag identifiers must be unique (or of 'require' type) -!7 = metadata !{ i32 1, metadata !"foo", i32 49 } -!8 = metadata !{ i32 2, metadata !"foo", i32 50 } +!7 = !{i32 1, !"foo", i32 49} +!8 = !{i32 2, !"foo", i32 50} ; CHECK-NOT: module flag identifiers must be unique -!9 = metadata !{ i32 2, metadata !"bar", i32 51 } -!10 = metadata !{ i32 3, metadata !"bar", metadata !{ metadata !"bar", i32 51 } } +!9 = !{i32 2, !"bar", i32 51} +!10 = !{i32 3, !"bar", !{!"bar", i32 51}} ; Check that any 'append'-type module flags are valid. ; CHECK: invalid value for 'append'-type module flag (expected a metadata node) -!16 = metadata !{ i32 5, metadata !"flag-2", i32 56 } +!16 = !{i32 5, !"flag-2", i32 56} ; CHECK: invalid value for 'append'-type module flag (expected a metadata node) -!17 = metadata !{ i32 5, metadata !"flag-3", i32 57 } +!17 = !{i32 5, !"flag-3", i32 57} ; CHECK-NOT: invalid value for 'append'-type module flag (expected a metadata node) -!18 = metadata !{ i32 5, metadata !"flag-4", metadata !{ i32 57 } } +!18 = !{i32 5, !"flag-4", !{i32 57}} ; Check that any 'require' module flags are valid. ; CHECK: invalid requirement on flag, flag is not present in module -!11 = metadata !{ i32 3, metadata !"bar", - metadata !{ metadata !"no-such-flag", i32 52 } } +!11 = !{i32 3, !"bar", !{!"no-such-flag", i32 52}} ; CHECK: invalid requirement on flag, flag does not have the required value -!12 = metadata !{ i32 1, metadata !"flag-0", i32 53 } -!13 = metadata !{ i32 3, metadata !"bar", - metadata !{ metadata !"flag-0", i32 54 } } +!12 = !{i32 1, !"flag-0", i32 53} +!13 = !{i32 3, !"bar", !{!"flag-0", i32 54}} ; CHECK-NOT: invalid requirement on flag, flag is not present in module ; CHECK-NOT: invalid requirement on flag, flag does not have the required value -!14 = metadata !{ i32 1, metadata !"flag-1", i32 55 } -!15 = metadata !{ i32 3, metadata !"bar", - metadata !{ metadata !"flag-1", i32 55 } } +!14 = !{i32 1, !"flag-1", i32 55} +!15 = !{i32 3, !"bar", !{!"flag-1", i32 55}} !llvm.module.flags = !{ !0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15, |