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 |