Searched refs:ArLHS (Results 1 – 1 of 1) sorted by relevance
11068 const SCEVAddRecExpr *ArLHS = dyn_cast<SCEVAddRecExpr>(LHS); in getLoopInvariantPredicate() local11069 if (!ArLHS || ArLHS->getLoop() != L) in getLoopInvariantPredicate()11072 auto MonotonicType = getMonotonicPredicateType(ArLHS, Pred); in getLoopInvariantPredicate()11096 return ScalarEvolution::LoopInvariantPredicate(Pred, ArLHS->getStart(), in getLoopInvariantPredicate()11108 assert(ArLHS->hasNoUnsignedWrap() && "Is a requirement of monotonicity!"); in getLoopInvariantPredicate()11128 if (ArLHS->hasNoSignedWrap() && ArLHS->isAffine() && in getLoopInvariantPredicate()11129 isKnownPositive(ArLHS->getStepRecurrence(*this)) && in getLoopInvariantPredicate()11131 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate()11132 return ScalarEvolution::LoopInvariantPredicate(Pred, ArLHS->getStart(), in getLoopInvariantPredicate()