[flang-commits] [flang] [flang] Improve disjoint/identical slices recognition in opt-bufferization. (PR #119780)

[Slava Zakharin via flang-commits]

vzakhari wrote:

> Looks great, thanks!
> 
> I wonder if the isLess could be improved/made even more generic by using MLIR/LLVM Presburger (I have never used it, so this is a random comment, and I do not expect a follow-up here).

Thanks for the hint, Jean! I will learn about MLIR Presburger to see how it can be applied.

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