rename mlirApplyPatternsAndFoldGreedilyForOp with mlirApplyPatternsAndFoldGreedilyWithOp

Author: cnb.bsD2OPwAgEA

mlir/include/mlir-c/Rewrite.h

@@ -301,7 +301,7 @@ mlirFreezeRewritePattern(MlirRewritePatternSet op);
 MLIR_CAPI_EXPORTED void
 mlirFrozenRewritePatternSetDestroy(MlirFrozenRewritePatternSet op);
 
-MLIR_CAPI_EXPORTED MlirLogicalResult mlirApplyPatternsAndFoldGreedilyForOp(
+MLIR_CAPI_EXPORTED MlirLogicalResult mlirApplyPatternsAndFoldGreedilyWithOp(
     MlirOperation op, MlirFrozenRewritePatternSet patterns,
     MlirGreedyRewriteDriverConfig);
 

mlir/lib/Bindings/Python/Rewrite.cpp

@@ -110,9 +110,9 @@ void mlir::python::populateRewriteSubmodule(nb::module_ &m) {
        "Applys the given patterns to the given module greedily while folding "
        "results.")
       .def(
-          "apply_patterns_and_fold_greedily_for_op",
+          "apply_patterns_and_fold_greedily_with_op",
           [](MlirOperation op, MlirFrozenRewritePatternSet set) {
-            auto status = mlirApplyPatternsAndFoldGreedilyForOp(op, set, {});
+            auto status = mlirApplyPatternsAndFoldGreedilyWithOp(op, set, {});
             if (mlirLogicalResultIsFailure(status))
               // FIXME: Not sure this is the right error to throw here.
               throw nb::value_error("pattern application failed to converge");

mlir/lib/CAPI/Transforms/Rewrite.cpp

@@ -295,9 +295,9 @@ mlirApplyPatternsAndFoldGreedily(MlirModule op,
 }
 
 MlirLogicalResult
-mlirApplyPatternsAndFoldGreedilyForOp(MlirOperation op,
-                                      MlirFrozenRewritePatternSet patterns,
-                                      MlirGreedyRewriteDriverConfig) {
+mlirApplyPatternsAndFoldGreedilyWithOp(MlirOperation op,
+                                       MlirFrozenRewritePatternSet patterns,
+                                       MlirGreedyRewriteDriverConfig) {
   return wrap(mlir::applyPatternsGreedily(unwrap(op), *unwrap(patterns)));
 }
 

mlir/test/python/pass.py

@@ -58,7 +58,7 @@ def __init__(self):
 
             def run(self, m):
                 frozen = PDLModule(pdl_module).freeze()
-                apply_patterns_and_fold_greedily_for_op(m, frozen)
+                apply_patterns_and_fold_greedily_with_op(m, frozen)
 
         module = ModuleOp.parse(
             r"""