[llvm] [polly] [ConstraintElimination] Use SCEV ranges information for Loop counter (PR #91457)

[via llvm-commits]

v01dXYZ wrote:

This PR has been superseded by #93598  as it appears `ConstraintElimination` is not the right pass for optimisation of Induction Variable Users that occur post-loop. I stop working on it and close it.

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