1; Tests that we check the call address is a pointer on an indirect call.
2
3; REQUIRES: no_minimal_build
4
5; RUN: not %pnacl_sz -bitcode-as-text -allow-externally-defined-symbols \
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:   }
22