Home
last modified time | relevance | path

Searched refs:isLoopBackedgeGuardedByCond (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DScalarEvolution.h777 bool isLoopBackedgeGuardedByCond(const Loop *L, ICmpInst::Predicate Pred,
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DScalarEvolution.cpp1759 if (isLoopBackedgeGuardedByCond(L, ICmpInst::ICMP_UGT, AR, N) || in getZeroExtendExpr()
4994 (isLoopBackedgeGuardedByCond(L, Pred, AR, OverflowLimit) || in proveNoSignedWrapViaInduction()
5043 if (isLoopBackedgeGuardedByCond(L, ICmpInst::ICMP_ULT, AR, N) || in proveNoUnsignedWrapViaInduction()
10599 return isLoopBackedgeGuardedByCond(MDL, Pred, SplitLHS.second, in isKnownViaInduction()
10659 isLoopBackedgeGuardedByCond(L, Pred, LHS->getPostIncExpr(*this), RHS); in isKnownOnEveryIteration()
10768 if (!isLoopBackedgeGuardedByCond(L, P, LHS, RHS)) in getLoopInvariantPredicate()
10819 if (!isLoopBackedgeGuardedByCond(L, Pred, Last, RHS)) in getLoopInvariantExitCondDuringFirstIterations()
11016 ScalarEvolution::isLoopBackedgeGuardedByCond(const Loop *L, in isLoopBackedgeGuardedByCond() function in ScalarEvolution