lib/Analysis/ScalarEvolution.cpp

1279   const SCEV *BECount = SE->getBackedgeTakenCount(L);
1281       !isa<SCEVCouldNotCompute>(BECount) && SE->isKnownPositive(BECount))
5097   const SCEV *BECount = nullptr;
5103     if (!BECount)
5104       BECount = ENT->ExactNotTaken;
5105     else if (BECount != ENT->ExactNotTaken)
5108   assert(BECount && "Invalid not taken count for loop exit");
5109   return BECount;
5345       const SCEV *BECount = getCouldNotCompute();
5352           BECount = getCouldNotCompute();
5354           BECount = getUMinFromMismatchedTypes(EL0.Exact, EL1.Exact);
5368           BECount = EL0.Exact;
5372       // to be more aggressive when computing BECount than when computing
5376           !isa<SCEVCouldNotCompute>(BECount))
5377         MaxBECount = BECount;
5379       return ExitLimit(BECount, MaxBECount);
5388       const SCEV *BECount = getCouldNotCompute();
5395           BECount = getCouldNotCompute();
5397           BECount = getUMinFromMismatchedTypes(EL0.Exact, EL1.Exact);
5411           BECount = EL0.Exact;
5414       return ExitLimit(BECount, MaxBECount);
8255   const SCEV *BECount = computeBECount(getMinusSCEV(End, Start), Stride, false);
8275   if (isa<SCEVConstant>(BECount))
8276     MaxBECount = BECount;
8282     MaxBECount = BECount;
8284   return ExitLimit(BECount, MaxBECount);
8336   const SCEV *BECount = computeBECount(getMinusSCEV(Start, End), Stride, false);
8357   if (isa<SCEVConstant>(BECount))
8358     MaxBECount = BECount;
8364     MaxBECount = BECount;
8366   return ExitLimit(BECount, MaxBECount);