xref: /llvm-project/mlir/test/Bytecode/invalid/invalid-string_section.mlir (revision bb0bbed610d86ba155f9c066c23038f7f34e2dbb)
1// This file contains various failure test cases related to the structure of
2// the string section.
3
4//===--------------------------------------------------------------------===//
5// Count
6//===--------------------------------------------------------------------===//
7
8// RUN: not mlir-opt %S/invalid-string_section-count.mlirbc 2>&1 | FileCheck %s --check-prefix=COUNT
9// COUNT: attempting to parse a byte at the end of the bytecode
10
11//===--------------------------------------------------------------------===//
12// Invalid String
13//===--------------------------------------------------------------------===//
14
15// RUN: not mlir-opt %S/invalid-string_section-no_string.mlirbc 2>&1 | FileCheck %s --check-prefix=NO_STRING
16// NO_STRING: attempting to parse a byte at the end of the bytecode
17
18// RUN: not mlir-opt %S/invalid-string_section-large_string.mlirbc 2>&1 | FileCheck %s --check-prefix=LARGE_STRING
19// LARGE_STRING: string size exceeds the available data size
20
21//===--------------------------------------------------------------------===//
22// Trailing data
23//===--------------------------------------------------------------------===//
24
25// RUN: not mlir-opt %S/invalid-string_section-trailing_data.mlirbc 2>&1 | FileCheck %s --check-prefix=TRAILING_DATA
26// TRAILING_DATA: unexpected trailing data between the offsets for strings and their data
27