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 | \ | 2 ; RUN: not pnacl-abicheck -pnaclabi-allow-debug-metadata < %s | \ |
3 ; RUN: FileCheck %s --check-prefix=DBG | 3 ; RUN: FileCheck %s --check-prefix=DBG |
4 | 4 |
5 ; DBG-NOT: disallowed | 5 ; DBG-NOT: disallowed |
6 | 6 |
7 | 7 |
8 declare void @llvm.dbg.declare(metadata, metadata) | 8 declare void @llvm.dbg.declare(metadata, metadata) |
9 declare void @llvm.dbg.value(metadata, i64, metadata) | 9 declare void @llvm.dbg.value(metadata, i64, metadata) |
10 | 10 |
11 ; CHECK: Function llvm.dbg.declare is a disallowed LLVM intrinsic | 11 ; CHECK: Function llvm.dbg.declare is a disallowed LLVM intrinsic |
12 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic | 12 ; CHECK: Function llvm.dbg.value is a disallowed LLVM intrinsic |
(...skipping 12 matching lines...) Expand all Loading... |
25 tail call void @llvm.dbg.value(metadata !{i8* %ptr}, i64 2, metadata !{}) | 25 tail call void @llvm.dbg.value(metadata !{i8* %ptr}, i64 2, metadata !{}) |
26 tail call void @llvm.dbg.value(metadata !{i32 %val}, i64 1, metadata !{}) | 26 tail call void @llvm.dbg.value(metadata !{i32 %val}, i64 1, metadata !{}) |
27 ret void | 27 ret void |
28 } | 28 } |
29 | 29 |
30 ; FileCheck gives an error if its input file is empty, so ensure that | 30 ; FileCheck gives an error if its input file is empty, so ensure that |
31 ; the output of pnacl-abicheck is non-empty by generating at least one | 31 ; the output of pnacl-abicheck is non-empty by generating at least one |
32 ; error. | 32 ; error. |
33 declare void @bad_func(ppc_fp128 %bad_arg) | 33 declare void @bad_func(ppc_fp128 %bad_arg) |
34 ; DBG: Function bad_func has disallowed type: void (ppc_fp128) | 34 ; DBG: Function bad_func has disallowed type: void (ppc_fp128) |
OLD | NEW |