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

[Ryotaro Kasuga via llvm-commits]

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

----------------
kasuga-fj wrote:

As I mentioned in 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?

Also, we have explained why we use the term monotonicity. Moreover, it's slightly off the topic of this issue.

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