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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> Can you please move to a new PR/issue immediately? If you want to deepen your understanding, please do it over there. While it seems _you_ have found something significant in this thread, I personally didn't find much that was new. Of course you are free to explore your ideas on your own, but I don't think this thread is the right place for it anymore.
> 
> I believe the original topic is a kind of issue related to API design (e.g., maybe we should define something like . 

Well, for the time being my investigation is quite related to the discussion on this thread. I do recognize that you and Michael have done a lot of work on DA and  developed  good ideas and you personally have developed quite bit of code, but there are gaps in our understanding and I have made contributions (documented in the discussion above) that is likely to fill the gap.. and when I posted my ideas I  haven't seen any comment that indicates those ideas  are not new. I really prefer three of us working together and give each other credit due.


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