From: Max Kazantsev Date: Thu, 29 Mar 2018 07:54:59 +0000 (+0000) Subject: [NFC] Fix meaningless assert in SCEV X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=18f93894dbcbd64403e0ec349bff4cd237892e59;p=platform%2Fupstream%2Fllvm.git [NFC] Fix meaningless assert in SCEV llvm-svn: 328764 --- diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 2b96b98..a767597 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -8720,13 +8720,13 @@ bool ScalarEvolution::isKnownViaInduction(ICmpInst::Predicate Pred, // if LHS contains unknown non-invariant SCEV then bail out. if (SplitLHS.first == getCouldNotCompute()) return false; - assert (SplitLHS.first != getCouldNotCompute() && "Unexpected CNC"); + assert (SplitLHS.second != getCouldNotCompute() && "Unexpected CNC"); // Get init and post increment value for RHS. auto SplitRHS = SplitIntoInitAndPostInc(MDL, RHS); // if RHS contains unknown non-invariant SCEV then bail out. if (SplitRHS.first == getCouldNotCompute()) return false; - assert (SplitRHS.first != getCouldNotCompute() && "Unexpected CNC"); + assert (SplitRHS.second != getCouldNotCompute() && "Unexpected CNC"); // It is possible that init SCEV contains an invariant load but it does // not dominate MDL and is not available at MDL loop entry, so we should // check it here.