llvm-project

ec54ec65 - [MLIR][Affine] Improve memref region bounding size and shape computation (#129009)

[MLIR][Affine] Improve memref region bounding size and shape computation (#129009) Improve memref region utility (`getConstantBoundingSizeAndShape`) to get its constant bounding size and shape using affine expressions/maps by also considering local variables in the system. Leads to significantly precise and tighter bounding size and shape in the presence of div/mod expressions (as evident from the test cases). The approach is now more robust, proper, and complete. For affine fusion, this leads to private memrefs of accurate size in several cases. This also impacts other affine analysis-based passes like data copy generation that use memref regions. With contributions from `Vinayaka Bandishti <vinayaka@polymagelabs.com>` on `getConstantBoundingSizeAndShape` and getConstantBoundOnDimSize`. Fixes: https://github.com/llvm/llvm-project/issues/46317 Co-authored-by: Vinayaka Bandishti <vinayaka@polymagelabs.com>