tree 16a3b0f1b39510826e95e97d88466fe4f6129b39
parent e3c8e17b073bf38e900014ed47230882c407dab8
author Uday Bondhugula <uday@polymagelabs.com> 1741086854 +0530
committer GitHub <noreply@github.com> 1741086854 +0530
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJnxuCGCRC1aQ7uu5UhlAAAnfsQAIJUDhrTsBWtd5a0/7fikS1s
 zqE+TrqxymnwWr5kxN1IGDKw0hdZu4jUaZLTVMHSAfuFzfl3NuFknSn/kq9KsN55
 rk3yQLgd/tL4GSG5N7o6hprdEbbs9yOwpEpk2XOW0d8SzfX3qr2pmXNphPp4DqRR
 cL7oUS3jbMt7/3E4XF8CO+bzPQXFMGALKWEByRaYhgaPEylIPS1cDS1n7uTUKSJZ
 AZx0XS+nWs9pPSNVfQIWZcg1VDAyihvKeor/XeOmBKnMgagTaAMc1egWZ6EA5Pn6
 H4B8KGqpeCetompOmjl8TN+h9MDXFBBAh/tTt6rpFWFzXINgCOuY5iNHyKlhjXct
 5zSOH6+D8hrZaBqOwv816Fg/jUOpwqpwnreCjBSneGQ8DHw276GnYwL5wtGFOl8f
 2ZmPpvbKaK4QxnTIXqUOhB4lsKd76+ngxzb6IkZCcbnJu4JfMTXXfeEaAMAgwTaU
 Ie4Jf9cCbeN5Z2lSaUPylIc46HFM8dgXPttT3uwGp3UH39ajSNh4tNQLBjfjiBSg
 6H3L7nfjnhA0406xUjO9vokNwbPQxGrIsfUxQ6ylbABg9iRH/yAfLNnVzY1VDHo/
 osBrvD64lKReWfav2rK5hQf4I8VQ++TtztxfXG7ri6N4qsPxubxNMYJpRJLe66b1
 y7v+Nm+4ZKkl8JRTaOql
 =SF3s
 -----END PGP SIGNATURE-----
 

[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>