Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / da86b6d409edd7af98a42dad65f33e5e49e43115 / . / llvm / test / Bitcode / invalid.test
blob: 0aab553bb61557d69b9ce0c549006f105c84fe3f [file] [log] [blame]
Filipe Cabecinhasde968ec2015-01-24 04:15:05 +0000[diff] [blame]1RUN: not llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \
2RUN: FileCheck --check-prefix=INVALID-ENCODING %s
3RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \
4RUN: FileCheck --check-prefix=BAD-ABBREV %s
5RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \
6RUN: FileCheck --check-prefix=UNEXPECTED-EOF %s
7RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \
8RUN: FileCheck --check-prefix=BAD-ABBREV-NUMBER %s
Filipe Cabecinhasfcd044b2015-01-30 18:13:50 +0000[diff] [blame]9RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \
10RUN: FileCheck --check-prefix=BAD-TYPE-TABLE-FORWARD-REF %s
11RUN: not llvm-dis -disable-output %p/Inputs/invalid-bitwidth.bc 2>&1 | \
12RUN: FileCheck --check-prefix=BAD-BITWIDTH %s
JF Bastien30bf96b2015-02-22 19:32:03 +0000[diff] [blame]13RUN: not llvm-dis -disable-output %p/Inputs/invalid-align.bc 2>&1 | \
14RUN: FileCheck --check-prefix=BAD-ALIGN %s
David Blaikie675e8cb2015-03-16 21:35:48 +0000[diff] [blame]15RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-mismatched-explicit-type.bc 2>&1 | \
16RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP %s
David Blaikiec695cc72015-03-16 21:48:46 +0000[diff] [blame]17RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-mismatched-explicit-type.bc 2>&1 | \
18RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-LOAD %s
David Blaikie12cf5d702015-03-16 22:03:50 +0000[diff] [blame]19RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-operator-mismatched-explicit-type.bc 2>&1 | \
20RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-GEP-OPERATOR %s
David Blaikiedbe6e0f2015-04-17 06:40:14 +0000[diff] [blame]21RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-mismatched-explicit-type.bc 2>&1 | \
22RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-CALL %s
23RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-non-function-explicit-type.bc 2>&1 | \
24RUN: FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-CALL %s
David Blaikie5ea1f7b2015-04-24 18:06:06 +0000[diff] [blame]25RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-mismatched-explicit-type.bc 2>&1 | \
26RUN: FileCheck --check-prefix=MISMATCHED-EXPLICIT-INVOKE %s
27RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-non-function-explicit-type.bc 2>&1 | \
28RUN: FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-INVOKE %s
Filipe Cabecinhasde968ec2015-01-24 04:15:05 +0000[diff] [blame]29
30INVALID-ENCODING: Invalid encoding
31BAD-ABBREV: Abbreviation starts with an Array or a Blob
32UNEXPECTED-EOF: Unexpected end of file
33BAD-ABBREV-NUMBER: Invalid abbrev number
Filipe Cabecinhasfcd044b2015-01-30 18:13:50 +0000[diff] [blame]34BAD-TYPE-TABLE-FORWARD-REF: Invalid TYPE table: Only named structs can be forward referenced
35BAD-BITWIDTH: Bitwidth for integer type out of range
JF Bastien30bf96b2015-02-22 19:32:03 +0000[diff] [blame]36BAD-ALIGN: Invalid alignment value
David Blaikie675e8cb2015-03-16 21:35:48 +0000[diff] [blame]37MISMATCHED-EXPLICIT-GEP: Explicit gep type does not match pointee type of pointer operand
Filipe Cabecinhas11bb8492015-05-18 21:48:55 +0000[diff] [blame]38MISMATCHED-EXPLICIT-LOAD: Explicit load/store type does not match pointee type of pointer operand
David Blaikie12cf5d702015-03-16 22:03:50 +0000[diff] [blame]39MISMATCHED-EXPLICIT-GEP-OPERATOR: Explicit gep operator type does not match pointee type of pointer operand
David Blaikiedbe6e0f2015-04-17 06:40:14 +0000[diff] [blame]40MISMATCHED-EXPLICIT-CALL: Explicit call type does not match pointee type of callee operand
41NON-FUNCTION-EXPLICIT-CALL: Explicit call type is not a function type
David Blaikie5ea1f7b2015-04-24 18:06:06 +0000[diff] [blame]42MISMATCHED-EXPLICIT-INVOKE: Explicit invoke type does not match pointee type of callee operand
43NON-FUNCTION-EXPLICIT-INVOKE: Explicit invoke type is not a function type
Filipe Cabecinhasecf8f7f2015-02-16 00:03:11 +0000[diff] [blame]44
45RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \
46RUN: FileCheck --check-prefix=EXTRACT-ARRAY %s
47RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-struct-idx.bc 2>&1 | \
48RUN: FileCheck --check-prefix=EXTRACT-STRUCT %s
49RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-too-many-idxs.bc 2>&1 | \
50RUN: FileCheck --check-prefix=EXTRACT-IDXS %s
51RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-array-idx.bc 2>&1 | \
52RUN: FileCheck --check-prefix=INSERT-ARRAY %s
53RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-struct-idx.bc 2>&1 | \
54RUN: FileCheck --check-prefix=INSERT-STRUCT %s
55RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-too-many-idxs.bc 2>&1 | \
56RUN: FileCheck --check-prefix=INSERT-IDXS %s
57
58
59EXTRACT-ARRAY: EXTRACTVAL: Invalid array index
60EXTRACT-STRUCT: EXTRACTVAL: Invalid struct index
61EXTRACT-IDXS: EXTRACTVAL: Invalid type
62INSERT-ARRAY: INSERTVAL: Invalid array index
63INSERT-STRUCT: INSERTVAL: Invalid struct index
64INSERT-IDXS: INSERTVAL: Invalid type
Filipe Cabecinhas22554272015-04-14 14:07:15 +0000[diff] [blame]65
66RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-proper-module.bc 2>&1 | \
67RUN: FileCheck --check-prefix=NO-MODULE %s
68
69NO-MODULE: Malformed IR file
Filipe Cabecinhasea79c5b2015-04-22 09:06:21 +0000[diff] [blame]70
71RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \
72RUN: FileCheck --check-prefix=FP-SHIFT %s
73
74FP-SHIFT: Invalid record
Filipe Cabecinhasee48fea2015-04-23 13:25:35 +0000[diff] [blame]75
76RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-vbr-size-too-big.bc 2>&1 | \
77RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s
78RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-fixed-size-too-big.bc 2>&1 | \
79RUN: FileCheck --check-prefix=HUGE-ABBREV-OP %s
80
81HUGE-ABBREV-OP: Fixed or VBR abbrev record with size > MaxChunkData
Filipe Cabecinhas6621cb72015-04-23 13:38:21 +0000[diff] [blame]82
83RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \
84RUN: FileCheck --check-prefix=ARRAY-TYPE %s
85
86ARRAY-TYPE: Array element type can't be an Array or a Blob
Filipe Cabecinhasff1e2342015-04-24 11:30:15 +0000[diff] [blame]87
88RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \
89RUN: FileCheck --check-prefix=INVALID-TYPE %s
90RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \
91RUN: FileCheck --check-prefix=INVALID-TYPE %s
92RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-shufflevector.bc 2>&1 | \
93RUN: FileCheck --check-prefix=INVALID-TYPE %s
94
95INVALID-TYPE: Invalid type for value
Filipe Cabecinhasb435d0f2015-04-28 20:18:47 +0000[diff] [blame]96
97RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch.bc 2>&1 | \
98RUN: FileCheck --check-prefix=FWDREF-TYPE %s
99
100FWDREF-TYPE: Invalid record
Filipe Cabecinhasf15fb032015-04-29 01:27:01 +0000[diff] [blame]101
Filipe Cabecinhas6a92a3f2015-05-27 01:05:40 +0000[diff] [blame]102RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch-2.bc 2>&1 | \
103RUN: FileCheck --check-prefix=FWDREF-TYPE-MISMATCH %s
104
105FWDREF-TYPE-MISMATCH: Type mismatch in constant table!
106
Filipe Cabecinhasf15fb032015-04-29 01:27:01 +0000[diff] [blame]107RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-element-type.bc 2>&1 | \
108RUN: FileCheck --check-prefix=ELEMENT-TYPE %s
109RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-element-type.bc 2>&1 | \
110RUN: FileCheck --check-prefix=ELEMENT-TYPE %s
Filipe Cabecinhasd8a1bcd2015-04-29 02:27:28 +0000[diff] [blame]111RUN: not llvm-dis -disable-output %p/Inputs/invalid-pointer-element-type.bc 2>&1 | \
112RUN: FileCheck --check-prefix=ELEMENT-TYPE %s
Filipe Cabecinhasf15fb032015-04-29 01:27:01 +0000[diff] [blame]113
114ELEMENT-TYPE: Invalid type
Filipe Cabecinhas1351cba2015-04-29 01:58:31 +0000[diff] [blame]115
116RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc 2>&1 | \
117RUN: FileCheck --check-prefix=ARRAY-NOT-2LAST %s
118
119ARRAY-NOT-2LAST: Array op not second to last
Filipe Cabecinhasbad07792015-04-30 00:52:42 +0000[diff] [blame]120
121RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \
122RUN: FileCheck --check-prefix=HUGE-FWDREF %s
123
124HUGE-FWDREF: Invalid record
Filipe Cabecinhas9a19e562015-04-30 01:13:31 +0000[diff] [blame]125
126RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-pointer-type.bc 2>&1 | \
127RUN: FileCheck --check-prefix=LOAD-BAD-TYPE %s
128
Filipe Cabecinhas11bb8492015-05-18 21:48:55 +0000[diff] [blame]129LOAD-BAD-TYPE: Load/Store operand is not a pointer type
Filipe Cabecinhasf8a16a92015-04-30 04:09:41 +0000[diff] [blame]130
131RUN: not llvm-dis -disable-output %p/Inputs/invalid-GCTable-overflow.bc 2>&1 | \
132RUN: FileCheck --check-prefix=GCTABLE-OFLOW %s
133
134GCTABLE-OFLOW: Invalid ID
Filipe Cabecinhas1c299d02015-05-16 00:33:12 +0000[diff] [blame]135
136RUN: not llvm-dis -disable-output %p/Inputs/invalid-insert-0-indices.bc 2>&1 | \
137RUN: FileCheck --check-prefix=INSERT-0-IDXS %s
138
139INSERT-0-IDXS: INSERTVAL: Invalid instruction with 0 indices
140
141RUN: not llvm-dis -disable-output %p/Inputs/invalid-extract-0-indices.bc 2>&1 | \
142RUN: FileCheck --check-prefix=EXTRACT-0-IDXS %s
143
144EXTRACT-0-IDXS: EXTRACTVAL: Invalid instruction with 0 indices
Filipe Cabecinhas11bb8492015-05-18 21:48:55 +0000[diff] [blame]145
146RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-ptr-type.bc 2>&1 | \
147RUN: FileCheck --check-prefix=BAD-LOAD-PTR-TYPE %s
148
149BAD-LOAD-PTR-TYPE: Cannot load/store from pointer
Filipe Cabecinhas4708a022015-05-18 22:27:11 +0000[diff] [blame]150
151RUN: not llvm-dis -disable-output %p/Inputs/invalid-inserted-value-type-mismatch.bc 2>&1 | \
152RUN: FileCheck --check-prefix=INSERT-TYPE-MISMATCH %s
153
154INSERT-TYPE-MISMATCH: Inserted value type doesn't match aggregate type
Filipe Cabecinhasf3fa99c2015-05-19 00:34:17 +0000[diff] [blame]155
156RUN: not llvm-dis -disable-output %p/Inputs/invalid-code-len-width.bc 2>&1 | \
157RUN: FileCheck --check-prefix=INVALID-CODELENWIDTH %s
158
159INVALID-CODELENWIDTH: Malformed block
Filipe Cabecinhas32af5422015-05-19 01:21:06 +0000[diff] [blame]160
161RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-argument-type.bc 2>&1 | \
162RUN: FileCheck --check-prefix=INVALID-ARGUMENT-TYPE %s
163
164INVALID-ARGUMENT-TYPE: Invalid function argument type
Filipe Cabecinhasfc93be22015-05-19 18:18:10 +0000[diff] [blame]165
166RUN: not llvm-dis -disable-output %p/Inputs/invalid-fixme-streaming-blob.bc 2>&1 | \
167RUN: FileCheck --check-prefix=STREAMING-BLOB %s
168
169STREAMING-BLOB: getPointer in streaming memory objects not allowed
Filipe Cabecinhas0eb8a592015-05-26 23:00:56 +0000[diff] [blame]170
171RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-comdat-id.bc 2>&1 | \
172RUN: FileCheck --check-prefix=INVALID-FCOMDAT-ID %s
173
174INVALID-FCOMDAT-ID: Invalid function comdat ID
175
176RUN: not llvm-dis -disable-output %p/Inputs/invalid-global-var-comdat-id.bc 2>&1 | \
177RUN: FileCheck --check-prefix=INVALID-GVCOMDAT-ID %s
178
179INVALID-GVCOMDAT-ID: Invalid global variable comdat ID
Filipe Cabecinhasbc6a9092015-05-26 23:52:21 +0000[diff] [blame]180
181RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-no-operands.bc 2>&1 | \
182RUN: FileCheck --check-prefix=ABBREV-NO-OPS %s
183
184ABBREV-NO-OPS: Abbrev record with no operands
Filipe Cabecinhas8cd99e92015-05-27 00:48:43 +0000[diff] [blame]185
186RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-operand-encoding.bc 2>&1 | \
187RUN: FileCheck --check-prefix=ARRAY-OP-ENC %s
188
189ARRAY-OP-ENC: Array element type has to be an encoding of a type
Filipe Cabecinhas14e68672015-05-30 00:17:20 +0000[diff] [blame]190
191RUN: not llvm-dis -disable-output %p/Inputs/invalid-metadata-not-followed-named-node.bc 2>&1 | \
192RUN: FileCheck --check-prefix=META-NOT-FOLLOWED-BY-NAMED-META %s
193
194META-NOT-FOLLOWED-BY-NAMED-META: METADATA_NAME not followed by METADATA_NAMED_NODE
Filipe Cabecinhas8e421902015-06-03 00:05:30 +0000[diff] [blame]195
196RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-length.bc 2>&1 | \
197RUN: FileCheck --check-prefix=VECTOR-LENGTH %s
198
199VECTOR-LENGTH: Invalid vector length
Filipe Cabecinhasda86b6d2015-06-03 01:30:13 +0000[diff] [blame^]200
201RUN: not llvm-dis -disable-output %p/Inputs/invalid-alias-type-mismatch.bc 2>&1 | \
202RUN: FileCheck --check-prefix=ALIAS-TYPE-MISMATCH %s
203
204ALIAS-TYPE-MISMATCH: Alias and aliasee types don't match