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

[Ehsan Amiri via llvm-commits]

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

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

The solution to this is to drop the notion of monotonicity and define everything in terms of "no-wrap".

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