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