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

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

With respect to SIV tests and nowrap flag based monotonicity inference, I noticed that monotonicity over entire domain and effective domain are almost the same...

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