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

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

The test failure in LoopInterchange seems to the omission of `inbound` to GEPs. I'll submit another PR to address this.

Since all DA tests are passing, let me mark this as ready for now.

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