46 lines · plain
1// This file contains various failure test cases related to the structure of2// the IR section.3 4//===--------------------------------------------------------------------===//5// Operations6//===--------------------------------------------------------------------===//7 8//===--------------------------------------------------------------------===//9// Name10 11// RUN: not mlir-opt %S/invalid-ir_section-opname.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_NAME12// OP_NAME: invalid operation name index: 1413 14//===--------------------------------------------------------------------===//15// Loc16 17// RUN: not mlir-opt %S/invalid-ir_section-loc.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_LOC18// OP_LOC: expected attribute of type: {{.*}}, but got: {attra = 10 : i64, attrb = #bytecode.attr}19 20//===--------------------------------------------------------------------===//21// Attr22 23// RUN: not mlir-opt %S/invalid-ir_section-attr.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_ATTR24// OP_ATTR: expected attribute of type: {{.*}}, but got: loc(unknown)25 26//===--------------------------------------------------------------------===//27// Operands28 29// RUN: not mlir-opt %S/invalid-ir_section-operands.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_OPERANDS30// OP_OPERANDS: invalid value index: 631 32// RUN: not mlir-opt %S/invalid-ir_section-forwardref.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=FORWARD_REF33// FORWARD_REF: not all forward unresolved forward operand references34 35//===--------------------------------------------------------------------===//36// Results37 38// RUN: not mlir-opt %S/invalid-ir_section-results.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_RESULTS39// OP_RESULTS: value index range was outside of the expected range for the parent region, got [3, 6), but the maximum index was 240 41//===--------------------------------------------------------------------===//42// Successors43 44// RUN: not mlir-opt %S/invalid-ir_section-successors.mlirbc -allow-unregistered-dialect 2>&1 | FileCheck %s --check-prefix=OP_SUCCESSORS45// OP_SUCCESSORS: invalid successor index: 346