OLD | NEW |
(Empty) | |
| 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | FileCheck %s --c
heck-prefix=DEBUG |
| 3 |
| 4 |
| 5 ; Metadata is not part of the PNaCl's stable ABI, so normally the ABI |
| 6 ; checker rejects metadata entirely. However, for debugging support, |
| 7 ; pre-finalized pexes may contain metadata. When checking a |
| 8 ; pre-finalized pexe, the ABI checker does not check the types in the |
| 9 ; metadata. |
| 10 |
| 11 ; DEBUG-NOT: Named metadata node llvm.dbg.cu is disallowed |
| 12 ; CHECK: Named metadata node llvm.dbg.cu is disallowed |
| 13 !llvm.dbg.cu = !{!0} |
| 14 !0 = metadata !{ half 0.0} |
| 15 |
| 16 ; A debuginfo version must always be specified. |
| 17 ; DEBUG-NOT: ignoring debug info with an invalid version |
| 18 ; CHECK-NOT: ignoring debug info with an invalid version |
| 19 ; DEBUG-NOT: Named metadata node llvm.module.flags is disallowed |
| 20 ; CHECK: Named metadata node llvm.module.flags is disallowed |
| 21 !llvm.module.flags = !{!1} |
| 22 !1 = metadata !{i32 1, metadata !"Debug Info Version", i32 2} |
| 23 |
| 24 ; CHECK: Named metadata node madeup is disallowed |
| 25 ; DEBUG: Named metadata node madeup is disallowed |
| 26 !madeup = !{!2} |
| 27 !2 = metadata !{ half 1.0} |
OLD | NEW |