1640       const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in getZeroExtendExprImpl()  local
1641       if (!isa<SCEVCouldNotCompute>(MaxBECount)) {  in getZeroExtendExprImpl()
1647             getTruncateOrZeroExtend(MaxBECount, Start->getType(), Depth);  in getZeroExtendExprImpl()
1649             CastedMaxBECount, MaxBECount->getType(), Depth);  in getZeroExtendExprImpl()
1650         if (MaxBECount == RecastedMaxBECount) {  in getZeroExtendExprImpl()
1705       if (!isa<SCEVCouldNotCompute>(MaxBECount) || HasGuards ||  in getZeroExtendExprImpl()
2014       const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in getSignExtendExprImpl()  local
2015       if (!isa<SCEVCouldNotCompute>(MaxBECount)) {  in getSignExtendExprImpl()
2022             getTruncateOrZeroExtend(MaxBECount, Start->getType(), Depth);  in getSignExtendExprImpl()
2024             CastedMaxBECount, MaxBECount->getType(), Depth);  in getSignExtendExprImpl()
2025         if (MaxBECount == RecastedMaxBECount) {  in getSignExtendExprImpl()
5147   const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in proveNoSignedWrapViaInduction()  local
5157   if (isa<SCEVCouldNotCompute>(MaxBECount) && !HasGuards &&  in proveNoSignedWrapViaInduction()
5201   const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in proveNoUnsignedWrapViaInduction()  local
5211   if (isa<SCEVCouldNotCompute>(MaxBECount) && !HasGuards &&  in proveNoUnsignedWrapViaInduction()
6749         APInt MaxBECount = cast<SCEVConstant>(MaxBEScev)->getAPInt();  in getRangeRef()  local
6753         if (MaxBECount.getBitWidth() > BitWidth &&  in getRangeRef()
6754             MaxBECount.getActiveBits() <= BitWidth)  in getRangeRef()
6755           MaxBECount = MaxBECount.trunc(BitWidth);  in getRangeRef()
6756         else if (MaxBECount.getBitWidth() < BitWidth)  in getRangeRef()
6757           MaxBECount = MaxBECount.zext(BitWidth);  in getRangeRef()
6759         if (MaxBECount.getBitWidth() == BitWidth) {  in getRangeRef()
6761               AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount);  in getRangeRef()
6766               AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount);  in getRangeRef()
6944                                                const APInt &MaxBECount,  in getRangeForAffineARHelper()  argument
6948          BitWidth == MaxBECount.getBitWidth() && "mismatched bit widths");  in getRangeForAffineARHelper()
6951   if (Step == 0 || MaxBECount == 0)  in getRangeForAffineARHelper()
6973   if (APInt::getMaxValue(StartRange.getBitWidth()).udiv(Step).ult(MaxBECount))  in getRangeForAffineARHelper()
6978   APInt Offset = Step * MaxBECount;  in getRangeForAffineARHelper()
7007                                                    const APInt &MaxBECount) {  in getRangeForAffineAR()  argument
7010          getTypeSizeInBits(Start->getType()) == MaxBECount.getBitWidth() &&  in getRangeForAffineAR()
7020       StepSRange.getSignedMin(), StartSRange, MaxBECount, /* Signed = */ true);  in getRangeForAffineAR()
7022                                               StartSRange, MaxBECount,  in getRangeForAffineAR()
7027       getUnsignedRangeMax(Step), getUnsignedRange(Start), MaxBECount,  in getRangeForAffineAR()
7035     const SCEVAddRecExpr *AddRec, const SCEV *MaxBECount, unsigned BitWidth,  in getRangeForAffineNoSelfWrappingAR()  argument
7050   if (getTypeSizeInBits(MaxBECount->getType()) >  in getRangeForAffineNoSelfWrappingAR()
7053   MaxBECount = getNoopOrZeroExtend(MaxBECount, AddRec->getType());  in getRangeForAffineNoSelfWrappingAR()
7057   if (!isKnownPredicateViaConstantRanges(ICmpInst::ICMP_ULE, MaxBECount,  in getRangeForAffineNoSelfWrappingAR()
7065   const SCEV *End = AddRec->evaluateAtIteration(MaxBECount, *this);  in getRangeForAffineNoSelfWrappingAR()
7104                                                     const APInt &MaxBECount) {  in getRangeViaFactoring()  argument
7108   unsigned BitWidth = MaxBECount.getBitWidth();  in getRangeViaFactoring()
7214       this->getRangeForAffineAR(TrueStart, TrueStep, MaxBECount);  in getRangeViaFactoring()
7216       this->getRangeForAffineAR(FalseStart, FalseStep, MaxBECount);  in getRangeViaFactoring()
8807   const SCEV *MaxBECount = MustExitMaxBECount ? MustExitMaxBECount :  in computeBackedgeTakenCount()  local
8825                            MaxBECount, MaxOrZero);  in computeBackedgeTakenCount()
10452     APInt MaxBECount = getUnsignedRangeMax(applyLoopGuards(Distance, L));  in howFarToZero()  local
10453     MaxBECount = APIntOps::umin(MaxBECount, getUnsignedRangeMax(Distance));  in howFarToZero()
10469       MaxBECount = APIntOps::umin(MaxBECount, CR.getUnsignedMax() - 1);  in howFarToZero()
10471     return ExitLimit(Distance, getConstant(MaxBECount), Distance, false,  in howFarToZero()
12934     const SCEV *MaxBECount = computeMaxBECountForLT(  in howManyLessThans()  local
12936     return ExitLimit(getCouldNotCompute() /* ExactNotTaken */, MaxBECount,  in howManyLessThans()
12937                      MaxBECount, false /*MaxOrZero*/, Predicates);  in howManyLessThans()