Searched refs:ArLHS (Results 1 – 1 of 1) sorted by relevance
11218 const SCEVAddRecExpr *ArLHS = dyn_cast<SCEVAddRecExpr>(LHS); in getLoopInvariantPredicate() local11219 if (!ArLHS || ArLHS->getLoop() != L) in getLoopInvariantPredicate()11222 auto MonotonicType = getMonotonicPredicateType(ArLHS, Pred); in getLoopInvariantPredicate()11246 return ScalarEvolution::LoopInvariantPredicate(Pred, ArLHS->getStart(), in getLoopInvariantPredicate()11258 assert(ArLHS->hasNoUnsignedWrap() && "Is a requirement of monotonicity!"); in getLoopInvariantPredicate()11278 if (ArLHS->hasNoSignedWrap() && ArLHS->isAffine() && in getLoopInvariantPredicate()11279 isKnownPositive(ArLHS->getStepRecurrence(*this)) && in getLoopInvariantPredicate()11281 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate()11282 return ScalarEvolution::LoopInvariantPredicate(Pred, ArLHS->getStart(), in getLoopInvariantPredicate()