llvm/test/Bitcode/invalid.test

   1 RUN: export LSAN_OPTIONS=detect_leaks=0
   2 RUN: not llvm-dis -disable-output %p/Inputs/invalid-empty.bc 2>&1 | \
   3 RUN:   FileCheck --check-prefix=INVALID-EMPTY %s
   4 RUN: not llvm-dis -disable-output %p/Inputs/invalid-pr20485.bc 2>&1 | \
   5 RUN:   FileCheck --check-prefix=INVALID-ENCODING %s
   6 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev.bc 2>&1 | \
   7 RUN:   FileCheck --check-prefix=BAD-ABBREV %s
   8 RUN: not llvm-dis -disable-output %p/Inputs/invalid-unexpected-eof.bc 2>&1 | \
   9 RUN:   FileCheck --check-prefix=UNEXPECTED-EOF %s
  10 RUN: not llvm-dis -disable-output %p/Inputs/invalid-bad-abbrev-number.bc 2>&1 | \
  11 RUN:   FileCheck --check-prefix=BAD-ABBREV-NUMBER %s
  12 RUN: not llvm-dis -disable-output %p/Inputs/invalid-type-table-forward-ref.bc 2>&1 | \
  13 RUN:   FileCheck --check-prefix=BAD-TYPE-TABLE-FORWARD-REF %s
  14 RUN: not llvm-dis -disable-output %p/Inputs/invalid-bitwidth.bc 2>&1 | \
  15 RUN:   FileCheck --check-prefix=BAD-BITWIDTH %s
  16 RUN: not llvm-dis -disable-output %p/Inputs/invalid-align.bc  2>&1 | \
  17 RUN:   FileCheck --check-prefix=BAD-ALIGN %s
  18 RUN: not llvm-dis -disable-output %p/Inputs/invalid-call-non-function-explicit-type.bc 2>&1 | \
  19 RUN:   FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-CALL %s
  20 RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-mismatched-explicit-type.bc 2>&1 | \
  21 RUN:   FileCheck --check-prefix=MISMATCHED-EXPLICIT-INVOKE %s
  22 RUN: not llvm-dis -disable-output %p/Inputs/invalid-invoke-non-function-explicit-type.bc 2>&1 | \
  23 RUN:   FileCheck --check-prefix=NON-FUNCTION-EXPLICIT-INVOKE %s
  24
  25 INVALID-EMPTY: error: file too small to contain bitcode header
  26 INVALID-ENCODING: Invalid encoding
  27 BAD-ABBREV: error: can't skip to bit
  28 UNEXPECTED-EOF: error: can't skip to bit
  29 BAD-ABBREV-NUMBER: error: can't skip to bit
  30 BAD-TYPE-TABLE-FORWARD-REF: Invalid TYPE table: Only named structs can be forward referenced
  31 BAD-BITWIDTH: error: can't skip to bit
  32 BAD-ALIGN: Invalid alignment value
  33 NON-FUNCTION-EXPLICIT-CALL: Explicit call type is not a function type
  34 MISMATCHED-EXPLICIT-INVOKE: Insufficient operands to call
  35 NON-FUNCTION-EXPLICIT-INVOKE: Explicit invoke type is not a function type
  36
  37 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-array-idx.bc 2>&1 | \
  38 RUN:   FileCheck --check-prefix=EXTRACT-ARRAY %s
  39 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-struct-idx.bc 2>&1 | \
  40 RUN:   FileCheck --check-prefix=EXTRACT-STRUCT %s
  41 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extractval-too-many-idxs.bc 2>&1 | \
  42 RUN:   FileCheck --check-prefix=EXTRACT-IDXS %s
  43 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-array-idx.bc 2>&1 | \
  44 RUN:   FileCheck --check-prefix=INSERT-ARRAY %s
  45 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-struct-idx.bc 2>&1 | \
  46 RUN:   FileCheck --check-prefix=INSERT-STRUCT %s
  47 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insertval-too-many-idxs.bc 2>&1 | \
  48 RUN:   FileCheck --check-prefix=INSERT-IDXS %s
  49
  50
  51 EXTRACT-ARRAY: EXTRACTVAL: Invalid array index
  52 EXTRACT-STRUCT: EXTRACTVAL: Invalid struct index
  53 EXTRACT-IDXS: EXTRACTVAL: Invalid type
  54 INSERT-ARRAY: INSERTVAL: Invalid array index
  55 INSERT-STRUCT: INSERTVAL: Invalid struct index
  56 INSERT-IDXS: INSERTVAL: Invalid type
  57
  58 RUN: not llvm-dis -disable-output %p/Inputs/invalid-fp-shift.bc 2>&1 | \
  59 RUN:   FileCheck --check-prefix=FP-SHIFT %s
  60
  61 FP-SHIFT: Invalid record
  62
  63 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-vbr-size-too-big.bc 2>&1 | \
  64 RUN:   FileCheck --check-prefix=HUGE-ABBREV-OP %s
  65 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-fixed-size-too-big.bc 2>&1 | \
  66 RUN:   FileCheck --check-prefix=HUGE-ABBREV-OP %s
  67
  68 HUGE-ABBREV-OP: Fixed or VBR abbrev record with size > MaxChunkData
  69
  70 RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-type.bc 2>&1 | \
  71 RUN:   FileCheck --check-prefix=ARRAY-TYPE %s
  72
  73 ARRAY-TYPE: Array element type can't be an Array or a Blob
  74
  75 RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-extractelement.bc 2>&1 | \
  76 RUN:   FileCheck --check-prefix=INVALID-TYPE %s
  77 RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-insertelement.bc 2>&1 | \
  78 RUN:   FileCheck --check-prefix=INVALID-TYPE %s
  79 RUN: not llvm-dis -disable-output %p/Inputs/invalid-non-vector-shufflevector.bc 2>&1 | \
  80 RUN:   FileCheck --check-prefix=INVALID-TYPE %s
  81
  82 INVALID-TYPE: Invalid type for value
  83
  84 RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch.bc 2>&1 | \
  85 RUN:   FileCheck --check-prefix=FWDREF-TYPE %s
  86
  87 FWDREF-TYPE: Invalid record
  88
  89 RUN: not llvm-dis -disable-output %p/Inputs/invalid-fwdref-type-mismatch-2.bc 2>&1 | \
  90 RUN:   FileCheck --check-prefix=FWDREF-TYPE-MISMATCH %s
  91
  92 FWDREF-TYPE-MISMATCH: Malformed block
  93
  94 RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-element-type.bc 2>&1 | \
  95 RUN:   FileCheck --check-prefix=ELEMENT-TYPE %s
  96 RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-element-type.bc 2>&1 | \
  97 RUN:   FileCheck --check-prefix=ELEMENT-TYPE %s
  98 RUN: not llvm-dis -disable-output %p/Inputs/invalid-pointer-element-type.bc 2>&1 | \
  99 RUN:   FileCheck --check-prefix=ELEMENT-TYPE %s
 100
 101 ELEMENT-TYPE: Invalid type
 102
 103 RUN: not llvm-dis -disable-output %p/Inputs/invalid-cast.bc 2>&1 | \
 104 RUN:   FileCheck --check-prefix=INVALID-CAST %s
 105
 106 INVALID-CAST: Invalid cast
 107
 108 RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-op-not-2nd-to-last.bc 2>&1 | \
 109 RUN:   FileCheck --check-prefix=ARRAY-NOT-2LAST %s
 110
 111 ARRAY-NOT-2LAST: Array op not second to last
 112
 113 RUN: not llvm-dis -disable-output %p/Inputs/invalid-too-big-fwdref.bc 2>&1 | \
 114 RUN:   FileCheck --check-prefix=HUGE-FWDREF %s
 115
 116 HUGE-FWDREF: Invalid record
 117
 118 RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-pointer-type.bc 2>&1 | \
 119 RUN:   FileCheck --check-prefix=LOAD-BAD-TYPE %s
 120
 121 LOAD-BAD-TYPE: Load operand is not a pointer type
 122
 123 RUN: not llvm-dis -disable-output %p/Inputs/invalid-GCTable-overflow.bc 2>&1 | \
 124 RUN:   FileCheck --check-prefix=GCTABLE-OFLOW %s
 125
 126 GCTABLE-OFLOW: Invalid ID
 127
 128 RUN: not llvm-dis -disable-output %p/Inputs/invalid-insert-0-indices.bc 2>&1 | \
 129 RUN:   FileCheck --check-prefix=INSERT-0-IDXS %s
 130
 131 INSERT-0-IDXS: INSERTVAL: Invalid instruction with 0 indices
 132
 133 RUN: not llvm-dis -disable-output %p/Inputs/invalid-extract-0-indices.bc 2>&1 | \
 134 RUN:   FileCheck --check-prefix=EXTRACT-0-IDXS %s
 135
 136 EXTRACT-0-IDXS: EXTRACTVAL: Invalid instruction with 0 indices
 137
 138 RUN: not llvm-dis -disable-output %p/Inputs/invalid-load-ptr-type.bc 2>&1 | \
 139 RUN:   FileCheck --check-prefix=BAD-LOAD-PTR-TYPE %s
 140
 141 BAD-LOAD-PTR-TYPE: error: can't skip to bit
 142
 143 RUN: not llvm-dis -disable-output %p/Inputs/invalid-inserted-value-type-mismatch.bc 2>&1 | \
 144 RUN:   FileCheck --check-prefix=INSERT-TYPE-MISMATCH %s
 145
 146 INSERT-TYPE-MISMATCH: Inserted value type doesn't match aggregate type
 147
 148 RUN: not llvm-dis -disable-output %p/Inputs/invalid-code-len-width.bc 2>&1 | \
 149 RUN:   FileCheck --check-prefix=INVALID-CODELENWIDTH %s
 150
 151 INVALID-CODELENWIDTH: error: can't skip to bit
 152
 153 RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-argument-type.bc 2>&1 | \
 154 RUN:   FileCheck --check-prefix=INVALID-ARGUMENT-TYPE %s
 155
 156 INVALID-ARGUMENT-TYPE: Invalid function argument type
 157
 158 RUN: not llvm-dis -disable-output %p/Inputs/invalid-function-comdat-id.bc 2>&1 | \
 159 RUN:   FileCheck --check-prefix=INVALID-FCOMDAT-ID %s
 160
 161 INVALID-FCOMDAT-ID: Malformed block
 162
 163 RUN: not llvm-dis -disable-output %p/Inputs/invalid-global-var-comdat-id.bc 2>&1 | \
 164 RUN:   FileCheck --check-prefix=INVALID-GVCOMDAT-ID %s
 165
 166 INVALID-GVCOMDAT-ID: Invalid global variable comdat ID
 167
 168 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-no-operands.bc 2>&1 | \
 169 RUN:   FileCheck --check-prefix=ABBREV-NO-OPS %s
 170
 171 ABBREV-NO-OPS: Abbrev record with no operands
 172
 173 RUN: not llvm-dis -disable-output %p/Inputs/invalid-array-operand-encoding.bc 2>&1 | \
 174 RUN:   FileCheck --check-prefix=ARRAY-OP-ENC %s
 175
 176 ARRAY-OP-ENC: Malformed block
 177
 178 RUN: not llvm-dis -disable-output %p/Inputs/invalid-metadata-not-followed-named-node.bc 2>&1 | \
 179 RUN:   FileCheck --check-prefix=META-NOT-FOLLOWED-BY-NAMED-META %s
 180
 181 META-NOT-FOLLOWED-BY-NAMED-META: Malformed block
 182
 183 RUN: not llvm-dis -disable-output %p/Inputs/invalid-vector-length.bc 2>&1 | \
 184 RUN:   FileCheck --check-prefix=VECTOR-LENGTH %s
 185
 186 VECTOR-LENGTH: Invalid vector length
 187
 188 RUN: not llvm-dis -disable-output %p/Inputs/invalid-alias-type-mismatch.bc 2>&1 | \
 189 RUN:   FileCheck --check-prefix=ALIAS-TYPE-MISMATCH %s
 190
 191 ALIAS-TYPE-MISMATCH: Insufficient function protos
 192
 193 RUN: not llvm-dis -disable-output %p/Inputs/invalid-no-function-block.bc 2>&1 | \
 194 RUN:   FileCheck --check-prefix=NO-FUNCTION-BLOCK %s
 195
 196 NO-FUNCTION-BLOCK: Trying to materialize functions before seeing function blocks (Producer: 'LLVM3.8.0git' Reader: 'LLVM
 197
 198 RUN: not llvm-dis -disable-output %p/Inputs/invalid-name-with-0-byte.bc 2>&1 | \
 199 RUN:   FileCheck --check-prefix=NAME-WITH-0 %s
 200
 201 NAME-WITH-0: Malformed block
 202
 203 RUN: not llvm-dis -disable-output %p/Inputs/invalid-void-constant.bc 2>&1 | \
 204 RUN:   FileCheck --check-prefix=VOID-CONSTANT-TYPE %s
 205
 206 VOID-CONSTANT-TYPE: Invalid constant type
 207
 208 RUN: not llvm-dis -disable-output %p/Inputs/invalid-gep-no-operands.bc 2>&1 | \
 209 RUN:   FileCheck --check-prefix=GEP-NO-OPERANDS %s
 210
 211 GEP-NO-OPERANDS: Constant GEP record must have at least two elements
 212
 213 RUN: not llvm-dis -disable-output %p/Inputs/invalid-constant-gep.bc 2>&1 | \
 214 RUN:   FileCheck --check-prefix=INVALID-CONSTANT-GEP %s
 215
 216 INVALID-CONSTANT-GEP: Constant GEP record must have at least two elements
 217
 218 RUN: not llvm-dis -disable-output %p/Inputs/invalid-nonpointer-storeatomic.bc 2>&1 | \
 219 RUN:   FileCheck --check-prefix=NONPOINTER-STOREATOMIC %s
 220
 221 NONPOINTER-STOREATOMIC: Invalid record
 222
 223 RUN: not llvm-dis -disable-output %p/Inputs/invalid-nonpointer-atomicrmw.bc 2>&1 | \
 224 RUN:   FileCheck --check-prefix=NONPOINTER-ATOMICRMW %s
 225
 226 NONPOINTER-ATOMICRMW: Invalid record
 227
 228 RUN: not llvm-dis -disable-output %p/Inputs/invalid-fcmp-opnum.bc 2>&1 | \
 229 RUN:   FileCheck --check-prefix=INVALID-FCMP-OPNUM %s
 230
 231 INVALID-FCMP-OPNUM: Invalid record: operand number exceeded available operands
 232
 233 RUN: not llvm-dis -disable-output %p/Inputs/invalid-cmpxchg-ordering.bc 2>&1 | \
 234 RUN:   FileCheck --check-prefix=CMPXCHG-ORDERING %s
 235 RUN: not llvm-dis -disable-output %p/Inputs/invalid-cmpxchg-ordering-2.bc 2>&1 | \
 236 RUN:   FileCheck --check-prefix=CMPXCHG-ORDERING %s
 237 RUN: not llvm-dis -disable-output %p/Inputs/invalid-cmpxchg-ordering-3.bc 2>&1 | \
 238 RUN:   FileCheck --check-prefix=CMPXCHG-ORDERING %s
 239 RUN: not llvm-dis -disable-output %p/Inputs/invalid-cmpxchg-ordering-4.bc 2>&1 | \
 240 RUN:   FileCheck --check-prefix=CMPXCHG-ORDERING %s
 241
 242 CMPXCHG-ORDERING: Invalid cmpxchg {{failure|success}} ordering
 243
 244 RUN: not llvm-dis -disable-output %p/Inputs/invalid-abbrev-number.bc 2>&1 | \
 245 RUN:   FileCheck --check-prefix=INVALID-ABBREV-NUMBER %s
 246
 247 INVALID-ABBREV-NUMBER: Invalid abbrev number
 248
 249 RUN: not llvm-dis -disable-output %p/Inputs/invalid-attribute-group-entry.bc 2>&1 | \
 250 RUN:   FileCheck --check-prefix=INVALID-ATTRIBUTE-GROUP-ENTRY %s
 251
 252 INVALID-ATTRIBUTE-GROUP-ENTRY: Invalid attribute group entry
 253
 254 RUN: not llvm-dis -disable-output %p/Inputs/unterminated-blob.bc 2>&1 | \
 255 RUN:   FileCheck --check-prefix=UNTERMINATED-BLOB %s
 256
 257 UNTERMINATED-BLOB: Blob ends too soon
 258
 259 RUN: not llvm-dis -disable-output %p/Inputs/invalid-value-symbol-table.bc 2>&1 | \
 260 RUN:   FileCheck --check-prefix=INVALID-VALUE-SYMBOL-TABLE %s
 261
 262 INVALID-VALUE-SYMBOL-TABLE: Invalid value reference in symbol table
 263
 264 RUN: not llvm-dis -disable-output %p/Inputs/unterminated-vbr.bc 2>&1 | \
 265 RUN:   FileCheck --check-prefix=UNTERMINATED-VBR %s
 266
 267 UNTERMINATED-VBR: Failed to read size: Unterminated VBR
 268
 269 RUN: not llvm-dis -disable-output %p/Inputs/comdat-name-too-large.bc 2>&1 | \
 270 RUN:   FileCheck --check-prefix=COMDAT-NAME-TOO-LARGE %s
 271
 272 COMDAT-NAME-TOO-LARGE: Comdat name size too large
 273
 274 RUN: not llvm-dis -disable-output %p/Inputs/invalid-chunk-size.bc 2>&1 | \
 275 RUN:   FileCheck --check-prefix=INVALID-CHUNK-SIZE %s
 276
 277 INVALID-CHUNK-SIZE: Fixed or VBR abbrev record with size > MaxChunkData
 278
 279 RUN: not llvm-dis -disable-output %p/Inputs/invalid-diimportedentity-record.bc 2>&1 | \
 280 RUN:   FileCheck --check-prefix=INVALID-DIIMPORTEDENTITY-RECORD %s
 281
 282 INVALID-DIIMPORTEDENTITY-RECORD: Invalid DIImportedEntity record
 283
 284 RUN: not llvm-dis -disable-output %p/Inputs/invalid-forward-declare.bc 2>&1 | \
 285 RUN:   FileCheck --check-prefix=INVALID-FORWARD-DECLARE %s
 286
 287 INVALID-FORWARD-DECLARE: Assigned value does not match type of forward declaration