| // This file contains various failure test cases related to the structure of |
| // a bytecode file. |
| |
| //===--------------------------------------------------------------------===// |
| // Version |
| //===--------------------------------------------------------------------===// |
| |
| // RUN: not mlir-opt %S/invalid-structure-version.mlirbc 2>&1 | FileCheck %s --check-prefix=VERSION |
| // VERSION: bytecode version 127 is newer than the current version {{[0-9]+}} |
| |
| //===--------------------------------------------------------------------===// |
| // Producer |
| //===--------------------------------------------------------------------===// |
| |
| // RUN: not mlir-opt %S/invalid-structure-producer.mlirbc 2>&1 | FileCheck %s --check-prefix=PRODUCER |
| // PRODUCER: malformed null-terminated string, no null character found |
| |
| //===--------------------------------------------------------------------===// |
| // Section |
| //===--------------------------------------------------------------------===// |
| |
| //===--------------------------------------------------------------------===// |
| // Missing |
| |
| // RUN: not mlir-opt %S/invalid-structure-section-missing.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_MISSING |
| // SECTION_MISSING: missing data for top-level section: String (0) |
| |
| //===--------------------------------------------------------------------===// |
| // ID |
| |
| // RUN: not mlir-opt %S/invalid-structure-section-id-unknown.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_ID_UNKNOWN |
| // SECTION_ID_UNKNOWN: invalid section ID: 127 |
| |
| //===--------------------------------------------------------------------===// |
| // Length |
| |
| // RUN: not mlir-opt %S/invalid-structure-section-length.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_LENGTH |
| // SECTION_LENGTH: attempting to parse a byte at the end of the bytecode |
| |
| //===--------------------------------------------------------------------===// |
| // Duplicate |
| |
| // RUN: not mlir-opt %S/invalid-structure-section-duplicate.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_DUPLICATE |
| // SECTION_DUPLICATE: duplicate top-level section: String (0) |
