| Karl Schimpf | 958ff34 | 2015-09-22 14:09:06 -0700 | [diff] [blame] | 1 | ; Tests that we correctly check parameter types for intrinsics. |
| 2 | |
| 3 | ; REQUIRES: no_minimal_build |
| 4 | |
| 5 | ; RUN: not %pnacl_sz -bitcode-as-text \ |
| 6 | ; RUN: %p/Inputs/bad-intrinsic-arg.tbc \ |
| Karl Schimpf | 57d31ac | 2015-10-07 09:53:12 -0700 | [diff] [blame] | 7 | ; RUN: -bitcode-format=pnacl -notranslate -build-on-read \ |
| 8 | ; RUN: -allow-externally-defined-symbols 2>&1 \ |
| Karl Schimpf | 958ff34 | 2015-09-22 14:09:06 -0700 | [diff] [blame] | 9 | ; RUN: | FileCheck %s |
| 10 | |
| Karl Schimpf | bba7768 | 2016-01-15 07:33:15 -0800 | [diff] [blame] | 11 | ; CHECK: Invalid type signature for intrinsic llvm.nacl.setjmp: i32 (double) |
| Karl Schimpf | 958ff34 | 2015-09-22 14:09:06 -0700 | [diff] [blame] | 12 | |
| 13 | ; RUN: pnacl-bcfuzz -bitcode-as-text \ |
| 14 | ; RUN: %p/Inputs/bad-intrinsic-arg.tbc -output - \ |
| 15 | ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s |
| 16 | |
| 17 | ; ASM: module { // BlockID = 8 |
| 18 | ; ASM: declare external i32 @f0(double); |
| 19 | ; ASM: valuesymtab { // BlockID = 14 |
| 20 | ; ASM: @f0 : "llvm.nacl.setjmp"; |
| 21 | ; ASM: Error(118:0): Intrinsic llvm.nacl.setjmp expects i8* for argument 1. Found: double |
| 22 | ; ASM: } |
| 23 | ; ASM: function void @f3(i32 %p0, double %p1) { // BlockID = 12 |
| 24 | ; ASM: blocks 1; |
| 25 | ; ASM: %b0: |
| 26 | ; ASM: %v0 = call i32 @f0(double %p1); |
| 27 | ; ASM: ret void; |
| 28 | ; ASM: } |
| 29 | ; ASM: } |
