[llvm] [DA] Rewrite Banerjee MIV test with SCEV-based interval arithmetic (PR #207662)

[Ruoyu Qiu via llvm-commits]

================

----------------
cabbaken wrote:

Thanks for clarifying.
I compared the SCEV implementation and the preceding APInt version. Excluding tests, the APInt version changes 672 lines, and the SCEV version changes 653 lines. The SCEV version is slightly smaller overall. The SCEV version also keeps some of the original structure.

Since SCEV does not make the implementation significantly larger, I think retaining it is reasonable.

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