[Mlir-commits] [mlir] [mlir] [linalg] fix failure on specializing matmul with permuted loops (PR #184294)

[Adam Siemieniuk]

adam-smnk wrote:

> Also thinking that, if a generic has "non-canonical" loop order, then maybe it's done on purpose? Some other compiler pass is doing this to optimize memory access, and then we go on and revert that change? So, perhaps, if the `generic` has non-canonical order, we shouldn't convert into a `matmul`?

Yeah, not sure about that. Are there any guarantees tied to iterator types order?
If changing that is deemed unsafe, then we'd need a separate rewrite (canonicalization?) pattern.

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