diff --git a/llvm/lib/Analysis/LoopDependenceAnalysis.cpp b/llvm/lib/Analysis/LoopDependenceAnalysis.cpp index 10a6a8eb06f5..eb8ea0ebdb0b 100644 --- a/llvm/lib/Analysis/LoopDependenceAnalysis.cpp +++ b/llvm/lib/Analysis/LoopDependenceAnalysis.cpp @@ -144,9 +144,8 @@ LoopDependenceAnalysis::DependenceResult LoopDependenceAnalysis::analyseZIV(const SCEV *A, const SCEV *B, Subscript *S) const { - assert(isZIVPair(A, B)); - const SCEV *diff = SE->getMinusSCEV(A, B); - return diff->isZero() ? Dependent : Independent; + assert(isZIVPair(A, B) && "Attempted to ZIV-test non-ZIV SCEVs!"); + return A == B ? Dependent : Independent; } LoopDependenceAnalysis::DependenceResult