diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2013-01-16 21:38:56 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2013-01-16 21:38:56 +0000 |
| commit | d77d9fb04d8973b9493cb7c30d2e4b6c8f8292ed (patch) | |
| tree | ce2a61295fcc044c6094cfa16a33142c275f3e9e /llvm/test/Verifier/module-flags-1.ll | |
| parent | f104c4c4ca8f561078497f36127cdf0fdc54cb88 (diff) | |
| download | bcm5719-llvm-d77d9fb04d8973b9493cb7c30d2e4b6c8f8292ed.tar.gz bcm5719-llvm-d77d9fb04d8973b9493cb7c30d2e4b6c8f8292ed.zip | |
[IR] Add 'Append' and 'AppendUnique' module flag behaviors.
llvm-svn: 172659
Diffstat (limited to 'llvm/test/Verifier/module-flags-1.ll')
| -rw-r--r-- | llvm/test/Verifier/module-flags-1.ll | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/llvm/test/Verifier/module-flags-1.ll b/llvm/test/Verifier/module-flags-1.ll index 94e98171153..e5feaf3a580 100644 --- a/llvm/test/Verifier/module-flags-1.ll +++ b/llvm/test/Verifier/module-flags-1.ll @@ -33,6 +33,14 @@ !9 = metadata !{ i32 2, metadata !"bar", i32 51 } !10 = metadata !{ i32 3, metadata !"bar", metadata !{ metadata !"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 } +; CHECK: invalid value for 'append'-type module flag (expected a metadata node) +!17 = metadata !{ i32 5, metadata !"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 } } + ; 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", @@ -48,4 +56,5 @@ metadata !{ metadata !"flag-1", i32 55 } } !llvm.module.flags = !{ - !0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15 } + !0, !1, !2, !3, !4, !5, !6, !7, !8, !9, !10, !11, !12, !13, !14, !15, + !16, !17, !18 } |
