[Mlir-commits] [mlir] [mlir][memref] Add memref alias folding for masked transfers (PR #71476)

[Nicolas Vasilache]

nicolasvasilache wrote:

> A tricky part with subview ops in general is rank reducing behavior. Thinking a bit actually it should be fine given that folding rank reducing subview ops into the original memref would just mean we see extra dims in the transfer op permuation map. That will be [compressed when inferTransferOpMaskType](https://github.com/llvm/llvm-project/blob/main/mlir/lib/Dialect/Vector/IR/VectorOps.cpp#L3758-L3773), so we can still use the same mask.

Let's add some rank-reducing tests please

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