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

[Ehsan Amiri via llvm-commits]

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

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

> Let me make some changes in the proof. Then you give me a counter example if you think the proof is incorrect. I will make some changes and then send a comment here when the proof is ready for review.

Will update it tomorrow, most likely by noon our time.

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