make ip a property

Author: PragmaTwice

mlir/lib/Bindings/Python/Rewrite.cpp

@@ -170,8 +170,9 @@ class PyFrozenRewritePatternSet {
 
 /// Create the `mlir.rewrite` here.
 void mlir::python::populateRewriteSubmodule(nb::module_ &m) {
-  nb::class_<PyPatternRewriter>(m, "PyPatternRewriter")
-      .def("ip", &PyPatternRewriter::getInsertionPoint);
+  nb::class_<PyPatternRewriter>(m, "PatternRewriter")
+      .def_prop_ro("ip", &PyPatternRewriter::getInsertionPoint,
+                   "The current insertion point of the PatternRewriter.");
   //----------------------------------------------------------------------------
   // Mapping of the PDLResultList and PDLModule
   //----------------------------------------------------------------------------

mlir/test/python/integration/dialects/pdl.py

@@ -274,7 +274,7 @@ def expand(rewriter, results, values):
         cst = values[0].value
         c1 = cst // 2
         c2 = cst - c1
-        with rewriter.ip():
+        with rewriter.ip:
             op1 = Operation.create(
                 "myint.constant",
                 results=[i32],