From 18f93894dbcbd64403e0ec349bff4cd237892e59 Mon Sep 17 00:00:00 2001 From: Max Kazantsev Date: Thu, 29 Mar 2018 07:54:59 +0000 Subject: [PATCH] [NFC] Fix meaningless assert in SCEV llvm-svn: 328764 --- llvm/lib/Analysis/ScalarEvolution.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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. -- 2.7.4