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

[Sushant Gokhale via llvm-commits]

sushgokh wrote:

I was wondering that isnt checking only geps for wrapping (i.e. nusw) sufficient ? 

Also, is MinMax calculator really needed? For cases like #149501, we just need delta and bounds, right? Are there any other cases where min/max are needed seperately?

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