45 lines · plain
1// This file contains various failure test cases related to the structure of2// a bytecode file.3 4//===--------------------------------------------------------------------===//5// Version6//===--------------------------------------------------------------------===//7 8// RUN: not mlir-opt %S/invalid-structure-version.mlirbc 2>&1 | FileCheck %s --check-prefix=VERSION9// VERSION: bytecode version 127 is newer than the current version {{[0-9]+}}10 11//===--------------------------------------------------------------------===//12// Producer13//===--------------------------------------------------------------------===//14 15// RUN: not mlir-opt %S/invalid-structure-producer.mlirbc 2>&1 | FileCheck %s --check-prefix=PRODUCER16// PRODUCER: malformed null-terminated string, no null character found17 18//===--------------------------------------------------------------------===//19// Section20//===--------------------------------------------------------------------===//21 22//===--------------------------------------------------------------------===//23// Missing24 25// RUN: not mlir-opt %S/invalid-structure-section-missing.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_MISSING26// SECTION_MISSING: missing data for top-level section: String (0)27 28//===--------------------------------------------------------------------===//29// ID30 31// RUN: not mlir-opt %S/invalid-structure-section-id-unknown.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_ID_UNKNOWN32// SECTION_ID_UNKNOWN: invalid section ID: 12733 34//===--------------------------------------------------------------------===//35// Length36 37// RUN: not mlir-opt %S/invalid-structure-section-length.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_LENGTH38// SECTION_LENGTH: attempting to parse a byte at the end of the bytecode39 40//===--------------------------------------------------------------------===//41// Duplicate42 43// RUN: not mlir-opt %S/invalid-structure-section-duplicate.mlirbc 2>&1 | FileCheck %s --check-prefix=SECTION_DUPLICATE44// SECTION_DUPLICATE: duplicate top-level section: String (0)45