X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FVerifier%2Fmodule-flags-1.ll;h=36bcb335ffc21bdcfe044e58d28d5a5762fca904;hb=836d2ad83c5e955a23f6e3b78418cb250c95c88b;hp=f9163328e3409c725f5aa19f235bd028ca67f820;hpb=8f616165e4442bbeaed7c0dce034b92ef3860581;p=oota-llvm.git diff --git a/test/Verifier/module-flags-1.ll b/test/Verifier/module-flags-1.ll index f9163328e34..36bcb335ffc 100644 --- a/test/Verifier/module-flags-1.ll +++ b/test/Verifier/module-flags-1.ll @@ -3,54 +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,