diff options
| author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2012-05-07 19:14:12 +0200 |
|---|---|---|
| committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2012-05-07 19:14:12 +0200 |
| commit | 210c722df5ae17ed685efb97a5bea7cd4ed5c12b (patch) | |
| tree | b0f1230b46b45ed83d40fe1930842a6539b557d5 /tune | |
| parent | 6fa2be041e9e8133c093a0c1b9b6f083e0f9d560 (diff) | |
| download | gmp-210c722df5ae17ed685efb97a5bea7cd4ed5c12b.tar.gz | |
tune/tuneup.c: Update minimal threshold for FAC_DSC.
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 51324893e..a2b9327da 100644 --- a/tune/tuneup.c +++ b/tune/tuneup.c @@ -2642,7 +2642,7 @@ tune_fac_ui (void) param.function = speed_mpz_fac_ui_tune; param.name = "FAC_DSC_THRESHOLD"; - param.min_size = 26; + param.min_size = 42; param.max_size = FAC_DSC_THRESHOLD_LIMIT; one (&fac_dsc_threshold, ¶m); |