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

[Ehsan Amiri via llvm-commits]

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

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

> So, can I take it that, for the time being, there are no objections to moving forward with the approach of #170684 ?

Yes. While I disagree with the approach, I don't have objections if you want to implement it. I may still participate in the review and have other comments.

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