From 6e1308bc1027eb65d0d1297e4b5efa0a69d611d0 Mon Sep 17 00:00:00 2001 From: Max Kazantsev Date: Thu, 14 Oct 2021 14:06:52 +0700 Subject: [PATCH] [SCEV][NFC] Simplify check with CI->isZero() exit condition Replace check with if ((ExitIfTrue && CI->isZero()) || (!ExitIfTrue && CI->isOne())) with equivalent and simpler version if (ExitIfTrue == CI->isZero()) --- llvm/lib/Analysis/ScalarEvolution.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 71b67dc..ec55c92 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -7829,7 +7829,7 @@ ScalarEvolution::computeBackedgeTakenCount(const Loop *L, if (auto *BI = dyn_cast(ExitBB->getTerminator())) if (auto *CI = dyn_cast(BI->getCondition())) { bool ExitIfTrue = !L->contains(BI->getSuccessor(0)); - if ((ExitIfTrue && CI->isZero()) || (!ExitIfTrue && CI->isOne())) + if (ExitIfTrue == CI->isZero()) continue; } -- 2.7.4