Home | History | Annotate | Download | only in parse_errs
      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