[mlir][transform] replace original op to loop ops (#83537)

HerrCai0907 · web-flow · commit 0597644a6466 · 2024-03-05T03:58:12.000+08:00
diff --git a/mlir/lib/Dialect/Linalg/TransformOps/LinalgTransformOps.cpp b/mlir/lib/Dialect/Linalg/TransformOps/LinalgTransformOps.cpp
@@ -2121,6 +2121,7 @@ DiagnosedSilenceableFailure transform::ConvertToLoopsOp::applyToOne(
       scf::lowerToLoopsUsingSCFForOp(rewriter, target);
   if (failed(loops))
     return emitDefaultDefiniteFailure(target);
+  rewriter.eraseOp(target);
   return DiagnosedSilenceableFailure::success();
 }
 
diff --git a/mlir/test/Interfaces/TilingInterface/lower-to-loops-using-interface.mlir b/mlir/test/Interfaces/TilingInterface/lower-to-loops-using-interface.mlir
@@ -33,6 +33,7 @@ module attributes {transform.with_named_sequence} {
 //       CHECK:         %[[MULF:.+]] = arith.mulf %[[LHS]], %[[RHS]]
 //       CHECK:         %[[ADDF:.+]] = arith.addf %[[OUT]], %[[MULF]]
 //       CHECK:         memref.store %[[ADDF]], %[[ARG2]][%[[IV0]], %[[IV1]]]
+//   CHECK-NOT:   linalg.matmul ins(%arg0, %arg1 : memref<?x?xf32>, memref<?x?xf32>)
 
 // -----
 

Original file line number	Diff line number	Diff line change
`@@ -2121,6 +2121,7 @@ DiagnosedSilenceableFailure transform::ConvertToLoopsOp::applyToOne(`
`2121`	`2121`	`scf::lowerToLoopsUsingSCFForOp(rewriter, target);`
`2122`	`2122`	`if (failed(loops))`
`2123`	`2123`	`return emitDefaultDefiniteFailure(target);`
	`2124`	`+ rewriter.eraseOp(target);`
`2124`	`2125`	`return DiagnosedSilenceableFailure::success();`
`2125`	`2126`	`}`
`2126`	`2127`