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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> I'm going to be direct for a moment. If this is a misunderstanding, I apologize in advance.
> 
> Looking back at your comments in this thread, I got the impression that you haven't thoroughly read the DA code, and you are only focusing on the parts you have checked. If so, it's only natural that the discussion take time and/or is going in circles. I don’t think continuing the discussion with you in this state will lead to a good outcome.

I suggest you show a specific technical mistake in my comments. That will be much more convincing. But now let me anwer to your comment above.

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