8077   const SCEV *FoundRHS = getSCEV(ICI->getOperand(1));  in isImpliedCond()  local
8079   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS);  in isImpliedCond()
8086                                     const SCEV *FoundRHS) {  in isImpliedCond()  argument
8101       FoundRHS = getSignExtendExpr(FoundRHS, LHS->getType());  in isImpliedCond()
8104       FoundRHS = getZeroExtendExpr(FoundRHS, LHS->getType());  in isImpliedCond()
8113   if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS))  in isImpliedCond()
8114     if (FoundLHS == FoundRHS)  in isImpliedCond()
8118   if (LHS == FoundRHS || RHS == FoundLHS) {  in isImpliedCond()
8120       std::swap(FoundLHS, FoundRHS);  in isImpliedCond()
8130     return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS);  in isImpliedCond()
8136       return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS);  in isImpliedCond()
8139                                    RHS, LHS, FoundLHS, FoundRHS);  in isImpliedCond()
8146       isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS))  in isImpliedCond()
8147     return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS);  in isImpliedCond()
8151       (isa<SCEVConstant>(FoundLHS) || isa<SCEVConstant>(FoundRHS))) {  in isImpliedCond()
8158       V = FoundRHS;  in isImpliedCond()
8160       C = cast<SCEVConstant>(FoundRHS);  in isImpliedCond()
8212       if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS))  in isImpliedCond()
8216       if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS))  in isImpliedCond()
8291     const SCEV *FoundLHS, const SCEV *FoundRHS) {  in isImpliedCondOperandsViaNoOverflow()  argument
8345       !computeConstantDifference(FoundRHS, RHS, RDiff) ||  in isImpliedCondOperandsViaNoOverflow()
8362   return isLoopEntryGuardedByCond(L, Pred, FoundRHS,  in isImpliedCondOperandsViaNoOverflow()
8369                                             const SCEV *FoundRHS) {  in isImpliedCondOperands()  argument
8370   if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundLHS, FoundRHS))  in isImpliedCondOperands()
8373   if (isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS, FoundRHS))  in isImpliedCondOperands()
8377                                      FoundLHS, FoundRHS) ||  in isImpliedCondOperands()
8380                                      getNotSCEV(FoundRHS),  in isImpliedCondOperands()
8494                                              const SCEV *FoundRHS) {  in isImpliedCondOperandsHelper()  argument
8507     if (HasSameValue(LHS, FoundLHS) && HasSameValue(RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8513         IsKnownPredicateFull(ICmpInst::ICMP_SGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8519         IsKnownPredicateFull(ICmpInst::ICMP_SLE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8525         IsKnownPredicateFull(ICmpInst::ICMP_UGE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8531         IsKnownPredicateFull(ICmpInst::ICMP_ULE, RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8543                                                      const SCEV *FoundRHS) {  in isImpliedCondOperandsViaRanges()  argument
8544   if (!isa<SCEVConstant>(RHS) || !isa<SCEVConstant>(FoundRHS))  in isImpliedCondOperandsViaRanges()
8554   APInt ConstFoundRHS = cast<SCEVConstant>(FoundRHS)->getAPInt();  in isImpliedCondOperandsViaRanges()