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

[Ruoyu Qiu via llvm-commits]

cabbaken wrote:

Thanks @kasuga-fj for the review and approval.
@amehsan, you mentioned earlier that you planned to continue reviewing this patch. I believe the latest revision addresses your previous comments. Please let me know if you have any remaining suggestions when you have time.
Since this is a relatively large and correctness-sensitive change to DependenceAnalysis, I’d appreciate another look before merging.
Thanks!

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