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

[Ehsan Amiri via llvm-commits]

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

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

> As I mentioned in [#159846 (comment)](https://github.com/llvm/llvm-project/issues/159846#issuecomment-3586276330), there are cases where entire monotonicity has benefits. My proposal is to prepare two types of domain. Have you read the previous reply?

And I responded to your comment there. Please, let's stop this never ending discussion and wait for the area team to help us resolve this issue.


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