Mercurial > hg > CbC > CbC_llvm
diff test/Verifier/module-flags-1.ll @ 83:60c9769439b8 LLVM3.7
LLVM 3.7
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 18 Feb 2015 14:55:36 +0900 |
parents | 95c75e76d11b |
children | 803732b1fca8 |
line wrap: on
line diff
--- a/test/Verifier/module-flags-1.ll Mon Sep 08 22:07:30 2014 +0900 +++ b/test/Verifier/module-flags-1.ll Wed Feb 18 14:55:36 2015 +0900 @@ -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,