summaryrefslogtreecommitdiff
path: root/tune
diff options
context:
space:
mode:
Diffstat (limited to 'tune')
-rw-r--r--tune/tuneup.c6
1 files changed, 3 insertions, 3 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c
index 5c3988b17..a7402e8f7 100644
--- a/tune/tuneup.c
+++ b/tune/tuneup.c
@@ -886,9 +886,9 @@ tune_div_mulders_upto (mp_size_t n)
/* Check Mulders */
step = 1 + n / (2 * MAX_STEPS);
- /* we should have (n+3)/2 <= k < n, which translates into
- (n+4)/2 <= k < n in C */
- for (k = (n + 4) / 2 ; k < n ; k += step)
+ /* we should have (n+3)/2 <= k < n-1, which translates into
+ (n+4)/2 <= k < n-1 in C */
+ for (k = (n + 4) / 2 ; k < n - 1; k += step)
{
divhigh_ktab[n] = k;
t = mpfr_speed_measure (speed_mpfr_divhigh, &s, "mpfr_divhigh");