[Mlir-commits] [mlir] [mlir] Add dialect hooks for registering custom type and attribute alias printers (PR #173091)

[Fabian Mora]

================
@@ -0,0 +1,14 @@
+// RUN: mlir-opt %s | FileCheck %s
+
+// Check that attr and type aliases are properly printed.
+
+// CHECK: {types = [!test.tuple_i7_from_attr, !test.tuple_i6_from_attr, tuple<!test.int<signed, 5>>]} : () -> (!test.tuple_i7, !test.tuple_i6, tuple<!test.int<signed, 5>>)
+"test.op"() {types = [
----------------
fabianmcg wrote:

The asymmetry refers to the required infra for adding the new feature of dialect aliases.

> IR should be round-trappable, this patch as is is creating non-roundtrippable IR in the test dialect, which I see as a problem.

This can be fixed in the patch.

https://github.com/llvm/llvm-project/pull/173091