1673       const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in getZeroExtendExpr()  local
1674       if (!isa<SCEVCouldNotCompute>(MaxBECount)) {  in getZeroExtendExpr()
1680             getTruncateOrZeroExtend(MaxBECount, Start->getType(), Depth);  in getZeroExtendExpr()
1682             CastedMaxBECount, MaxBECount->getType(), Depth);  in getZeroExtendExpr()
1683         if (MaxBECount == RecastedMaxBECount) {  in getZeroExtendExpr()
1738       if (!isa<SCEVCouldNotCompute>(MaxBECount) || HasGuards ||  in getZeroExtendExpr()
2013       const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in getSignExtendExpr()  local
2014       if (!isa<SCEVCouldNotCompute>(MaxBECount)) {  in getSignExtendExpr()
2021             getTruncateOrZeroExtend(MaxBECount, Start->getType(), Depth);  in getSignExtendExpr()
2023             CastedMaxBECount, MaxBECount->getType(), Depth);  in getSignExtendExpr()
2024         if (MaxBECount == RecastedMaxBECount) {  in getSignExtendExpr()
4972   const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in proveNoSignedWrapViaInduction()  local
4982   if (isa<SCEVCouldNotCompute>(MaxBECount) && !HasGuards &&  in proveNoSignedWrapViaInduction()
5022   const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(L);  in proveNoUnsignedWrapViaInduction()  local
5032   if (isa<SCEVCouldNotCompute>(MaxBECount) && !HasGuards &&  in proveNoUnsignedWrapViaInduction()
6555       const SCEV *MaxBECount = getConstantMaxBackedgeTakenCount(AddRec->getLoop());  in getRangeRef()  local
6556       if (!isa<SCEVCouldNotCompute>(MaxBECount) &&  in getRangeRef()
6557           getTypeSizeInBits(MaxBECount->getType()) <= BitWidth) {  in getRangeRef()
6559             AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount,  in getRangeRef()
6565             AddRec->getStart(), AddRec->getStepRecurrence(*this), MaxBECount,  in getRangeRef()
6576             getTypeSizeInBits(MaxBECount->getType()) <= BitWidth &&  in getRangeRef()
6678                                                const APInt &MaxBECount,  in getRangeForAffineARHelper()  argument
6682   if (Step == 0 || MaxBECount == 0)  in getRangeForAffineARHelper()
6704   if (APInt::getMaxValue(StartRange.getBitWidth()).udiv(Step).ult(MaxBECount))  in getRangeForAffineARHelper()
6709   APInt Offset = Step * MaxBECount;  in getRangeForAffineARHelper()
6738                                                    const SCEV *MaxBECount,  in getRangeForAffineAR()  argument
6740   assert(!isa<SCEVCouldNotCompute>(MaxBECount) &&  in getRangeForAffineAR()
6741          getTypeSizeInBits(MaxBECount->getType()) <= BitWidth &&  in getRangeForAffineAR()
6744   MaxBECount = getNoopOrZeroExtend(MaxBECount, Start->getType());  in getRangeForAffineAR()
6745   APInt MaxBECountValue = getUnsignedRangeMax(MaxBECount);  in getRangeForAffineAR()
6770     const SCEVAddRecExpr *AddRec, const SCEV *MaxBECount, unsigned BitWidth,  in getRangeForAffineNoSelfWrappingAR()  argument
6785   if (getTypeSizeInBits(MaxBECount->getType()) >  in getRangeForAffineNoSelfWrappingAR()
6788   MaxBECount = getNoopOrZeroExtend(MaxBECount, AddRec->getType());  in getRangeForAffineNoSelfWrappingAR()
6792   if (!isKnownPredicateViaConstantRanges(ICmpInst::ICMP_ULE, MaxBECount,  in getRangeForAffineNoSelfWrappingAR()
6800   const SCEV *End = AddRec->evaluateAtIteration(MaxBECount, *this);  in getRangeForAffineNoSelfWrappingAR()
6839                                                     const SCEV *MaxBECount,  in getRangeViaFactoring()  argument
6945       this->getRangeForAffineAR(TrueStart, TrueStep, MaxBECount, BitWidth);  in getRangeViaFactoring()
6947       this->getRangeForAffineAR(FalseStart, FalseStep, MaxBECount, BitWidth);  in getRangeViaFactoring()
8592   const SCEV *MaxBECount = MustExitMaxBECount ? MustExitMaxBECount :  in computeBackedgeTakenCount()  local
8605                            MaxBECount, MaxOrZero);  in computeBackedgeTakenCount()
8796   const SCEV *MaxBECount = getCouldNotCompute();  in computeExitLimitFromCondFromBinOp()  local
8807       MaxBECount = EL1.MaxNotTaken;  in computeExitLimitFromCondFromBinOp()
8809       MaxBECount = EL0.MaxNotTaken;  in computeExitLimitFromCondFromBinOp()
8811       MaxBECount = getUMinFromMismatchedTypes(EL0.MaxNotTaken, EL1.MaxNotTaken);  in computeExitLimitFromCondFromBinOp()
8824   if (isa<SCEVCouldNotCompute>(MaxBECount) &&  in computeExitLimitFromCondFromBinOp()
8826     MaxBECount = getConstant(getUnsignedRangeMax(BECount));  in computeExitLimitFromCondFromBinOp()
8828   return ExitLimit(BECount, MaxBECount, false,  in computeExitLimitFromCondFromBinOp()
10201     APInt MaxBECount = getUnsignedRangeMax(applyLoopGuards(Distance, L));  in howFarToZero()  local
10202     MaxBECount = APIntOps::umin(MaxBECount, getUnsignedRangeMax(Distance));  in howFarToZero()
10218       MaxBECount = APIntOps::umin(MaxBECount, CR.getUnsignedMax() - 1);  in howFarToZero()
10220     return ExitLimit(Distance, getConstant(MaxBECount), false, Predicates);  in howFarToZero()
12624     const SCEV *MaxBECount = computeMaxBECountForLT(  in howManyLessThans()  local
12626     return ExitLimit(getCouldNotCompute() /* ExactNotTaken */, MaxBECount,  in howManyLessThans()
12790   const SCEV *MaxBECount;  in howManyLessThans()  local
12793     MaxBECount = BECount;  in howManyLessThans()
12799     MaxBECount = BECountIfBackedgeTaken;  in howManyLessThans()
12802     MaxBECount = computeMaxBECountForLT(  in howManyLessThans()
12806   if (isa<SCEVCouldNotCompute>(MaxBECount) &&  in howManyLessThans()
12808     MaxBECount = getConstant(getUnsignedRangeMax(BECount));  in howManyLessThans()
12810   return ExitLimit(BECount, MaxBECount, MaxOrZero, Predicates);  in howManyLessThans()
12898   const SCEV *MaxBECount = isa<SCEVConstant>(BECount)  in howManyGreaterThans()  local
12903   if (isa<SCEVCouldNotCompute>(MaxBECount))  in howManyGreaterThans()
12904     MaxBECount = BECount;  in howManyGreaterThans()
12906   return ExitLimit(BECount, MaxBECount, false, Predicates);  in howManyGreaterThans()