| 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 |