59 lines · plain
1// RUN: mlir-opt -transform-interpreter %s -allow-unregistered-dialect -verify-diagnostics --split-input-file | FileCheck %s2 3// CHECK: func.func @foo() {4// CHECK: "dummy_op"() : () -> ()5// CHECK: }6// CHECK-NOT: func.func @bar7func.func @bar() {8 "another_op"() : () -> ()9}10 11module attributes {transform.with_named_sequence} {12 transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {13 %0 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op14 transform.structured.replace %0 {15 builtin.module {16 func.func @foo() {17 "dummy_op"() : () -> ()18 }19 }20 } : (!transform.any_op) -> !transform.any_op21 transform.yield22 }23}24 25// -----26 27func.func @bar(%arg0: i1) {28 "another_op"(%arg0) : (i1) -> ()29}30 31module attributes {transform.with_named_sequence} {32 transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {33 %0 = transform.structured.match ops{["another_op"]} in %arg1 : (!transform.any_op) -> !transform.any_op34 // expected-error @+1 {{expected target without operands}}35 transform.structured.replace %0 {36 "dummy_op"() : () -> ()37 } : (!transform.any_op) -> !transform.any_op38 transform.yield39 }40}41 42// -----43 44func.func @bar() {45 "another_op"() : () -> ()46}47 48module attributes {transform.with_named_sequence} {49 transform.named_sequence @__transform_main(%arg1: !transform.any_op {transform.readonly}) {50 %0 = transform.structured.match ops{["another_op"]} in %arg1 : (!transform.any_op) -> !transform.any_op51 transform.structured.replace %0 {52 ^bb0(%a: i1):53 // expected-error @+1 {{expected replacement without operands}}54 "dummy_op"(%a) : (i1) -> ()55 } : (!transform.any_op) -> !transform.any_op56 transform.yield57 }58}59