// RUN: mlir-opt %s -split-input-file -verify-diagnostics

//===----------------------------------------------------------------------===//
// pdl_interp::CreateOperationOp
//===----------------------------------------------------------------------===//

pdl_interp.func @rewriter() {
  // expected-error@+1 {{op has inferred results, but the created operation 'foo.op' does not support result type inference}}
  %op = pdl_interp.create_operation "foo.op" -> <inferred>
  pdl_interp.finalize
}

// -----

pdl_interp.func @rewriter() {
  %type = pdl_interp.create_type i32
  // expected-error@+1 {{op with inferred results cannot also have explicit result types}}
  %op = "pdl_interp.create_operation"(%type) {
    inferredResultTypes,
    inputAttributeNames = [],
    name = "foo.op",
    operandSegmentSizes = array<i32: 0, 0, 1>
  } : (!pdl.type) -> (!pdl.operation)
  pdl_interp.finalize
}

// -----

//===----------------------------------------------------------------------===//
// pdl_interp::CreateRangeOp
//===----------------------------------------------------------------------===//

pdl_interp.func @rewriter(%value: !pdl.value, %type: !pdl.type) {
  // expected-error @below {{expected operand to have element type '!pdl.value', but got '!pdl.type'}}
  %range = pdl_interp.create_range %value, %type : !pdl.value, !pdl.type
  pdl_interp.finalize
}