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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

I have opened this issue and will write down proofs that control flow is irrelevant (i.e. if we have nowrappig flags, we don't need to worry about control flow). Will be updated gradually.

https://github.com/llvm/llvm-project/issues/168823



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