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

[via llvm-commits]

v01dXYZ wrote:

Very strange error it seems the output of `ScopInfo` is swapped (although same content). I don't know why that occurs.

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