Add testing for mismatched explicit type on a load instruction when loading from...
[oota-llvm.git] / 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
20 INVALID-ENCODING: Invalid encoding
21 BAD-ABBREV: Abbreviation starts with an Array or a Blob
22 UNEXPECTED-EOF: Unexpected end of file
23 BAD-ABBREV-NUMBER: Invalid abbrev number
24 BAD-TYPE-TABLE-FORWARD-REF: Invalid TYPE table: Only named structs can be forward referenced
25 BAD-BITWIDTH: Bitwidth for integer type out of range
26 BAD-ALIGN: Invalid alignment value
27 MISMATCHED-EXPLICIT-GEP: Explicit gep type does not match pointee type of pointer operand
28 MISMATCHED-EXPLICIT-LOAD: Explicit load type does not match pointee type of pointer operand
29
30 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \
31 RUN:   FileCheck --check-prefix=EXTRACT-ARRAY %s
32 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-struct-idx.bc 2>&1 | \
33 RUN:   FileCheck --check-prefix=EXTRACT-STRUCT %s
34 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-too-many-idxs.bc 2>&1 | \
35 RUN:   FileCheck --check-prefix=EXTRACT-IDXS %s
36 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-array-idx.bc 2>&1 | \
37 RUN:   FileCheck --check-prefix=INSERT-ARRAY %s
38 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-struct-idx.bc 2>&1 | \
39 RUN:   FileCheck --check-prefix=INSERT-STRUCT %s
40 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-too-many-idxs.bc 2>&1 | \
41 RUN:   FileCheck --check-prefix=INSERT-IDXS %s
42
43
44 EXTRACT-ARRAY: EXTRACTVAL: Invalid array index
45 EXTRACT-STRUCT: EXTRACTVAL: Invalid struct index
46 EXTRACT-IDXS: EXTRACTVAL: Invalid type
47 INSERT-ARRAY: INSERTVAL: Invalid array index
48 INSERT-STRUCT: INSERTVAL: Invalid struct index
49 INSERT-IDXS: INSERTVAL: Invalid type