[llvm] [DA] Add tests for nsw doesn't hold on entire iteration space (NFC) (PR #162281)

[Ehsan Amiri via llvm-commits]

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

----------------
amehsan wrote:

> How is this reflected in the proof and in the code? if you have a large BTC then `a*i` at some point will cross the bounday of `2^63` and so `a*i` cannot have nsw flag. So monotonicity check will fail.

I am wondering if we need to explicitly add a test of `BTC > 0` to the implementation or not. I need to think about it more.



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