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

[via llvm-commits]

v01dXYZ wrote:

I understand now why it fails. Polly uses for tests `-O3` which means any changes to the default passes could break them.

Attached bellow the result depending

``` shell
$LLVM_BUILD/bin/opt \
-polly-process-unprofitable  \
-polly-remarks-minimal  \
-polly-use-llvm-names  \
-polly-import-jscop-dir=$LLVM_ROOT/polly/test/Support  \
-polly-codegen-verify  \
-O3 \
-polly \
-polly-position=before-vectorizer \
-disable-output \
$LLVM_ROOT/polly/test/Support/pipelineposition.ll \
--print-before-all 2>&1
```
Below is the output of the above comment depending on the commit

* pass tests: e174704c52061fc688c07fce4f34b8e6db8766bd [file](https://github.com/llvm/llvm-project/files/15267351/polly_print_right.txt)
* fail tests: e174704c52061fc688c07fce4f34b8e6db8766bd [file](https://github.com/llvm/llvm-project/files/15267350/polly_print_wrong.txt)



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