[Mlir-commits] [mlir] [mlir][mem2reg] Promote buffers accessed via dynamic subviews, reshapes and memref.copy (PR #217793)

[Jianhui Li]

Jianhui-Li wrote:

> Consider supporting `memref::ExpandShapeOp` and `memref::CollapseShapeOp` that are used to create differently-ranked reassociated dynamic views

Thanks @akroviakov for the feedback. I have included the support in this PR. 

Just to add to the context of this PR, this PR addresses the issue which we tried to address in #214812. Now the padded tile is vectorized, bufferized (dynamic shape subview), and Memreg (This PR handles dyanmic shape) promote these subview to vector mask+select ops, so that allowing the vector IR to carry these masks and potentially optimize the masked computation away.  @banach-space @rengolin @dcaballe @adam-smnk @Moxinilian
https://github.com/llvm/llvm-project/pull/214812#issuecomment-5305033202

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