[Mlir-commits] [mlir] [mlir] Add the concept of ASM dialect aliases (PR #86033)

[Fabian Mora]

fabianmcg wrote:

> Is the following a correct summary? The point of introducing this is to make it possible that `!ptr.ptr<#llvm.address_space<1>>` can be printed and parsed as e.g. `!llvm.ptr<1>` and the current implementation aims to do so by allowing a dialect to take over the printing and parsing of any attribute/type by returning `DialectAlias` from `getAlias`.

Yes.

Here's a prototype of the toned down version:
 - [mlir/include/mlir/IR/BuiltinTypeInterfaces.td](https://github.com/llvm/llvm-project/pull/73057/files#diff-28822487792755cb135800985143e73ff20a15e73da1b49e1ba1fb5a05a5f710R191-R215 )
 - [mlir/lib/IR/AsmPrinter.cpp](https://github.com/llvm/llvm-project/pull/73057/files#diff-7e43770186249840f0ec7904e2d5562c796ff993f67250c275a6d7918a95130cR2718-R2721)

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