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

[Ryotaro Kasuga via llvm-commits]

================

----------------
kasuga-fj wrote:

(Totally not related to this PR)
When I was debugging, I found that no "constraint propagation" happens in this test...

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