8076   const SCEV *FoundLHS = getSCEV(ICI->getOperand(0));  in isImpliedCond()  local
8079   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS);  in isImpliedCond()
8085                                     const SCEV *FoundLHS,  in isImpliedCond()  argument
8089       getTypeSizeInBits(FoundLHS->getType())) {  in isImpliedCond()
8091       LHS = getSignExtendExpr(LHS, FoundLHS->getType());  in isImpliedCond()
8092       RHS = getSignExtendExpr(RHS, FoundLHS->getType());  in isImpliedCond()
8094       LHS = getZeroExtendExpr(LHS, FoundLHS->getType());  in isImpliedCond()
8095       RHS = getZeroExtendExpr(RHS, FoundLHS->getType());  in isImpliedCond()
8098       getTypeSizeInBits(FoundLHS->getType())) {  in isImpliedCond()
8100       FoundLHS = getSignExtendExpr(FoundLHS, LHS->getType());  in isImpliedCond()
8103       FoundLHS = getZeroExtendExpr(FoundLHS, 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()
8156     if (isa<SCEVConstant>(FoundLHS)) {  in isImpliedCond()
8157       C = cast<SCEVConstant>(FoundLHS);  in isImpliedCond()
8161       V = FoundLHS;  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
8299   const auto *AddRecFoundLHS = dyn_cast<SCEVAddRecExpr>(FoundLHS);  in isImpliedCondOperandsViaNoOverflow()
8344   if (!computeConstantDifference(FoundLHS, LHS, LDiff) ||  in isImpliedCondOperandsViaNoOverflow()
8368                                             const SCEV *FoundLHS,  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()
8381                                      getNotSCEV(FoundLHS));  in isImpliedCondOperands()
8493                                              const SCEV *FoundLHS,  in isImpliedCondOperandsHelper()  argument
8507     if (HasSameValue(LHS, FoundLHS) && HasSameValue(RHS, FoundRHS))  in isImpliedCondOperandsHelper()
8512     if (IsKnownPredicateFull(ICmpInst::ICMP_SLE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
8518     if (IsKnownPredicateFull(ICmpInst::ICMP_SGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
8524     if (IsKnownPredicateFull(ICmpInst::ICMP_ULE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
8530     if (IsKnownPredicateFull(ICmpInst::ICMP_UGE, LHS, FoundLHS) &&  in isImpliedCondOperandsHelper()
8542                                                      const SCEV *FoundLHS,  in isImpliedCondOperandsViaRanges()  argument
8550   if (!AddLHS || AddLHS->getOperand(1) != FoundLHS ||  in isImpliedCondOperandsViaRanges()