interpreter: (pdl) add the implementation of type interpretation (#3498)

tests/filecheck/transforms/apply-pdl/apply_pdl_build_type.mlir

@@ -0,0 +1,27 @@
+// RUN: xdsl-opt %s -p apply-pdl | filecheck %s
+
+%x = "test.op"() : () -> (i32) 
+
+pdl.pattern : benefit(1) {
+    %in_type = pdl.type: i32
+    %root = pdl.operation "test.op" -> (%in_type: !pdl.type)
+    pdl.rewrite %root {
+      %out_type = pdl.type: i64
+      %new_op = pdl.operation "test.op" -> (%out_type: !pdl.type)
+      pdl.replace %root with %new_op
+    }
+}
+
+// CHECK:       builtin.module {
+// CHECK-NEXT:    %x = "test.op"() : () -> i64
+// CHECK-NEXT:    pdl.pattern : benefit(1) {
+// CHECK-NEXT:      %in_type = pdl.type : i32
+// CHECK-NEXT:      %root = pdl.operation "test.op" -> (%in_type : !pdl.type)
+// CHECK-NEXT:      pdl.rewrite %root {
+// CHECK-NEXT:        %out_type = pdl.type : i64
+// CHECK-NEXT:        %new_op = pdl.operation "test.op" -> (%out_type : !pdl.type)
+// CHECK-NEXT:        pdl.replace %root with %new_op
+// CHECK-NEXT:      }
+// CHECK-NEXT:    }
+// CHECK-NEXT:  }
+// CHECK-NEXT:  

xdsl/interpreters/pdl.py

@@ -386,3 +386,10 @@ def run_erase(
         (old,) = interpreter.get_values((op.op_value,))
         self.rewriter.erase_op(old)
         return ()
+
+    @impl(pdl.TypeOp)
+    def run_type(
+        self, interpreter: Interpreter, op: pdl.TypeOp, args: tuple[Any, ...]
+    ) -> tuple[Any, ...]:
+        assert isinstance(op.constantType, Attribute)
+        return (op.constantType,)