Lines Matching refs:rest
1742 uint64_t rest, uint64_t ten_kappa, uint64_t unit)
1747 ASSERT(rest <= unsafe_interval);
1748 while (rest < small_distance && // Negated condition 1
1749 unsafe_interval - rest >= ten_kappa && // Negated condition 2
1750 (rest + ten_kappa < small_distance || // buffer{-1} > w_high
1751 small_distance - rest >= rest + ten_kappa - small_distance)) {
1753 rest += ten_kappa;
1756 if (rest < big_distance &&
1757 unsafe_interval - rest >= ten_kappa &&
1758 (rest + ten_kappa < big_distance ||
1759 big_distance - rest > rest + ten_kappa - big_distance)) {
1763 return (2 * unit <= rest) && (rest <= unsafe_interval - 4 * unit);
1767 uint64_t rest, uint64_t ten_kappa, uint64_t unit,
1770 ASSERT(rest < ten_kappa);
1774 if ((ten_kappa - rest > rest) && (ten_kappa - 2 * rest >= 2 * unit)) {
1778 if ((rest > unit) && (ten_kappa - (rest - unit) <= (rest - unit))) {
1844 uint64_t rest =
1847 if (rest < unsafe_interval.f()) {
1849 unsafe_interval.f(), rest,
1908 uint64_t rest =
1910 return RoundWeedCounted(buffer, *length, rest,