test/Bitcode/invalid.test

   1 RUN: not llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \
   2 RUN:   FileCheck --check-prefix=INVALID-ENCODING %s
   3 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \
   4 RUN:   FileCheck --check-prefix=BAD-ABBREV %s
   5 RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \
   6 RUN:   FileCheck --check-prefix=UNEXPECTED-EOF %s
   7 RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \
   8 RUN:   FileCheck --check-prefix=BAD-ABBREV-NUMBER %s
   9 RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \
  10 RUN:   FileCheck --check-prefix=BAD-TYPE-TABLE-FORWARD-REF %s
  11 RUN: not llvm-dis -disable-output %p/Inputs/invalid-bitwidth.bc 2>&1 | \
  12 RUN:   FileCheck --check-prefix=BAD-BITWIDTH %s
  13 RUN: not llvm-dis -disable-output %p/Inputs/invalid-align.bc  2>&1 | \
  14 RUN:   FileCheck --check-prefix=BAD-ALIGN %s
  15 RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-mismatched-explicit-type.bc 2>&1 | \
  16 RUN:   FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP %s
  17 RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-mismatched-explicit-type.bc 2>&1 | \
  18 RUN:   FileCheck --check-prefix=MISMATCHED-EXPLICIT-LOAD %s
  19 RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-operator-mismatched-explicit-type.bc 2>&1 | \
  20 RUN:   FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP-OPERATOR %s
  21 RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-mismatched-explicit-type.bc 2>&1 | \
  22 RUN:   FileCheck --check-prefix=MISMATCHED-EXPLICIT-CALL %s
  23 RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-non-function-explicit-type.bc 2>&1 | \
  24 RUN:   FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-CALL %s
  25
  26 INVALID-ENCODING: Invalid encoding
  27 BAD-ABBREV: Abbreviation starts with an Array or a Blob
  28 UNEXPECTED-EOF: Unexpected end of file
  29 BAD-ABBREV-NUMBER: Invalid abbrev number
  30 BAD-TYPE-TABLE-FORWARD-REF: Invalid TYPE table: Only named structs can be forward referenced
  31 BAD-BITWIDTH: Bitwidth for integer type out of range
  32 BAD-ALIGN: Invalid alignment value
  33 MISMATCHED-EXPLICIT-GEP: Explicit gep type does not match pointee type of pointer operand
  34 MISMATCHED-EXPLICIT-LOAD: Explicit load type does not match pointee type of pointer operand
  35 MISMATCHED-EXPLICIT-GEP-OPERATOR: Explicit gep operator type does not match pointee type of pointer operand
  36 MISMATCHED-EXPLICIT-CALL: Explicit call type does not match pointee type of callee operand
  37 NON-FUNCTION-EXPLICIT-CALL: Explicit call type is not a function type
  38
  39 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \
  40 RUN:   FileCheck --check-prefix=EXTRACT-ARRAY %s
  41 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-struct-idx.bc 2>&1 | \
  42 RUN:   FileCheck --check-prefix=EXTRACT-STRUCT %s
  43 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-too-many-idxs.bc 2>&1 | \
  44 RUN:   FileCheck --check-prefix=EXTRACT-IDXS %s
  45 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-array-idx.bc 2>&1 | \
  46 RUN:   FileCheck --check-prefix=INSERT-ARRAY %s
  47 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-struct-idx.bc 2>&1 | \
  48 RUN:   FileCheck --check-prefix=INSERT-STRUCT %s
  49 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-too-many-idxs.bc 2>&1 | \
  50 RUN:   FileCheck --check-prefix=INSERT-IDXS %s
  51
  52
  53 EXTRACT-ARRAY: EXTRACTVAL: Invalid array index
  54 EXTRACT-STRUCT: EXTRACTVAL: Invalid struct index
  55 EXTRACT-IDXS: EXTRACTVAL: Invalid type
  56 INSERT-ARRAY: INSERTVAL: Invalid array index
  57 INSERT-STRUCT: INSERTVAL: Invalid struct index
  58 INSERT-IDXS: INSERTVAL: Invalid type
  59
  60 RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-proper-module.bc 2>&1 | \
  61 RUN:   FileCheck --check-prefix=NO-MODULE %s
  62
  63 NO-MODULE: Malformed IR file