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

[Renato Golin]

================
@@ -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:
----------------
rengolin wrote:

I disagree. Specialize is "make it less generic". In the case of named operations, that's what you get. If you don't have those, but have category, then the pass has specialized, as requested.

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