[llvm] [DA] Rewrite BanerjeeMIV test with safe APInt interval arithmetic (PR #207662)

[Ehsan Amiri via llvm-commits]

amehsan wrote:

> I've been thinking about this for a while, and I'm starting to feel that this overall approach is the right one.

I thought your favorite example of a loop with a loop guard (or any other conditional for that matter) would expose a potential correctness issue in this case. (and we probably need more safeguards to make the test functionally correct). Did I miss something?

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