Lines Matching defs:MaxIterations
159 PhiAnalyzer(const Loop &L, unsigned MaxIterations);
169 // Add 1 respecting Unknown and return Unknown if result over MaxIterations
173 return (*PC + 1 <= MaxIterations) ? PeelCounter{*PC + 1} : Unknown;
181 const unsigned MaxIterations;
187 PhiAnalyzer::PhiAnalyzer(const Loop &L, unsigned MaxIterations)
188 : L(L), MaxIterations(MaxIterations) {
190 assert(MaxIterations > 0 && "no peeling is allowed?");
195 // N.B. This number will be Unknown or <= MaxIterations.
198 // F(%x) = G(%y) + 1 (N.B. [MaxIterations | Unknown] + 1 => Unknown)
258 assert(*ToInvariance <= MaxIterations && "bad result in phi analysis");
260 if (Iterations == MaxIterations)
264 assert((Iterations <= MaxIterations) && "bad result in phi analysis");