blob: f4ac4e1c66f605924f26a2c3c78c8e701ba29efc [file] [log] [blame]
// RUN: mlir-opt -split-input-file -convert-pdl-to-pdl-interp %s | FileCheck %s
// -----
// CHECK-LABEL: module @external
module @external {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation, %[[INPUT:.*]]: !pdl.value)
// CHECK: pdl_interp.apply_rewrite "rewriter" [true](%[[INPUT]] : !pdl.value) on %[[ROOT]]
pdl.pattern : benefit(1) {
%input = pdl.input
%root = pdl.operation "foo.op"(%input)
pdl.rewrite %root with "rewriter"[true](%input : !pdl.value)
}
}
// -----
// CHECK-LABEL: module @erase
module @erase {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation)
// CHECK: pdl_interp.erase %[[ROOT]]
// CHECK: pdl_interp.finalize
pdl.pattern : benefit(1) {
%root = pdl.operation "foo.op"
pdl.rewrite %root {
pdl.erase %root
}
}
}
// -----
// CHECK-LABEL: module @operation_attributes
module @operation_attributes {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ATTR:.*]]: !pdl.attribute, %[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[ATTR1:.*]] = pdl_interp.create_attribute true
// CHECK: pdl_interp.create_operation "foo.op"() {"attr" = %[[ATTR]], "attr1" = %[[ATTR1]]}
pdl.pattern : benefit(1) {
%attr = pdl.attribute
%root = pdl.operation "foo.op" {"attr" = %attr}
pdl.rewrite %root {
%attr1 = pdl.attribute true
%newOp = pdl.operation "foo.op" {"attr" = %attr, "attr1" = %attr1}
pdl.erase %root
}
}
}
// -----
// CHECK-LABEL: module @operation_operands
module @operation_operands {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[OPERAND:.*]]: !pdl.value, %[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[NEWOP:.*]] = pdl_interp.create_operation "foo.op"(%[[OPERAND]])
// CHECK: %[[OPERAND1:.*]] = pdl_interp.get_result 0 of %[[NEWOP]]
// CHECK: pdl_interp.create_operation "foo.op2"(%[[OPERAND1]])
pdl.pattern : benefit(1) {
%operand = pdl.input
%root = pdl.operation "foo.op"(%operand)
pdl.rewrite %root {
%type = pdl.type : i32
%newOp, %result = pdl.operation "foo.op"(%operand) -> %type
%newOp1 = pdl.operation "foo.op2"(%result)
pdl.erase %root
}
}
}
// -----
// CHECK-LABEL: module @operation_operands
module @operation_operands {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[OPERAND:.*]]: !pdl.value, %[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[NEWOP:.*]] = pdl_interp.create_operation "foo.op"(%[[OPERAND]])
// CHECK: %[[OPERAND1:.*]] = pdl_interp.get_result 0 of %[[NEWOP]]
// CHECK: pdl_interp.create_operation "foo.op2"(%[[OPERAND1]])
pdl.pattern : benefit(1) {
%operand = pdl.input
%root = pdl.operation "foo.op"(%operand)
pdl.rewrite %root {
%type = pdl.type : i32
%newOp, %result = pdl.operation "foo.op"(%operand) -> %type
%newOp1 = pdl.operation "foo.op2"(%result)
pdl.erase %root
}
}
}
// -----
// CHECK-LABEL: module @operation_result_types
module @operation_result_types {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[TYPE:.*]]: !pdl.type, %[[TYPE1:.*]]: !pdl.type
// CHECK: pdl_interp.create_operation "foo.op"() -> %[[TYPE]], %[[TYPE1]]
pdl.pattern : benefit(1) {
%rootType = pdl.type
%rootType1 = pdl.type
%root, %results:2 = pdl.operation "foo.op" -> %rootType, %rootType1
pdl.rewrite %root {
%newType1 = pdl.type
%newOp, %newResults:2 = pdl.operation "foo.op" -> %rootType, %newType1
pdl.replace %root with %newOp
}
}
}
// -----
// CHECK-LABEL: module @operation_result_types_infer_from_value_replacement
module @operation_result_types_infer_from_value_replacement {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[TYPE:.*]]: !pdl.type
// CHECK: pdl_interp.create_operation "foo.op"() -> %[[TYPE]]
pdl.pattern : benefit(1) {
%rootType = pdl.type
%root, %result = pdl.operation "foo.op" -> %rootType
pdl.rewrite %root {
%newType = pdl.type
%newOp, %newResult = pdl.operation "foo.op" -> %newType
pdl.replace %root with (%newResult)
}
}
}
// -----
// CHECK-LABEL: module @replace_with_op
module @replace_with_op {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[NEWOP:.*]] = pdl_interp.create_operation
// CHECK: %[[OP_RESULT:.*]] = pdl_interp.get_result 0 of %[[NEWOP]]
// CHECK: pdl_interp.replace %[[ROOT]] with(%[[OP_RESULT]])
pdl.pattern : benefit(1) {
%type = pdl.type : i32
%root, %result = pdl.operation "foo.op" -> %type
pdl.rewrite %root {
%newOp, %newResult = pdl.operation "foo.op" -> %type
pdl.replace %root with %newOp
}
}
}
// -----
// CHECK-LABEL: module @replace_with_values
module @replace_with_values {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[NEWOP:.*]] = pdl_interp.create_operation
// CHECK: %[[OP_RESULT:.*]] = pdl_interp.get_result 0 of %[[NEWOP]]
// CHECK: pdl_interp.replace %[[ROOT]] with(%[[OP_RESULT]])
pdl.pattern : benefit(1) {
%type = pdl.type : i32
%root, %result = pdl.operation "foo.op" -> %type
pdl.rewrite %root {
%newOp, %newResult = pdl.operation "foo.op" -> %type
pdl.replace %root with (%newResult)
}
}
}
// -----
// CHECK-LABEL: module @replace_with_no_results
module @replace_with_no_results {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation)
// CHECK: pdl_interp.create_operation "foo.op"
// CHECK: pdl_interp.erase %[[ROOT]]
pdl.pattern : benefit(1) {
%root = pdl.operation "foo.op"
pdl.rewrite %root {
%newOp = pdl.operation "foo.op"
pdl.replace %root with %newOp
}
}
}
// -----
// CHECK-LABEL: module @create_native
module @create_native {
// CHECK: module @rewriters
// CHECK: func @pdl_generated_rewriter(%[[ROOT:.*]]: !pdl.operation)
// CHECK: %[[TYPE:.*]] = pdl_interp.create_native "functor" [true](%[[ROOT]] : !pdl.operation) : !pdl.type
// CHECK: pdl_interp.create_operation "foo.op"() -> %[[TYPE]]
pdl.pattern : benefit(1) {
%type = pdl.type
%root, %result = pdl.operation "foo.op" -> %type
pdl.rewrite %root {
%newType = pdl.create_native "functor"[true](%root : !pdl.operation) : !pdl.type
%newOp, %newResult = pdl.operation "foo.op" -> %newType
pdl.replace %root with %newOp
}
}
}