[llvm] 62fded6 - [DA] Remove redundant check in the Weak Zero SIV tests (NFCI) (#188922)

[via llvm-commits]

Author: Ryotaro Kasuga
Date: 2026-03-27T08:31:07Z
New Revision: 62fded6b0f2d228ed8b0922cf238569413485c8d

URL: https://github.com/llvm/llvm-project/commit/62fded6b0f2d228ed8b0922cf238569413485c8d
DIFF: https://github.com/llvm/llvm-project/commit/62fded6b0f2d228ed8b0922cf238569413485c8d.diff

LOG: [DA] Remove redundant check in the Weak Zero SIV tests (NFCI) (#188922)

The trivial disjoint checks in several dependence tests were
consolidated into a single invocation in #187435. However, the
duplicated check still remains in the Weak Crossing SIV tests. This is
redundant and should be deleted as well.

Added: 
    

Modified: 
    llvm/lib/Analysis/DependenceAnalysis.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/DependenceAnalysis.cpp b/llvm/lib/Analysis/DependenceAnalysis.cpp
index 8866d36da36c2..a41fa8a5b2cca 100644
--- a/llvm/lib/Analysis/DependenceAnalysis.cpp
+++ b/llvm/lib/Analysis/DependenceAnalysis.cpp
@@ -1783,14 +1783,6 @@ bool DependenceInfo::weakZeroSIVtestImpl(const SCEVAddRecExpr *AR,
   const SCEV *ARCoeff = AR->getStepRecurrence(*SE);
   const SCEV *ARConst = AR->getStart();
 
-  ConstantRange ARRange = SE->getSignedRange(AR);
-  ConstantRange ConstRange = SE->getSignedRange(Const);
-  if (ARRange.intersectWith(ConstRange).isEmptySet()) {
-    ++WeakZeroSIVindependence;
-    ++WeakZeroSIVsuccesses;
-    return true;
-  }
-
   if (!AR->hasNoSignedWrap())
     return false;