| Karl Schimpf | fc0a52d | 2015-09-28 11:22:55 -0700 | [diff] [blame] | 1 | ; Tests that we check the call address is a pointer on an indirect call. |
| 2 | |
| 3 | ; REQUIRES: no_minimal_build |
| 4 | |
| Karl Schimpf | 57d31ac | 2015-10-07 09:53:12 -0700 | [diff] [blame] | 5 | ; RUN: not %pnacl_sz -bitcode-as-text -allow-externally-defined-symbols \ |
| Karl Schimpf | fc0a52d | 2015-09-28 11:22:55 -0700 | [diff] [blame] | 6 | ; RUN: %p/Inputs/indirect-call-on-float.tbc \ |
| 7 | ; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \ |
| 8 | ; RUN: | FileCheck %s |
| 9 | |
| 10 | ; CHECK: Call indirect address not i32. Found: float |
| 11 | |
| 12 | ; RUN: pnacl-bcfuzz -bitcode-as-text \ |
| 13 | ; RUN: %p/Inputs/indirect-call-on-float.tbc -output - \ |
| 14 | ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s |
| 15 | |
| 16 | ; ASM: function void @f1(i32 %p0, float %p1) { // BlockID = 12 |
| 17 | ; ASM: blocks 1; |
| 18 | ; ASM: %b0: |
| 19 | ; ASM: call void %p1(); |
| 20 | ; ASM: ret void; |
| 21 | ; ASM: } |
