Lines Matching refs:SCEVPredicate

4697 Optional<std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>>>
4699 SmallVector<const SCEVPredicate *, 3> Predicates; in createAddRecFromPHIWithCastsImpl()
4834 const SCEVPredicate *AddRecPred = getWrapPredicate(AR, AddedFlags); in createAddRecFromPHIWithCastsImpl()
4886 const SCEVPredicate *Pred = getEqualPredicate(Expr, ExtendedExpr); in createAddRecFromPHIWithCastsImpl()
4901 std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>> PredRewrite = in createAddRecFromPHIWithCastsImpl()
4908 Optional<std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>>>
4918 std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>> Rewrite = in createAddRecFromPHIWithCasts()
4930 Optional<std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>>> in createAddRecFromPHIWithCasts()
4935 SmallVector<const SCEVPredicate *, 3> Predicates; in createAddRecFromPHIWithCasts()
6942 ArrayRef<const SmallPtrSetImpl<const SCEVPredicate *> *> PredSetList) in ExitLimit()
6957 const SmallPtrSetImpl<const SCEVPredicate *> &PredSet) in ExitLimit()
8630 SmallPtrSet<const SCEVPredicate *, 4> Predicates; in howFarToZero()
10494 SmallPtrSet<const SCEVPredicate *, 4> Predicates; in howManyLessThans()
10635 SmallPtrSet<const SCEVPredicate *, 4> Predicates; in howManyGreaterThans()
11970 const SCEVPredicate *ScalarEvolution::getEqualPredicate(const SCEV *LHS, in getEqualPredicate()
11976 ID.AddInteger(SCEVPredicate::P_Equal); in getEqualPredicate()
11988 const SCEVPredicate *ScalarEvolution::getWrapPredicate( in getWrapPredicate()
11993 ID.AddInteger(SCEVPredicate::P_Wrap); in getWrapPredicate()
12019 SmallPtrSetImpl<const SCEVPredicate *> *NewPreds, in rewrite()
12070 SmallPtrSetImpl<const SCEVPredicate *> *NewPreds, in SCEVPredicateRewriter()
12074 bool addOverflowAssumption(const SCEVPredicate *P) { in addOverflowAssumption()
12098 Optional<std::pair<const SCEV *, SmallVector<const SCEVPredicate *, 3>>> in convertToAddRecWithPreds()
12115 SmallPtrSetImpl<const SCEVPredicate *> *NewPreds;
12129 SmallPtrSetImpl<const SCEVPredicate *> &Preds) { in convertSCEVToAddRecWithPredicates()
12130 SmallPtrSet<const SCEVPredicate *, 4> TransformPreds; in convertSCEVToAddRecWithPredicates()
12146 SCEVPredicate::SCEVPredicate(const FoldingSetNodeIDRef ID, in SCEVPredicate() function in SCEVPredicate
12152 : SCEVPredicate(ID, P_Equal), LHS(LHS), RHS(RHS) { in SCEVEqualPredicate()
12157 bool SCEVEqualPredicate::implies(const SCEVPredicate *N) const { in implies()
12177 : SCEVPredicate(ID, P_Wrap), AR(AR), Flags(Flags) {} in SCEVWrapPredicate()
12181 bool SCEVWrapPredicate::implies(const SCEVPredicate *N) const { in implies()
12229 : SCEVPredicate(FoldingSetNodeIDRef(nullptr, 0), P_Union) {} in SCEVUnionPredicate()
12233 [](const SCEVPredicate *I) { return I->isAlwaysTrue(); }); in isAlwaysTrue()
12236 ArrayRef<const SCEVPredicate *>
12240 return ArrayRef<const SCEVPredicate *>(); in getPredicatesForExpr()
12244 bool SCEVUnionPredicate::implies(const SCEVPredicate *N) const { in implies()
12247 [this](const SCEVPredicate *I) { return this->implies(I); }); in implies()
12255 [N](const SCEVPredicate *I) { return I->implies(N); }); in implies()
12265 void SCEVUnionPredicate::add(const SCEVPredicate *N) { in add()
12315 void PredicatedScalarEvolution::addPredicate(const SCEVPredicate &Pred) { in addPredicate()
12370 SmallPtrSet<const SCEVPredicate *, 4> NewPreds; in getAsAddRec()