source/libs/gmp/gmp-src/mpn/x86_64/coreihwl/gmp-mparam.h

   1 /* Haswell gmp-mparam.h -- Compiler/machine parameter header file.
   2
   3 Copyright 1991, 1993, 1994, 2000-2015 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 /* 4000 MHz Haswell */
  35 /* FFT tuning limit = 200 M */
  36 /* Generated by tuneup.c, 2015-10-07, gcc 4.5 */
  37
  38 #define MOD_1_NORM_THRESHOLD                 0  /* always */
  39 #define MOD_1_UNNORM_THRESHOLD               0  /* always */
  40 #define MOD_1N_TO_MOD_1_1_THRESHOLD          4
  41 #define MOD_1U_TO_MOD_1_1_THRESHOLD          3
  42 #define MOD_1_1_TO_MOD_1_2_THRESHOLD        10
  43 #define MOD_1_2_TO_MOD_1_4_THRESHOLD        26
  44 #define PREINV_MOD_1_TO_MOD_1_THRESHOLD     10
  45 #define USE_PREINV_DIVREM_1                  1  /* native */
  46 #define DIV_QR_1_NORM_THRESHOLD              1
  47 #define DIV_QR_1_UNNORM_THRESHOLD        MP_SIZE_T_MAX  /* never */
  48 #define DIV_QR_2_PI2_THRESHOLD           MP_SIZE_T_MAX  /* never */
  49 #define DIVEXACT_1_THRESHOLD                 0  /* always (native) */
  50 #define BMOD_1_TO_MOD_1_THRESHOLD           25
  51
  52 #define MUL_TOOM22_THRESHOLD                22
  53 #define MUL_TOOM33_THRESHOLD                74
  54 #define MUL_TOOM44_THRESHOLD               195
  55 #define MUL_TOOM6H_THRESHOLD               298
  56 #define MUL_TOOM8H_THRESHOLD               406
  57
  58 #define MUL_TOOM32_TO_TOOM43_THRESHOLD     121
  59 #define MUL_TOOM32_TO_TOOM53_THRESHOLD     138
  60 #define MUL_TOOM42_TO_TOOM53_THRESHOLD     128
  61 #define MUL_TOOM42_TO_TOOM63_THRESHOLD     132
  62 #define MUL_TOOM43_TO_TOOM54_THRESHOLD     170
  63
  64 #define SQR_BASECASE_THRESHOLD               0  /* always (native) */
  65 #define SQR_TOOM2_THRESHOLD                 34
  66 #define SQR_TOOM3_THRESHOLD                117
  67 #define SQR_TOOM4_THRESHOLD                336
  68 #define SQR_TOOM6_THRESHOLD                426
  69 #define SQR_TOOM8_THRESHOLD                562
  70
  71 #define MULMID_TOOM42_THRESHOLD             42
  72
  73 #define MULMOD_BNM1_THRESHOLD               13
  74 #define SQRMOD_BNM1_THRESHOLD               17
  75
  76 #define MUL_FFT_MODF_THRESHOLD             380  /* k = 5 */
  77 #define MUL_FFT_TABLE3                                      \
  78   { {    380, 5}, {     19, 6}, {     10, 5}, {     21, 6}, \
  79     {     11, 5}, {     23, 6}, {     21, 7}, {     11, 6}, \
  80     {     24, 7}, {     13, 6}, {     27, 7}, {     21, 8}, \
  81     {     11, 7}, {     25, 8}, {     13, 7}, {     28, 8}, \
  82     {     15, 7}, {     31, 8}, {     21, 9}, {     11, 8}, \
  83     {     27, 9}, {     15, 8}, {     35, 9}, {     19, 8}, \
  84     {     39, 9}, {     23, 8}, {     47, 9}, {     27,10}, \
  85     {     15, 9}, {     39,10}, {     23, 9}, {     51,11}, \
  86     {     15,10}, {     31, 9}, {     67,10}, {     39, 9}, \
  87     {     83,10}, {     47, 9}, {     95,10}, {     55,11}, \
  88     {     31,10}, {     79,11}, {     47,10}, {     95,12}, \
  89     {     31,11}, {     63,10}, {    135,11}, {     79,10}, \
  90     {    159, 9}, {    319,11}, {     95,10}, {    191, 9}, \
  91     {    383,11}, {    111,12}, {     63,11}, {    127,10}, \
  92     {    255, 9}, {    511,10}, {    271,11}, {    143,10}, \
  93     {    287, 9}, {    575,10}, {    303, 9}, {    607,11}, \
  94     {    159,10}, {    319,12}, {     95,11}, {    191,10}, \
  95     {    383,11}, {    207,13}, {     63,12}, {    127,11}, \
  96     {    255,10}, {    511,11}, {    271,10}, {    543,11}, \
  97     {    287,10}, {    575,11}, {    303,10}, {    607,12}, \
  98     {    159,11}, {    319,10}, {    639,11}, {    335,10}, \
  99     {    671,11}, {    351,10}, {    703,11}, {    367,10}, \
 100     {    735,12}, {    191,11}, {    383,10}, {    767,11}, \
 101     {    415,10}, {    831,12}, {    223,11}, {    447,10}, \
 102     {    895,11}, {    479,13}, {    127,12}, {    255,11}, \
 103     {    511,10}, {   1023,11}, {    543,10}, {   1087,12}, \
 104     {    287,11}, {    575,10}, {   1151,11}, {    607,12}, \
 105     {    319,11}, {    671,12}, {    351,11}, {    703,10}, \
 106     {   1407,11}, {    735,12}, {    383,11}, {    767,12}, \
 107     {    415,11}, {    831,10}, {   1663,12}, {    447,11}, \
 108     {    895,12}, {    479,14}, {    127,13}, {    255,12}, \
 109     {    543,11}, {   1087,12}, {    575,11}, {   1151,12}, \
 110     {    607,11}, {   1215,13}, {    319,12}, {    671,11}, \
 111     {   1343,12}, {    735,13}, {    383,12}, {    767,11}, \
 112     {   1535,12}, {    831,13}, {    447,12}, {    959,11}, \
 113     {   1919,13}, {    511,12}, {   1087,13}, {    575,12}, \
 114     {   1215,11}, {   2431,13}, {    639,12}, {   1343,13}, \
 115     {    703,12}, {   1407,14}, {    383,13}, {    767,12}, \
 116     {   1535,13}, {    831,12}, {   1663,13}, {    959,12}, \
 117     {   1919,14}, {    511,13}, {   1087,12}, {   2175,13}, \
 118     {   1215,12}, {   2431,14}, {    639,13}, {   1279,12}, \
 119     {   2559,13}, {   1343,12}, {   2687,13}, {   1407,12}, \
 120     {   2815,13}, {   1471,12}, {   2943,14}, {    767,13}, \
 121     {   1599,12}, {   3199,13}, {   1663,14}, {    895,13}, \
 122     {   1791,12}, {   3583,13}, {   1919,15}, {    511,14}, \
 123     {   1023,13}, {   2175,14}, {   1151,13}, {   2431,12}, \
 124     {   4863,14}, {   1279,13}, {   2687,14}, {   1407,13}, \
 125     {   2943,15}, {    767,14}, {   1535,13}, {   3199,14}, \
 126     {   1663,13}, {   3455,12}, {   6911,14}, {   1791,13}, \
 127     {   3583,14}, {   1919,13}, {   3839,16}, {    511,15}, \
 128     {   1023,14}, {   2175,13}, {   4351,14}, {   2303,13}, \
 129     {   4607,14}, {   2431,13}, {   4863,15}, {   1279,14}, \
 130     {   2943,13}, {   5887,15}, {   1535,14}, {   3455,13}, \
 131     {   6911,15}, {   1791,14}, {   3839,13}, {   7679,16}, \
 132     {   1023,15}, {   2047,14}, {   4351,15}, {   2303,14}, \
 133     {   4863,15}, {   2815,14}, {   5887,16}, {   1535,15}, \
 134     {   3071,14}, {   6143,15}, {   3327,14}, {   6911,15}, \
 135     {   3839,14}, {   7679,17}, {   1023,16}, {   2047,15}, \
 136     {   4863,16}, {   2559,15}, {   5887,14}, {  11775,16}, \
 137     {  65536,17}, { 131072,18}, { 262144,19}, { 524288,20}, \
 138     {1048576,21}, {2097152,22}, {4194304,23}, {8388608,24} }
 139 #define MUL_FFT_TABLE3_SIZE 244
 140 #define MUL_FFT_THRESHOLD                 4224
 141
 142 #define SQR_FFT_MODF_THRESHOLD             368  /* k = 5 */
 143 #define SQR_FFT_TABLE3                                      \
 144   { {    368, 5}, {     19, 6}, {     10, 5}, {     21, 6}, \
 145     {     11, 5}, {     23, 6}, {     25, 7}, {     13, 6}, \
 146     {     27, 7}, {     21, 8}, {     11, 7}, {     25, 8}, \
 147     {     13, 7}, {     28, 8}, {     15, 7}, {     31, 8}, \
 148     {     21, 9}, {     11, 8}, {     27, 9}, {     15, 8}, \
 149     {     35, 9}, {     19, 8}, {     41, 9}, {     23, 8}, \
 150     {     47, 9}, {     27,10}, {     15, 9}, {     39,10}, \
 151     {     23, 9}, {     51,11}, {     15,10}, {     31, 9}, \
 152     {     63,10}, {     39, 9}, {     79,10}, {     55,11}, \
 153     {     31,10}, {     79,11}, {     47,10}, {     95,12}, \
 154     {     31,11}, {     63,10}, {    127, 9}, {    255,10}, \
 155     {    135,11}, {     79,10}, {    159, 9}, {    319,11}, \
 156     {     95,10}, {    191, 9}, {    383,12}, {     63,11}, \
 157     {    127,10}, {    255, 9}, {    511,10}, {    271, 9}, \
 158     {    543,11}, {    143,10}, {    287, 9}, {    575,10}, \
 159     {    303, 9}, {    607,11}, {    159,10}, {    319, 9}, \
 160     {    639,12}, {     95,11}, {    191,10}, {    383, 9}, \
 161     {    767,11}, {    207,13}, {     63,12}, {    127,11}, \
 162     {    255,10}, {    511,11}, {    271,10}, {    543,11}, \
 163     {    287,10}, {    575,11}, {    303,10}, {    607,11}, \
 164     {    319,10}, {    639,11}, {    335,10}, {    671,11}, \
 165     {    351,10}, {    703,11}, {    367,12}, {    191,11}, \
 166     {    383,10}, {    767,11}, {    415,10}, {    831,12}, \
 167     {    223,11}, {    447,10}, {    895,11}, {    479,13}, \
 168     {    127,12}, {    255,11}, {    543,10}, {   1087,11}, \
 169     {    607,12}, {    319,11}, {    671,12}, {    351,11}, \
 170     {    735,12}, {    383,11}, {    767,12}, {    415,11}, \
 171     {    831,12}, {    447,11}, {    895,12}, {    479,14}, \
 172     {    127,12}, {    511,11}, {   1023,12}, {    543,11}, \
 173     {   1087,12}, {    607,11}, {   1215,13}, {    319,12}, \
 174     {    671,11}, {   1343,12}, {    735,13}, {    383,12}, \
 175     {    767,11}, {   1535,12}, {    831,13}, {    447,12}, \
 176     {    895,11}, {   1791,12}, {    959,13}, {    511,12}, \
 177     {   1087,13}, {    575,12}, {   1215,13}, {    639,12}, \
 178     {   1343,13}, {    703,12}, {   1407,14}, {    383,13}, \
 179     {    767,12}, {   1535,13}, {    831,12}, {   1663,13}, \
 180     {    895,12}, {   1791,13}, {    959,14}, {    511,13}, \
 181     {   1087,12}, {   2175,13}, {   1215,14}, {    639,13}, \
 182     {   1343,12}, {   2687,13}, {   1407,12}, {   2815,13}, \
 183     {   1471,14}, {    767,13}, {   1599,12}, {   3199,13}, \
 184     {   1663,14}, {    895,13}, {   1791,12}, {   3583,13}, \
 185     {   1919,15}, {    511,14}, {   1023,13}, {   2175,14}, \
 186     {   1151,13}, {   2431,12}, {   4863,14}, {   1279,13}, \
 187     {   2687,14}, {   1407,13}, {   2943,15}, {    767,14}, \
 188     {   1535,13}, {   3199,14}, {   1663,13}, {   3455,12}, \
 189     {   6911,14}, {   1791,13}, {   3583,14}, {   1919,16}, \
 190     {    511,15}, {   1023,14}, {   2431,13}, {   4863,15}, \
 191     {   1279,14}, {   2943,13}, {   5887,15}, {   1535,14}, \
 192     {   3455,13}, {   6911,15}, {   1791,14}, {   3839,13}, \
 193     {   7679,16}, {   1023,15}, {   2047,14}, {   4223,15}, \
 194     {   2303,14}, {   4863,15}, {   2559,14}, {   5119,15}, \
 195     {   2815,14}, {   5887,16}, {   1535,15}, {   3071,14}, \
 196     {   6143,15}, {   3327,14}, {   6911,15}, {   3839,14}, \
 197     {   7679,17}, {   1023,16}, {   2047,15}, {   4863,16}, \
 198     {   2559,15}, {   5887,14}, {  11775,16}, {  65536,17}, \
 199     { 131072,18}, { 262144,19}, { 524288,20}, {1048576,21}, \
 200     {2097152,22}, {4194304,23}, {8388608,24} }
 201 #define SQR_FFT_TABLE3_SIZE 227
 202 #define SQR_FFT_THRESHOLD                 3264
 203
 204 #define MULLO_BASECASE_THRESHOLD             0  /* always */
 205 #define MULLO_DC_THRESHOLD                  78
 206 #define MULLO_MUL_N_THRESHOLD             8207
 207 #define SQRLO_BASECASE_THRESHOLD            11
 208 #define SQRLO_DC_THRESHOLD                  92
 209 #define SQRLO_SQR_THRESHOLD               6481
 210
 211 #define DC_DIV_QR_THRESHOLD                 63
 212 #define DC_DIVAPPR_Q_THRESHOLD             195
 213 #define DC_BDIV_QR_THRESHOLD                56
 214 #define DC_BDIV_Q_THRESHOLD                128
 215
 216 #define INV_MULMOD_BNM1_THRESHOLD           42
 217 #define INV_NEWTON_THRESHOLD               199
 218 #define INV_APPR_THRESHOLD                 181
 219
 220 #define BINV_NEWTON_THRESHOLD              236
 221 #define REDC_1_TO_REDC_2_THRESHOLD          47
 222 #define REDC_2_TO_REDC_N_THRESHOLD          62
 223
 224 #define MU_DIV_QR_THRESHOLD               1470
 225 #define MU_DIVAPPR_Q_THRESHOLD            1589
 226 #define MUPI_DIV_QR_THRESHOLD               78
 227 #define MU_BDIV_QR_THRESHOLD              1442
 228 #define MU_BDIV_Q_THRESHOLD               1470
 229
 230 #define POWM_SEC_TABLE  3,22,194,257,1099
 231
 232 #define GET_STR_DC_THRESHOLD                12
 233 #define GET_STR_PRECOMPUTE_THRESHOLD        21
 234 #define SET_STR_DC_THRESHOLD              1432
 235 #define SET_STR_PRECOMPUTE_THRESHOLD      2729
 236
 237 #define FAC_DSC_THRESHOLD                  725
 238 #define FAC_ODD_THRESHOLD                    0  /* always */
 239
 240 #define MATRIX22_STRASSEN_THRESHOLD         17
 241 #define HGCD_THRESHOLD                     112
 242 #define HGCD_APPR_THRESHOLD                 52
 243 #define HGCD_REDUCE_THRESHOLD             2681
 244 #define GCD_DC_THRESHOLD                   807
 245 #define GCDEXT_DC_THRESHOLD                416
 246 #define JACOBI_BASE_METHOD                   4