| // This file contains various failure test cases related to the structure of |
| // the IR section. |
| |
| //===--------------------------------------------------------------------===// |
| // Operations |
| //===--------------------------------------------------------------------===// |
| |
| //===--------------------------------------------------------------------===// |
| // Name |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-opname.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_NAME |
| // OP_NAME: invalid operation name index: 14 |
| |
| //===--------------------------------------------------------------------===// |
| // Loc |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-loc.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_LOC |
| // OP_LOC: expected attribute of type: {{.*}}, but got: {attra = 10 : i64, attrb = #bytecode.attr} |
| |
| //===--------------------------------------------------------------------===// |
| // Attr |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-attr.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_ATTR |
| // OP_ATTR: expected attribute of type: {{.*}}, but got: loc(unknown) |
| |
| //===--------------------------------------------------------------------===// |
| // Operands |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-operands.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_OPERANDS |
| // OP_OPERANDS: invalid value index: 6 |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-forwardref.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=FORWARD_REF |
| // FORWARD_REF: not all forward unresolved forward operand references |
| |
| //===--------------------------------------------------------------------===// |
| // Results |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-results.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_RESULTS |
| // OP_RESULTS: value index range was outside of the expected range for the parent region, got [3, 6), but the maximum index was 2 |
| |
| //===--------------------------------------------------------------------===// |
| // Successors |
| |
| // RUN: not mlir-opt %S/invalid-ir_section-successors.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_SUCCESSORS |
| // OP_SUCCESSORS: invalid successor index: 3 |
