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

[Ehsan Amiri via llvm-commits]

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

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

> For the innermost addrec, if the exact BTC is computable, nowrap property should be valid for every iteration.

I don't think this is correct. I will give you an example in another comment later today. Will also respond to the rest of your comments later today.

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