[Mlir-commits] [mlir] [MLIR][Affine] Prove unit address steps before super-vectorization (PR #234271)

[llvmlistbot at llvm.org]

sriramshastry wrote:

Hi @ftynse @dcaballe  @banach-space 

Could you review this affine-super-vectorization legality fix? It requires a provable unit address step before emitting a consecutive vector transfer, while retaining invariant quotient-offset cases.

I would appreciate feedback on the affine-map composition and contiguity check.

Thank you.

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