Lines Matching defs:Predicates

5403 // Predicates. If successful, return them as a pair. Also cache the results
5453   SmallVector<const SCEVPredicate *, 3> Predicates;
5589     Predicates.push_back(AddRecPred);
5592   // Create the Equal Predicates P2,P3:
5642       Predicates.push_back(Pred);
5649   // *** Part3: Predicates are ready. Now go ahead and create the new addrec in
5652   // Predicates.
5656       std::make_pair(NewAR, Predicates);
5680     assert(!(Rewrite.second).empty() && "Expected to find Predicates");
5689     SmallVector<const SCEVPredicate *, 3> Predicates;
5690     PredicatedSCEVRewrites[{SymbolicPHI, L}] = {SymbolicPHI, Predicates};
8252     const Loop *L, SmallVectorImpl<const SCEVPredicate *> *Predicates) {
8255       Predicates ? getPredicatedConstantMaxBackedgeTakenCount(L, *Predicates)
8328     SmallVectorImpl<const SCEVPredicate *> *Predicates, ExitCountKind Kind) {
8332                                                       Predicates);
8335                                                             Predicates);
8338                                                             Predicates);
8662       append_range(*Preds, ENT.Predicates);
8677     SmallVectorImpl<const SCEVPredicate *> *Predicates) const {
8682       else if (Predicates) {
8683         append_range(*Predicates, ENT.Predicates);
8694     SmallVectorImpl<const SCEVPredicate *> *Predicates) const {
8700       if (!Predicates)
8702       append_range(*Predicates, ENT.Predicates);
8713     SmallVectorImpl<const SCEVPredicate *> *Predicates) {
8728         if (Predicates)
8729           append_range(*Predicates, ENT.Predicates);
8731         assert((Predicates || ENT.hasAlwaysTruePredicate()) &&
8788       Predicates.push_back(P);
8821                                 EL.Predicates);
8861     assert((AllowPredicates || EL.Predicates.empty()) &&
9165                    {ArrayRef(EL0.Predicates), ArrayRef(EL1.Predicates)});
10198                              SmallVectorImpl<const SCEVPredicate *> *Predicates,
10223       if (!Predicates)
10229       Predicates->push_back(SE.getEqualPredicate(URem, Zero));
10533   SmallVector<const SCEVPredicate *> Predicates;
10548     AddRec = convertSCEVToAddRecWithPredicates(V, L, Predicates);
10561       return ExitLimit(R, R, R, false, Predicates);
10627                      Predicates);
10654     return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates);
10663       AllowPredicates ? &Predicates : nullptr, *this);
10671   return ExitLimit(E, M, S, false, Predicates);
12942   SmallVector<const SCEVPredicate *> Predicates;
13001     IV = convertSCEVToAddRecWithPredicates(LHS, L, Predicates);
13184                        MaxBECount, false /*MaxOrZero*/, Predicates);
13376                    Predicates);
13382   SmallVector<const SCEVPredicate *> Predicates;
13392     IV = convertSCEVToAddRecWithPredicates(LHS, L, Predicates);
13475                    Predicates);
13752         SmallVector<const SCEVPredicate *> Predicates;
13753         EC = SE->getPredicatedExitCount(L, ExitingBlock, &Predicates);
13758           OS << "\n   Predicates:\n";
13759           for (const auto *P : Predicates)
13804         SmallVector<const SCEVPredicate *> Predicates;
13805         ExitBTC = SE->getPredicatedExitCount(L, ExitingBlock, &Predicates,
13811           OS << "\n   Predicates:\n";
13812           for (const auto *P : Predicates)
13832     OS << " Predicates:\n";
13852     OS << " Predicates:\n";
13872     OS << " Predicates:\n";