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

[Ruoyu Qiu via llvm-commits]

cabbaken wrote:

> Just out of curiosity, do you have examples (may already exist in the test files) that we need symbolic Banerjee to prove independence? I am just wondering if such examples look like something that we may encounter in real world, or not.

Yes, I've uploaded the new test file banerjee-symbolic.ll to illustrate the necessity of symbolic support.

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