diff options
Diffstat (limited to 'tune')
| -rw-r--r-- | tune/tuneup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tune/tuneup.c b/tune/tuneup.c index 56eea24eb..7af497c23 100644 --- a/tune/tuneup.c +++ b/tune/tuneup.c @@ -1093,7 +1093,7 @@ all (const char *filename) if (verbose) printf ("Tuning mpfr_div...\n"); tune_simple_func (&mpfr_div_threshold, speed_mpfr_div, - 3*GMP_NUMB_BITS+1); + 2*GMP_NUMB_BITS+1); fprintf (f, "#define MPFR_DIV_THRESHOLD %lu /* limbs */\n", (unsigned long) (mpfr_div_threshold - 1) / GMP_NUMB_BITS + 1); |