xref: /netbsd-src/external/lgpl3/gmp/dist/mpn/x86_64/zen2/gmp-mparam.h (revision d536862b7d93d77932ef5de7eebdc48d76921b77)
1 /* AMD Zen2 gmp-mparam.h -- Compiler/machine parameter header file.
2 
3 Copyright 2019 Free Software Foundation, Inc.
4 
5 This file is part of the GNU MP Library.
6 
7 The GNU MP Library is free software; you can redistribute it and/or modify
8 it under the terms of either:
9 
10   * the GNU Lesser General Public License as published by the Free
11     Software Foundation; either version 3 of the License, or (at your
12     option) any later version.
13 
14 or
15 
16   * the GNU General Public License as published by the Free Software
17     Foundation; either version 2 of the License, or (at your option) any
18     later version.
19 
20 or both in parallel, as here.
21 
22 The GNU MP Library is distributed in the hope that it will be useful, but
23 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
24 or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
25 for more details.
26 
27 You should have received copies of the GNU General Public License and the
28 GNU Lesser General Public License along with the GNU MP Library.  If not,
29 see https://www.gnu.org/licenses/.  */
30 
31 #define GMP_LIMB_BITS 64
32 #define GMP_LIMB_BYTES 8
33 
34 /* Disable use of slow functions.  FIXME: We should disable lib inclusion.  */
35 #undef HAVE_NATIVE_mpn_mul_2
36 #undef HAVE_NATIVE_mpn_addmul_2
37 
38 /* 3600-4400 MHz Matisse */
39 /* FFT tuning limit = 703,392,483 */
40 /* Generated by tuneup.c, 2019-10-19, gcc 8.3 */
41 /* FFT_TABLEs merged with a new run, 2020-09-24,  fft_max_size 2000000000 */
42 
43 #define MOD_1_NORM_THRESHOLD                 0  /* always */
44 #define MOD_1_UNNORM_THRESHOLD               0  /* always */
45 #define MOD_1N_TO_MOD_1_1_THRESHOLD          4
46 #define MOD_1U_TO_MOD_1_1_THRESHOLD          3
47 #define MOD_1_1_TO_MOD_1_2_THRESHOLD         8
48 #define MOD_1_2_TO_MOD_1_4_THRESHOLD        27
49 #define PREINV_MOD_1_TO_MOD_1_THRESHOLD      1
50 #define USE_PREINV_DIVREM_1                  1  /* native */
51 #define DIV_QR_1_NORM_THRESHOLD              1
52 #define DIV_QR_1_UNNORM_THRESHOLD        MP_SIZE_T_MAX  /* never */
53 #define DIV_QR_2_PI2_THRESHOLD              13
54 #define DIVEXACT_1_THRESHOLD                 0  /* always (native) */
55 #define BMOD_1_TO_MOD_1_THRESHOLD           22
56 
57 #define DIV_1_VS_MUL_1_PERCENT             385
58 
59 #define MUL_TOOM22_THRESHOLD                19
60 #define MUL_TOOM33_THRESHOLD               125
61 #define MUL_TOOM44_THRESHOLD               196
62 #define MUL_TOOM6H_THRESHOLD               276
63 #define MUL_TOOM8H_THRESHOLD               369
64 
65 #define MUL_TOOM32_TO_TOOM43_THRESHOLD     121
66 #define MUL_TOOM32_TO_TOOM53_THRESHOLD     138
67 #define MUL_TOOM42_TO_TOOM53_THRESHOLD     129
68 #define MUL_TOOM42_TO_TOOM63_THRESHOLD     132
69 #define MUL_TOOM43_TO_TOOM54_THRESHOLD     185
70 
71 #define SQR_BASECASE_THRESHOLD               0  /* always (native) */
72 #define SQR_TOOM2_THRESHOLD                 30
73 #define SQR_TOOM3_THRESHOLD                117
74 #define SQR_TOOM4_THRESHOLD                315
75 #define SQR_TOOM6_THRESHOLD                446
76 #define SQR_TOOM8_THRESHOLD                527
77 
78 #define MULMID_TOOM42_THRESHOLD             38
79 
80 #define MULMOD_BNM1_THRESHOLD               14
81 #define SQRMOD_BNM1_THRESHOLD               20
82 
83 #define MUL_FFT_MODF_THRESHOLD             436  /* k = 5 */
84 #define MUL_FFT_TABLE3                                      \
85   { {    436, 5}, {     25, 6}, {     25, 7}, {     13, 6}, \
86     {     27, 7}, {     15, 6}, {     31, 7}, {     25, 8}, \
87     {     13, 7}, {     28, 8}, {     15, 7}, {     32, 8}, \
88     {     17, 7}, {     35, 8}, {     19, 7}, {     39, 8}, \
89     {     27, 9}, {     15, 8}, {     35, 9}, {     19, 8}, \
90     {     41, 9}, {     23, 8}, {     49, 9}, {     27,10}, \
91     {     15, 9}, {     31, 8}, {     63, 9}, {     39,10}, \
92     {     23, 9}, {     51,11}, {     15,10}, {     31, 9}, \
93     {     71,10}, {     39, 9}, {     83,10}, {     47, 9}, \
94     {     95,10}, {     55,11}, {     31,10}, {     79,11}, \
95     {     47,10}, {     95,12}, {     31,11}, {     63,10}, \
96     {    135,11}, {     79,10}, {    159,11}, {     95,10}, \
97     {    191,12}, {     63,11}, {    127,10}, {    255, 9}, \
98     {    511,11}, {    143,10}, {    287, 9}, {    575,11}, \
99     {    159,12}, {     95,11}, {    191,13}, {     63,12}, \
100     {    127,11}, {    255,10}, {    511,11}, {    271,10}, \
101     {    543, 9}, {   1087,11}, {    287,10}, {    575,12}, \
102     {    159,11}, {    319,10}, {    639,11}, {    335,10}, \
103     {    671,11}, {    351,10}, {    703,11}, {    367,12}, \
104     {    191,11}, {    383,10}, {    767,11}, {    415,10}, \
105     {    831,12}, {    223,11}, {    447,13}, {    127,12}, \
106     {    255,11}, {    543,10}, {   1087,12}, {    287,11}, \
107     {    575,10}, {   1151,11}, {    607,10}, {   1215,12}, \
108     {    319,11}, {    639,10}, {   1279,11}, {    671,10}, \
109     {   1343,12}, {    351,11}, {    703,10}, {   1407,11}, \
110     {    735,13}, {    191,12}, {    383,11}, {    767,10}, \
111     {   1535,11}, {    799,12}, {    415,11}, {    831,10}, \
112     {   1663,12}, {    447,11}, {    895,12}, {    479,14}, \
113     {    127,13}, {    255,12}, {    543,11}, {   1087,10}, \
114     {   2175,12}, {    575,11}, {   1151,12}, {    607,11}, \
115     {   1215,10}, {   2431,13}, {    319,12}, {    639,11}, \
116     {   1279,12}, {    671,11}, {   1343,10}, {   2687,12}, \
117     {    703,11}, {   1471,10}, {   2943,13}, {    383,12}, \
118     {    767,11}, {   1535,12}, {    799,11}, {   1599,12}, \
119     {    831,11}, {   1663,13}, {    447,12}, {    959,11}, \
120     {   1919,10}, {   3839,14}, {    255,13}, {    511,12}, \
121     {   1087,11}, {   2175,13}, {    575,12}, {   1215,11}, \
122     {   2431,13}, {    639,12}, {   1343,11}, {   2687,13}, \
123     {    703,12}, {   1471,11}, {   2943,14}, {    383,13}, \
124     {    767,12}, {   1599,11}, {   3199,13}, {    831,12}, \
125     {   1727,13}, {    895,12}, {   1791,13}, {    959,12}, \
126     {   1919,11}, {   3839,14}, {    511,13}, {   1087,12}, \
127     {   2175,13}, {   1215,12}, {   2431,14}, {    639,13}, \
128     {   1343,12}, {   2687,13}, {   1471,12}, {   2943,11}, \
129     {   5887,14}, {    767,13}, {   1599,12}, {   3199,13}, \
130     {   1727,12}, {   3455,14}, {    895,13}, {   1919,12}, \
131     {   3839,11}, {   7679,15}, {    511,14}, {   1023,13}, \
132     {   2175,14}, {   1151,13}, {   2431,12}, {   4863,14}, \
133     {   1279,13}, {   2687,14}, {   1407,13}, {   2943,12}, \
134     {   5887,15}, {    767,14}, {   1535,13}, {   3199,14}, \
135     {   1663,13}, {   3455,12}, {   6911,14}, {   1919,13}, \
136     {   3839,16}, {    511,15}, {   1023,14}, {   2175,13}, \
137     {   4479,12}, {   8959,14}, {   2431,13}, {   4863,15}, \
138     {   1279,14}, {   2943,13}, {   5887,12}, {  11775,15}, \
139     {   1535,14}, {   3455,15}, {   1791,14}, {   3839,13}, \
140     {   7679,14}, {   3967,16}, {   1023,15}, {   2047,14}, \
141     {   4479,15}, {   2303,14}, {   4863,15}, {   2559,14}, \
142     {   5247,15}, {   2815,14}, {   5887,16}, {   1535,15}, \
143     {   3327,14}, {   6911,15}, {   3839,14}, {   7679,13}, \
144     {  15359,17}, {   1023,16}, {   2047,15}, {   4351,14}, \
145     {   8959,15}, {   4863,16}, {   2559,15}, {   5887,14}, \
146     {  11775,16}, {   3071,15}, {   6911,16}, {   3583,15}, \
147     {   7679,14}, {  15359,15}, {   7935,17}, {   2047,16}, \
148     {   4095,15}, {   8959,16}, {   4607,15}, {   9983,14}, \
149     {  19967,16}, {   5631,15}, {  11775,17}, {   3071,16}, \
150     {   7679,15}, {  15871,18}, {   2047,17}, {   4095,16}, \
151     {   9727,15}, {  19967,17}, \
152     {   5119,16}, {  11775,15}, {  24063,17}, {   6143,16}, \
153     {  12799,17}, {   7167,16}, {  15871,15}, {  31743,18}, \
154     {   4095,17}, {   8191,16}, {  16895,17}, {   9215,16}, \
155     {  19967,17}, {  11263,16}, {  24063,18}, {   6143,17}, \
156     { 131072,18}, { 262144,19}, { 524288,20}, {1048576,21}, \
157     {2097152,22}, {4194304,23}, {8388608,24} }
158 #define MUL_FFT_TABLE3_SIZE 289
159 #define MUL_FFT_THRESHOLD                 4736
160 
161 #define SQR_FFT_MODF_THRESHOLD             396  /* k = 5 */
162 #define SQR_FFT_TABLE3                                      \
163   { {    396, 5}, {     25, 6}, {     25, 7}, {     13, 6}, \
164     {     27, 7}, {     15, 6}, {     31, 7}, {     25, 8}, \
165     {     13, 7}, {     28, 8}, {     15, 7}, {     32, 8}, \
166     {     17, 7}, {     35, 8}, {     19, 7}, {     39, 8}, \
167     {     27, 9}, {     15, 8}, {     35, 9}, {     19, 8}, \
168     {     41, 9}, {     23, 8}, {     47, 9}, {     27,10}, \
169     {     15, 9}, {     39,10}, {     23, 9}, {     51,11}, \
170     {     15,10}, {     31, 9}, {     67,10}, {     39, 9}, \
171     {     79,10}, {     55,11}, {     31,10}, {     79,11}, \
172     {     47,10}, {     95,12}, {     31,11}, {     63,10}, \
173     {    135,11}, {     79,10}, {    159,11}, {     95,12}, \
174     {     63,11}, {    127,10}, {    255, 9}, {    511,11}, \
175     {    143,10}, {    287, 9}, {    575,10}, {    303,11}, \
176     {    159,12}, {     95,13}, {     63,12}, {    127,11}, \
177     {    255,10}, {    511,11}, {    271,10}, {    543,11}, \
178     {    287,10}, {    575,11}, {    303,12}, {    159,11}, \
179     {    319,10}, {    639,11}, {    335,10}, {    671, 9}, \
180     {   1343,11}, {    351,10}, {    703,11}, {    367,10}, \
181     {    735,11}, {    383,10}, {    767,11}, {    415,10}, \
182     {    831,12}, {    223,11}, {    447,13}, {    127,12}, \
183     {    255,11}, {    511,10}, {   1023,11}, {    543,10}, \
184     {   1087,12}, {    287,11}, {    575,10}, {   1151,11}, \
185     {    607,10}, {   1215,12}, {    319,11}, {    639,10}, \
186     {   1279,11}, {    671,10}, {   1343,12}, {    351,11}, \
187     {    703,10}, {   1407,11}, {    735,10}, {   1471,12}, \
188     {    383,11}, {    767,10}, {   1535,11}, {    799,12}, \
189     {    415,11}, {    831,10}, {   1663,12}, {    447,11}, \
190     {    895,12}, {    479,11}, {    959,14}, {    127,12}, \
191     {    511,11}, {   1023,12}, {    543,11}, {   1087,10}, \
192     {   2175,12}, {    575,11}, {   1151,12}, {    607,11}, \
193     {   1215,10}, {   2431,12}, {    639,11}, {   1279,12}, \
194     {    671,11}, {   1343,10}, {   2687,12}, {    703,11}, \
195     {   1407,12}, {    735,11}, {   1471,10}, {   2943,13}, \
196     {    383,12}, {    767,11}, {   1535,12}, {    799,11}, \
197     {   1599,12}, {    831,11}, {   1663,13}, {    447,12}, \
198     {    959,11}, {   1919,10}, {   3839,13}, {    511,12}, \
199     {   1087,11}, {   2175,13}, {    575,12}, {   1215,11}, \
200     {   2431,13}, {    639,12}, {   1343,11}, {   2687,13}, \
201     {    703,12}, {   1471,11}, {   2943,14}, {    383,13}, \
202     {    767,12}, {   1599,13}, {    831,12}, {   1727,11}, \
203     {   3455,13}, {    959,12}, {   1919,11}, {   3839,14}, \
204     {    511,13}, {   1023,12}, {   2047,13}, {   1087,12}, \
205     {   2175,13}, {   1215,12}, {   2431,11}, {   4863,14}, \
206     {    639,13}, {   1343,12}, {   2687,13}, {   1471,12}, \
207     {   2943,11}, {   5887,14}, {    767,13}, {   1599,12}, \
208     {   3199,13}, {   1727,12}, {   3455,14}, {    895,13}, \
209     {   1919,12}, {   3839,15}, {    511,14}, {   1023,13}, \
210     {   2175,14}, {   1151,13}, {   2431,12}, {   4863,14}, \
211     {   1279,13}, {   2687,14}, {   1407,13}, {   2943,12}, \
212     {   5887,15}, {    767,14}, {   1535,13}, {   3199,14}, \
213     {   1663,13}, {   3455,12}, {   6911,14}, {   1919,13}, \
214     {   3839,12}, {   7679,16}, {    511,15}, {   1023,14}, \
215     {   2175,13}, {   4479,14}, {   2431,13}, {   4863,15}, \
216     {   1279,14}, {   2943,13}, {   5887,12}, {  11775,15}, \
217     {   1535,14}, {   3455,13}, {   6911,15}, {   1791,14}, \
218     {   3839,13}, {   7679,14}, {   3967,16}, {   1023,15}, \
219     {   2047,14}, {   4479,15}, {   2303,14}, {   4863,15}, \
220     {   2559,14}, {   5247,15}, {   2815,14}, {   5887,13}, \
221     {  11775,16}, {   1535,15}, {   3071,14}, {   6143,15}, \
222     {   3327,14}, {   6911,15}, {   3839,14}, {   7679,17}, \
223     {   1023,16}, {   2047,15}, {   4095,14}, {   8191,15}, \
224     {   4351,14}, {   8959,15}, {   4863,16}, {   2559,15}, \
225     {   5887,14}, {  11775,16}, {   3071,15}, {   6911,16}, \
226     {   3583,15}, {   7679,14}, {  15359,15}, {   7935,17}, \
227     {   2047,16}, {   4095,15}, {   8959,16}, {   4607,15}, \
228     {   9983,14}, {  19967,16}, {   5119,15}, {  10239,16}, \
229     {   5631,15}, {  11775,17}, {   3071,16}, {   7679,15}, \
230     {  15359,18}, {   2047,17}, {   4095,16}, {   9727,15}, \
231     {  19967,17}, \
232     {   5119,16}, {  11775,15}, {  23551,17}, {   6143,16}, \
233     {  12799,17}, {   7167,16}, {  15871,15}, {  31743,18}, \
234     {   4095,17}, {   8191,16}, {  16895,17}, {   9215,16}, \
235     {  19967,17}, {  11263,16}, {  24063,18}, {   6143,17}, \
236     { 131072,18}, { 262144,19}, { 524288,20}, {1048576,21}, \
237     {2097152,22}, {4194304,23}, {8388608,24} }
238 #define SQR_FFT_TABLE3_SIZE 296
239 #define SQR_FFT_THRESHOLD                 3264
240 
241 #define MULLO_BASECASE_THRESHOLD             0  /* always */
242 #define MULLO_DC_THRESHOLD                  57
243 #define MULLO_MUL_N_THRESHOLD             8907
244 #define SQRLO_BASECASE_THRESHOLD             8
245 #define SQRLO_DC_THRESHOLD                   0  /* never mpn_sqrlo_basecase */
246 #define SQRLO_SQR_THRESHOLD               6440
247 
248 #define DC_DIV_QR_THRESHOLD                 43
249 #define DC_DIVAPPR_Q_THRESHOLD             154
250 #define DC_BDIV_QR_THRESHOLD                46
251 #define DC_BDIV_Q_THRESHOLD                 93
252 
253 #define INV_MULMOD_BNM1_THRESHOLD           36
254 #define INV_NEWTON_THRESHOLD               141
255 #define INV_APPR_THRESHOLD                 149
256 
257 #define BINV_NEWTON_THRESHOLD              264
258 #define REDC_1_TO_REDC_N_THRESHOLD          47
259 
260 #define MU_DIV_QR_THRESHOLD               1470
261 #define MU_DIVAPPR_Q_THRESHOLD            1528
262 #define MUPI_DIV_QR_THRESHOLD               47
263 #define MU_BDIV_QR_THRESHOLD              1187
264 #define MU_BDIV_Q_THRESHOLD               1589
265 
266 #define POWM_SEC_TABLE  3,22,194,579
267 
268 #define GET_STR_DC_THRESHOLD                12
269 #define GET_STR_PRECOMPUTE_THRESHOLD        19
270 #define SET_STR_DC_THRESHOLD               195
271 #define SET_STR_PRECOMPUTE_THRESHOLD      1752
272 
273 #define FAC_DSC_THRESHOLD                  345
274 #define FAC_ODD_THRESHOLD                    0  /* always */
275 
276 #define MATRIX22_STRASSEN_THRESHOLD         24
277 #define HGCD2_DIV1_METHOD                    1  /* 11.29% faster than 3 */
278 #define HGCD_THRESHOLD                      89
279 #define HGCD_APPR_THRESHOLD                 96
280 #define HGCD_REDUCE_THRESHOLD             2681
281 #define GCD_DC_THRESHOLD                   465
282 #define GCDEXT_DC_THRESHOLD                233
283 #define JACOBI_BASE_METHOD                   1  /* 25.56% faster than 4 */
284 
285 /* Tuneup completed successfully, took 294200 seconds */
286