OLD | NEW |
1 ; RUN: not pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | FileCheck %s --c
heck-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 = !{ half 0.0} |
15 | 15 |
16 ; A debuginfo version must always be specified. | 16 ; A debuginfo version must always be specified. |
17 ; DEBUG-NOT: ignoring debug info with an invalid version | 17 ; DEBUG-NOT: ignoring debug info with an invalid version |
18 ; CHECK-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 | 19 ; DEBUG-NOT: Named metadata node llvm.module.flags is disallowed |
20 ; CHECK: Named metadata node llvm.module.flags is disallowed | 20 ; CHECK: Named metadata node llvm.module.flags is disallowed |
21 !llvm.module.flags = !{!1} | 21 !llvm.module.flags = !{!1} |
22 !1 = metadata !{i32 1, metadata !"Debug Info Version", i32 2} | 22 !1 = !{i32 1, !"Debug Info Version", i32 3} |
23 | 23 |
24 ; CHECK: Named metadata node madeup is disallowed | 24 ; CHECK: Named metadata node madeup is disallowed |
25 ; DEBUG: Named metadata node madeup is disallowed | 25 ; DEBUG: Named metadata node madeup is disallowed |
26 !madeup = !{!2} | 26 !madeup = !{!2} |
27 !2 = metadata !{ half 1.0} | 27 !2 = !{ half 1.0} |
OLD | NEW |