[Mlir-commits] [mlir] [mlir][affine] Use value bound inference to determine minimum/maximum trip counts in loop analysis (PR #128113)

[Oleksandr Alex Zinenko]

https://github.com/ftynse requested changes to this pull request.

I don't understand the need for min/max bound logic here. `computeConstantBound` allows one to compute the "equality" bound, e.g., whether the value is known to always be equal. That would be a direct equivalent of the existing logic using a more advanced analysis.

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