[llvm] [DA] Add test for addrec can wrap in GCD MIV (NFC) (PR #203526)

[Ehsan Amiri via llvm-commits]

https://github.com/amehsan approved this pull request.

I am fine if you want to merge this in the current form too. The reason is this:

This really tests regression in checking `nsw` flags. That is checked very early in the code now and any regression would cause many testcases to fail. (And that is why I didn't consider it a high priority to add this). Realistically speaking, it is unlikely that the execution of banerjee in the case of regression results in an effort to fix Banerjee instead of the root cause. 

Anyways, it is not my preference, but if you want to merge it, I am fine.

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