[Mlir-commits] [mlir] [mlir][docs] Add more examples for the "canonical form" (PR #173667)

[Mehdi Amini]

joker-eph wrote:

>  The point there is that there can be multiple canonical forms on the same dialect

No: there can't be. While you may introduced some prerequisite for the purpose of transformations (like "codegen prepare" in LLVM), these can't be "canonical forms" in MLIR parlance, by definition of the canonical form being the set of patterns included in the canonicalizer. You need to adopt another terminology here.


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