OLD | NEW |
1 ; Tests that we check the call address is a pointer on an indirect call. | 1 ; Tests that we check the call address is a pointer on an indirect call. |
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 -allow-externally-defined-symbols \ |
6 ; RUN: %p/Inputs/indirect-call-on-float.tbc \ | 6 ; RUN: %p/Inputs/indirect-call-on-float.tbc \ |
7 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \ | 7 ; RUN: -bitcode-format=pnacl -notranslate -build-on-read 2>&1 \ |
8 ; RUN: | FileCheck %s | 8 ; RUN: | FileCheck %s |
9 | 9 |
10 ; CHECK: Call indirect address not i32. Found: float | 10 ; CHECK: Call indirect address not i32. Found: float |
11 | 11 |
12 ; RUN: pnacl-bcfuzz -bitcode-as-text \ | 12 ; RUN: pnacl-bcfuzz -bitcode-as-text \ |
13 ; RUN: %p/Inputs/indirect-call-on-float.tbc -output - \ | 13 ; RUN: %p/Inputs/indirect-call-on-float.tbc -output - \ |
14 ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s | 14 ; RUN: | not pnacl-bcdis -no-records | FileCheck -check-prefix=ASM %s |
15 | 15 |
16 ; ASM: function void @f1(i32 %p0, float %p1) { // BlockID = 12 | 16 ; ASM: function void @f1(i32 %p0, float %p1) { // BlockID = 12 |
17 ; ASM: blocks 1; | 17 ; ASM: blocks 1; |
18 ; ASM: %b0: | 18 ; ASM: %b0: |
19 ; ASM: call void %p1(); | 19 ; ASM: call void %p1(); |
20 ; ASM: ret void; | 20 ; ASM: ret void; |
21 ; ASM: } | 21 ; ASM: } |
OLD | NEW |