| // This file contains various failure test cases related to the structure of | |
| // the string section. | |
| //===--------------------------------------------------------------------===// | |
| // Count | |
| //===--------------------------------------------------------------------===// | |
| // RUN: not mlir-opt %S/invalid-string_section-count.mlirbc 2>&1 | FileCheck %s --check-prefix=COUNT | |
| // COUNT: attempting to parse a byte at the end of the bytecode | |
| //===--------------------------------------------------------------------===// | |
| // Invalid String | |
| //===--------------------------------------------------------------------===// | |
| // RUN: not mlir-opt %S/invalid-string_section-no_string.mlirbc 2>&1 | FileCheck %s --check-prefix=NO_STRING | |
| // NO_STRING: attempting to parse a byte at the end of the bytecode | |
| // RUN: not mlir-opt %S/invalid-string_section-large_string.mlirbc 2>&1 | FileCheck %s --check-prefix=LARGE_STRING | |
| // LARGE_STRING: string size exceeds the available data size | |
| //===--------------------------------------------------------------------===// | |
| // Trailing data | |
| //===--------------------------------------------------------------------===// | |
| // RUN: not mlir-opt %S/invalid-string_section-trailing_data.mlirbc 2>&1 | FileCheck %s --check-prefix=TRAILING_DATA | |
| // TRAILING_DATA: unexpected trailing data between the offsets for strings and their data |