Lines Matching refs:rest
79 uint64_t rest, in RoundWeed() argument
155 ASSERT(rest <= unsafe_interval); in RoundWeed()
156 while (rest < small_distance && // Negated condition 1 in RoundWeed()
157 unsafe_interval - rest >= ten_kappa && // Negated condition 2 in RoundWeed()
158 (rest + ten_kappa < small_distance || // buffer{-1} > w_high in RoundWeed()
159 small_distance - rest >= rest + ten_kappa - small_distance)) { in RoundWeed()
161 rest += ten_kappa; in RoundWeed()
167 if (rest < big_distance && in RoundWeed()
168 unsafe_interval - rest >= ten_kappa && in RoundWeed()
169 (rest + ten_kappa < big_distance || in RoundWeed()
170 big_distance - rest > rest + ten_kappa - big_distance)) { in RoundWeed()
179 return (2 * unit <= rest) && (rest <= unsafe_interval - 4 * unit); in RoundWeed()
197 uint64_t rest, in RoundWeedCounted() argument
201 ASSERT(rest < ten_kappa); in RoundWeedCounted()
214 if ((ten_kappa - rest > rest) && (ten_kappa - 2 * rest >= 2 * unit)) { in RoundWeedCounted()
218 if ((rest > unit) && (ten_kappa - (rest - unit) <= (rest - unit))) { in RoundWeedCounted()
371 uint64_t rest = in DigitGen() local
375 if (rest < unsafe_interval.f()) { in DigitGen()
379 unsafe_interval.f(), rest, in DigitGen()
488 uint64_t rest = in DigitGenCounted() local
490 return RoundWeedCounted(buffer, *length, rest, in DigitGenCounted()