[Mlir-commits] [mlir] [MLIR][Linalg] Improve morphism semantics (PR #222959)

[Javed Absar]

================
@@ -29,9 +29,17 @@ include "mlir/IR/Constraints.td"
 //                          \-> sub
 //                          \-> ...
 //
-// Morphisms between representations can happen in the following 6 ways:
-//  generic <---> category <---> named
-//      \-------------------------/
+// Morphisms between representations can happen in the following ways:
+//  * Specialize: Convert `generic` operations to either:
----------------
javedabsar1 wrote:

I think 'Specialize' has lost its unique meaning. It started properly with generic<--->named, but lost it clarity with introduction of intermediatory category ops leading to warts like '* `category`, when the `emitCategory` flag is set (regardless of named ops)'
It would be better just to have best-effort linalg-morph-ops. If we are ok to remove large body of named ops, this is trivial change i reckon.


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