| OLD | NEW |
| 1 ; RUN: pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
| 2 ; RUN: pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | FileCheck %s --check
-prefix=DEBUG | 2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | FileCheck %s --c
heck-prefix=DEBUG |
| 3 | 3 |
| 4 | 4 |
| 5 ; Metadata is not part of the PNaCl's stable ABI, so normally the ABI | 5 ; Metadata is not part of the PNaCl's stable ABI, so normally the ABI |
| 6 ; checker rejects metadata entirely. However, for debugging support, | 6 ; checker rejects metadata entirely. However, for debugging support, |
| 7 ; pre-finalized pexes may contain metadata. When checking a | 7 ; pre-finalized pexes may contain metadata. When checking a |
| 8 ; pre-finalized pexe, the ABI checker does not check the types in the | 8 ; pre-finalized pexe, the ABI checker does not check the types in the |
| 9 ; metadata. | 9 ; metadata. |
| 10 | 10 |
| 11 ; DEBUG-NOT: Named metadata node llvm.dbg.cu is disallowed | 11 ; DEBUG-NOT: Named metadata node llvm.dbg.cu is disallowed |
| 12 ; CHECK: Named metadata node llvm.dbg.cu is disallowed | 12 ; CHECK: Named metadata node llvm.dbg.cu is disallowed |
| 13 !llvm.dbg.cu = !{!0} | 13 !llvm.dbg.cu = !{!0} |
| 14 !0 = metadata !{ half 0.0} | 14 !0 = metadata !{ half 0.0} |
| 15 | 15 |
| 16 ; CHECK: Named metadata node madeup is disallowed | 16 ; CHECK: Named metadata node madeup is disallowed |
| 17 ; DEBUG: Named metadata node madeup is disallowed | 17 ; DEBUG: Named metadata node madeup is disallowed |
| 18 !madeup = !{!1} | 18 !madeup = !{!1} |
| 19 !1 = metadata !{ half 1.0} | 19 !1 = metadata !{ half 1.0} |
| OLD | NEW |