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

[Ehsan Amiri via llvm-commits]

amehsan wrote:

>  @amehsan, you mentioned earlier that you planned to continue reviewing this patch. I believe the latest revision addresses your previous comments. 

Thanks for addressing previous comments. Please go ahead and merge this.


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