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

[via llvm-commits]

v01dXYZ wrote:

@fhahn I think the PR is ready. The changes are mainly for `ConstraintElimination`/`ConstraintSystem` which is a part where the major contributor seems to be you. Thus my request for a review.

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