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

[Ruoyu Qiu via llvm-commits]

cabbaken wrote:

Hi @amehsan and @kasuga-fj, gentle ping: could you please take a look at this patch when you have time?

This patch intends to fix correctness issues in `banerjeeMIVtest`. It rewrites the Banerjee MIV test to avoid unsound overflow issues in the old SCEV-based bound computation by using APInt interval arithmetic.

I’d appreciate feedback on the design and implementation details. Thanks!

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