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

[Ryotaro Kasuga via llvm-commits]

kasuga-fj wrote:

If you intend to continue this one, I'd strongly recommend creating a new PR/Issue and moving the discussion there. It seems this is no longer closely related to the original issue I raised. I'd like to go back to the original topic.

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