diff options
author | Max Kazantsev <mkazantsev@azul.com> | 2021-05-27 12:50:54 +0700 |
---|---|---|
committer | Max Kazantsev <mkazantsev@azul.com> | 2021-05-27 12:50:54 +0700 |
commit | 59d938e649e62db0cef4903d495e838fbc6a6eb8 (patch) | |
tree | f20879c7e3464b7d4a7d07c9c56935c572b833e3 | |
parent | b0b2bf3b5da950679db1431aae431a6dedea2245 (diff) | |
download | llvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.zip llvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.tar.gz llvm-59d938e649e62db0cef4903d495e838fbc6a6eb8.tar.bz2 |
[NFC] Formatting fix
-rw-r--r-- | llvm/lib/Transforms/Scalar/LoopDeletion.cpp | 17 |
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); } |