[llvm] [DA] Check monotonicity for subscripts (PR #154527)

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

> But I found related functionality in SE which is `ScalarEvolution::getRangeForAffineNoSelfWrappingAR`

It seems to be a private function, and at a glance, we have to set `UseExpensiveRangeSharpening` to true in order to run it, which is false by default. Well, we might be able to allow controlling it through an argument, though.

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