Lines Matching defs:Predicates

5425 // Predicates. If successful, return them as a pair. Also cache the results
5475   SmallVector<const SCEVPredicate *, 3> Predicates;
5611     Predicates.push_back(AddRecPred);
5614   // Create the Equal Predicates P2,P3:
5664       Predicates.push_back(Pred);
5671   // *** Part3: Predicates are ready. Now go ahead and create the new addrec in
5674   // Predicates.
5678       std::make_pair(NewAR, Predicates);
5702     assert(!(Rewrite.second).empty() && "Expected to find Predicates");
5711     SmallVector<const SCEVPredicate *, 3> Predicates;
5712     PredicatedSCEVRewrites[{SymbolicPHI, L}] = {SymbolicPHI, Predicates};
8601       for (const auto *P : ENT.Predicates)
8661     SmallVector<const SCEVPredicate *, 4> *Predicates) {
8676         if (Predicates)
8677           for (const auto *P : ENT.Predicates)
8678             Predicates->push_back(P);
8680         assert((Predicates || ENT.hasAlwaysTruePredicate()) &&
8763                                 EL.Predicates);
8803     assert((AllowPredicates || EL.Predicates.empty()) &&
9107                    { &EL0.Predicates, &EL1.Predicates });
10439   SmallPtrSet<const SCEVPredicate *, 4> Predicates;
10454     AddRec = convertSCEVToAddRecWithPredicates(V, L, Predicates);
10467       return ExitLimit(R, R, R, false, Predicates);
10534                      Predicates);
10561     return ExitLimit(Exact, ConstantMax, SymbolicMax, false, Predicates);
10576   return ExitLimit(E, M, S, false, Predicates);
12777   SmallPtrSet<const SCEVPredicate *, 4> Predicates;
12865     IV = convertSCEVToAddRecWithPredicates(LHS, L, Predicates);
13059                        MaxBECount, false /*MaxOrZero*/, Predicates);
13253                    Predicates);
13259   SmallPtrSet<const SCEVPredicate *, 4> Predicates;
13269     IV = convertSCEVToAddRecWithPredicates(LHS, L, Predicates);
13352                    Predicates);
13680     OS << " Predicates:\n";
13698     OS << " Predicates:\n";