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

[Ryotaro Kasuga via llvm-commits]

================
@@ -1922,36 +1922,167 @@ bool DependenceInfo::gcdMIVtest(const SCEV *Src, const SCEV *Dst,
 }
 
 //===----------------------------------------------------------------------===//
+
+namespace {
+struct BanerjeeInterval {
----------------
kasuga-fj wrote:

Why not using `ConstantRange`? To represent `inf`?

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