aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMax Kazantsev <mkazantsev@azul.com>2021-05-27 12:50:54 +0700
committerMax Kazantsev <mkazantsev@azul.com>2021-05-27 12:50:54 +0700
commit59d938e649e62db0cef4903d495e838fbc6a6eb8 (patch)
treef20879c7e3464b7d4a7d07c9c56935c572b833e3
parentb0b2bf3b5da950679db1431aae431a6dedea2245 (diff)
downloadllvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.zip
llvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.tar.gz
llvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.tar.bz2
[NFC] Formatting fix
-rw-r--r--llvm/lib/Transforms/Scalar/LoopDeletion.cpp17
1 files changed, 9 insertions, 8 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopDeletion.cpp b/llvm/lib/Transforms/Scalar/LoopDeletion.cpp
index 14eb07a..cd2a3fc 100644
--- a/llvm/lib/Transforms/Scalar/LoopDeletion.cpp
+++ b/llvm/lib/Transforms/Scalar/LoopDeletion.cpp
@@ -283,16 +283,17 @@ static bool canProveExitOnFirstIteration(Loop *L, DominatorTree &DT,
// Can we prove constant true or false for this condition?
const SCEV *LHSS = getSCEVOnFirstIteration(LHS, L, SE, FirstIterSCEV);
const SCEV *RHSS = getSCEVOnFirstIteration(RHS, L, SE, FirstIterSCEV);
- // Only query for liveness of in-loop edge if another successor is also
- // in-loop.
- // TODO: isKnownPredicateAt is more powerful, but it's too compile time
- // consuming. So we avoid using it here.
- if (L->contains(Term->getSuccessor(1)) &&
- SE.isKnownPredicate(Pred, LHSS, RHSS))
- MarkLiveEdge(BB, Term->getSuccessor(0));
+ // Only query for liveness of in-loop edge if another successor is also
+ // in-loop.
+ // TODO: isKnownPredicateAt is more powerful, but it's too compile time
+ // consuming. So we avoid using it here.
+ if (L->contains(Term->getSuccessor(1)) &&
+ SE.isKnownPredicate(Pred, LHSS, RHSS))
+ MarkLiveEdge(BB, Term->getSuccessor(0));
else if (L->contains(Term->getSuccessor(0)) &&
SE.isKnownPredicate(ICmpInst::getInversePredicate(Pred), LHSS,
- RHSS)) MarkLiveEdge(BB, Term->getSuccessor(1));
+ RHSS))
+ MarkLiveEdge(BB, Term->getSuccessor(1));
else
MarkAllSuccessorsLive(BB);
}