9150   CmpPredicate Pred;  in computeExitLimitFromICmp()
9175     const Loop *L, CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS,  in computeExitLimitFromICmp()
10737 bool ScalarEvolution::SimplifyICmpOperands(CmpPredicate &Pred, const SCEV *&LHS,  in SimplifyICmpOperands()
11036 bool ScalarEvolution::isKnownViaInduction(CmpPredicate Pred, const SCEV *LHS,  in isKnownViaInduction()
11086 bool ScalarEvolution::isKnownPredicate(CmpPredicate Pred, const SCEV *LHS,  in isKnownPredicate()
11101 std::optional<bool> ScalarEvolution::evaluatePredicate(CmpPredicate Pred,  in evaluatePredicate()
11111 bool ScalarEvolution::isKnownPredicateAt(CmpPredicate Pred, const SCEV *LHS,  in isKnownPredicateAt()
11120 ScalarEvolution::evaluatePredicateAt(CmpPredicate Pred, const SCEV *LHS,  in evaluatePredicateAt()
11134 bool ScalarEvolution::isKnownOnEveryIteration(CmpPredicate Pred,  in isKnownOnEveryIteration()
11206 ScalarEvolution::getLoopInvariantPredicate(CmpPredicate Pred, const SCEV *LHS,  in getLoopInvariantPredicate()
11292     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, const Loop *L,  in getLoopInvariantExitCondDuringFirstIterations()
11312     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, const Loop *L,  in getLoopInvariantExitCondDuringFirstIterationsImpl()
11374 bool ScalarEvolution::isKnownPredicateViaConstantRanges(CmpPredicate Pred,  in isKnownPredicateViaConstantRanges()
11401 bool ScalarEvolution::isKnownPredicateViaNoOverflow(CmpPredicate Pred,  in isKnownPredicateViaNoOverflow()
11494 bool ScalarEvolution::isKnownPredicateViaSplitting(CmpPredicate Pred,  in isKnownPredicateViaSplitting()
11516 bool ScalarEvolution::isImpliedViaGuard(const BasicBlock *BB, CmpPredicate Pred,  in isImpliedViaGuard()
11536                                                   CmpPredicate Pred,  in isLoopBackedgeGuardedByCond()
11642                                                      CmpPredicate Pred,  in isBasicBlockEntryGuardedByCond()
11657   CmpPredicate NonStrictPredicate = ICmpInst::getNonStrictCmpPredicate(Pred);  in isBasicBlockEntryGuardedByCond()
11663   auto SplitAndProve = [&](std::function<bool(CmpPredicate)> Fn) -> bool {  in isBasicBlockEntryGuardedByCond()
11674     auto ProofFn = [&](CmpPredicate P) {  in isBasicBlockEntryGuardedByCond()
11687       auto ProofFn = [&](CmpPredicate P) {  in isBasicBlockEntryGuardedByCond()
11741 bool ScalarEvolution::isLoopEntryGuardedByCond(const Loop *L, CmpPredicate Pred,  in isLoopEntryGuardedByCond()
11761 bool ScalarEvolution::isImpliedCond(CmpPredicate Pred, const SCEV *LHS,  in isImpliedCond()
11793   CmpPredicate FoundPred;  in isImpliedCond()
11805 bool ScalarEvolution::isImpliedCond(CmpPredicate Pred, const SCEV *LHS,  in isImpliedCond()
11806                                     const SCEV *RHS, CmpPredicate FoundPred,  in isImpliedCond()
11861     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, CmpPredicate FoundPred,  in isImpliedCondBalancedTypes()
11887   if (auto P = CmpPredicate::getMatching(FoundPred, Pred))  in isImpliedCondBalancedTypes()
11892   if (auto P = CmpPredicate::getMatching(  in isImpliedCondBalancedTypes()
11941     CmpPredicate CanonicalPred = Pred, CanonicalFoundPred = FoundPred;  in isImpliedCondBalancedTypes()
12196     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, const SCEV *FoundLHS,  in isImpliedCondOperandsViaAddRecStart()
12240 bool ScalarEvolution::isImpliedCondOperandsViaNoOverflow(CmpPredicate Pred,  in isImpliedCondOperandsViaNoOverflow()
12321 bool ScalarEvolution::isImpliedViaMerge(CmpPredicate Pred, const SCEV *LHS,  in isImpliedViaMerge()
12440 bool ScalarEvolution::isImpliedCondOperandsViaShift(CmpPredicate Pred,  in isImpliedCondOperandsViaShift()
12482 bool ScalarEvolution::isImpliedCondOperands(CmpPredicate Pred, const SCEV *LHS,  in isImpliedCondOperands()
12509                                            CmpPredicate Pred, const SCEV *LHS,  in IsKnownPredicateViaAddRecStart()
12537 static bool IsKnownPredicateViaMinOrMax(ScalarEvolution &SE, CmpPredicate Pred,  in IsKnownPredicateViaMinOrMax()
12568 bool ScalarEvolution::isImpliedViaOperations(CmpPredicate Pred, const SCEV *LHS,  in isImpliedViaOperations()
12738 static bool isKnownPredicateExtendIdiom(CmpPredicate Pred, const SCEV *LHS,  in isKnownPredicateExtendIdiom()
12765 bool ScalarEvolution::isKnownViaNonRecursiveReasoning(CmpPredicate Pred,  in isKnownViaNonRecursiveReasoning()
12775 bool ScalarEvolution::isImpliedCondOperandsHelper(CmpPredicate Pred,  in isImpliedCondOperandsHelper()
12822     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, CmpPredicate FoundPred,  in isImpliedCondOperandsViaRanges()