2012-06-25 11:15:27 +02:00
|
|
|
/* AMD K8 gmp-mparam.h -- Compiler/machine parameter header file.
|
|
|
|
|
|
|
|
Copyright 1991, 1993, 1994, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007,
|
2013-12-06 12:04:52 +01:00
|
|
|
2008, 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
|
2012-06-25 11:15:27 +02:00
|
|
|
|
|
|
|
This file is part of the GNU MP Library.
|
|
|
|
|
|
|
|
The GNU MP Library is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU Lesser General Public License as published by
|
|
|
|
the Free Software Foundation; either version 3 of the License, or (at your
|
|
|
|
option) any later version.
|
|
|
|
|
|
|
|
The GNU MP Library is distributed in the hope that it will be useful, but
|
|
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
|
|
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
|
|
|
License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Lesser General Public License
|
|
|
|
along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
|
|
|
|
|
|
|
|
#define GMP_LIMB_BITS 64
|
|
|
|
#define BYTES_PER_MP_LIMB 8
|
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
// #undef mpn_sublsh_n
|
|
|
|
// #define mpn_sublsh_n(rp,up,vp,n,c) \
|
|
|
|
// (((rp) == (up)) ? mpn_submul_1 (rp, vp, n, CNST_LIMB(1) << (c)) \
|
|
|
|
// : MPN(mpn_sublsh_n)(rp,up,vp,n,c))
|
2012-06-25 11:15:27 +02:00
|
|
|
|
|
|
|
#define MOD_1_NORM_THRESHOLD 0 /* always */
|
|
|
|
#define MOD_1_UNNORM_THRESHOLD 0 /* always */
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MOD_1N_TO_MOD_1_1_THRESHOLD 4
|
|
|
|
#define MOD_1U_TO_MOD_1_1_THRESHOLD 2
|
|
|
|
#define MOD_1_1_TO_MOD_1_2_THRESHOLD 13
|
|
|
|
#define MOD_1_2_TO_MOD_1_4_THRESHOLD 35
|
|
|
|
#define PREINV_MOD_1_TO_MOD_1_THRESHOLD 7
|
2012-06-25 11:15:27 +02:00
|
|
|
#define USE_PREINV_DIVREM_1 1 /* native */
|
2013-12-06 12:04:52 +01:00
|
|
|
#define DIV_QR_2_PI2_THRESHOLD MP_SIZE_T_MAX /* never */
|
2012-06-25 11:15:27 +02:00
|
|
|
#define DIVEXACT_1_THRESHOLD 0 /* always (native) */
|
2013-12-06 12:04:52 +01:00
|
|
|
#define BMOD_1_TO_MOD_1_THRESHOLD 17
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MUL_TOOM22_THRESHOLD 27
|
2012-06-25 11:15:27 +02:00
|
|
|
#define MUL_TOOM33_THRESHOLD 81
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MUL_TOOM44_THRESHOLD 242
|
|
|
|
#define MUL_TOOM6H_THRESHOLD 369
|
|
|
|
#define MUL_TOOM8H_THRESHOLD 482
|
2012-06-25 11:15:27 +02:00
|
|
|
|
|
|
|
#define MUL_TOOM32_TO_TOOM43_THRESHOLD 97
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MUL_TOOM32_TO_TOOM53_THRESHOLD 153
|
|
|
|
#define MUL_TOOM42_TO_TOOM53_THRESHOLD 113
|
|
|
|
#define MUL_TOOM42_TO_TOOM63_THRESHOLD 187
|
|
|
|
#define MUL_TOOM43_TO_TOOM54_THRESHOLD 166
|
2012-06-25 11:15:27 +02:00
|
|
|
|
|
|
|
#define SQR_BASECASE_THRESHOLD 0 /* always (native) */
|
|
|
|
#define SQR_TOOM2_THRESHOLD 34
|
2013-12-06 12:04:52 +01:00
|
|
|
#define SQR_TOOM3_THRESHOLD 115
|
|
|
|
#define SQR_TOOM4_THRESHOLD 527
|
|
|
|
#define SQR_TOOM6_THRESHOLD 587
|
|
|
|
#define SQR_TOOM8_THRESHOLD 0 /* always */
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MULMID_TOOM42_THRESHOLD 36
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MULMOD_BNM1_THRESHOLD 18
|
|
|
|
#define SQRMOD_BNM1_THRESHOLD 19
|
|
|
|
|
|
|
|
#define MUL_FFT_MODF_THRESHOLD 642 /* k = 5 */
|
2012-06-25 11:15:27 +02:00
|
|
|
#define MUL_FFT_TABLE3 \
|
|
|
|
{ { 570, 5}, { 21, 6}, { 11, 5}, { 23, 6}, \
|
|
|
|
{ 25, 7}, { 13, 6}, { 27, 7}, { 15, 6}, \
|
|
|
|
{ 31, 7}, { 25, 8}, { 13, 7}, { 29, 8}, \
|
|
|
|
{ 15, 7}, { 31, 8}, { 17, 7}, { 35, 8}, \
|
|
|
|
{ 19, 7}, { 39, 8}, { 21, 7}, { 43, 8}, \
|
|
|
|
{ 23, 7}, { 47, 8}, { 25, 7}, { 51, 8}, \
|
|
|
|
{ 29, 9}, { 15, 8}, { 37, 9}, { 19, 8}, \
|
|
|
|
{ 43, 9}, { 23, 8}, { 51, 9}, { 27, 8}, \
|
|
|
|
{ 55,10}, { 15, 9}, { 43,10}, { 23, 9}, \
|
|
|
|
{ 55,10}, { 31, 9}, { 63, 5}, { 1023, 4}, \
|
|
|
|
{ 2431, 5}, { 1279, 6}, { 671, 7}, { 367, 8}, \
|
|
|
|
{ 189, 9}, { 95, 8}, { 195, 9}, { 111,11}, \
|
|
|
|
{ 31, 9}, { 131,10}, { 71, 9}, { 155,10}, \
|
|
|
|
{ 79, 9}, { 159,10}, { 87,11}, { 47,10}, \
|
|
|
|
{ 111,11}, { 63,10}, { 135,11}, { 79,10}, \
|
|
|
|
{ 167,11}, { 95,10}, { 191,11}, { 111,12}, \
|
|
|
|
{ 63,11}, { 143,10}, { 287,11}, { 159,10}, \
|
|
|
|
{ 319,11}, { 175,12}, { 95,11}, { 207,13}, \
|
|
|
|
{ 63,12}, { 127,11}, { 255,10}, { 543,11}, \
|
|
|
|
{ 287,12}, { 159,11}, { 319,10}, { 639,11}, \
|
|
|
|
{ 335,10}, { 671,11}, { 351,10}, { 703,12}, \
|
|
|
|
{ 191,11}, { 383,10}, { 767,11}, { 415,12}, \
|
|
|
|
{ 223,13}, { 127,12}, { 255,11}, { 543,12}, \
|
|
|
|
{ 287,11}, { 575,10}, { 1151,11}, { 607,12}, \
|
|
|
|
{ 319,11}, { 639,10}, { 1279,11}, { 671,12}, \
|
|
|
|
{ 351,11}, { 703,13}, { 191,12}, { 383,11}, \
|
|
|
|
{ 767,12}, { 415,11}, { 831,12}, { 447,14}, \
|
|
|
|
{ 127,13}, { 255,12}, { 543,11}, { 1087,12}, \
|
|
|
|
{ 607,11}, { 1215,13}, { 319,12}, { 671,11}, \
|
|
|
|
{ 1343,12}, { 735,13}, { 383,12}, { 767,11}, \
|
|
|
|
{ 1535,12}, { 799,11}, { 1599,12}, { 831,13}, \
|
|
|
|
{ 447,12}, { 895,11}, { 1791,12}, { 959,14}, \
|
|
|
|
{ 255,13}, { 511,12}, { 1087,13}, { 575,12}, \
|
|
|
|
{ 1215,13}, { 639,12}, { 1343,13}, { 703,12}, \
|
|
|
|
{ 1407,14}, { 383,13}, { 767,12}, { 1599,13}, \
|
|
|
|
{ 831,12}, { 1663,13}, { 895,12}, { 1791,13}, \
|
|
|
|
{ 959,15}, { 255,14}, { 511,13}, { 1087,12}, \
|
|
|
|
{ 2175,13}, { 1215,14}, { 639,13}, { 1471,14}, \
|
|
|
|
{ 767,13}, { 1663,14}, { 895,13}, { 1855,15}, \
|
|
|
|
{ 511,14}, { 1023,13}, { 2175,14}, { 1151,13}, \
|
|
|
|
{ 2431,14}, { 1279,13}, { 2687,14}, { 1407,15}, \
|
|
|
|
{ 767,14}, { 1535,13}, { 3071,14}, { 1791,16}, \
|
|
|
|
{ 511,15}, { 1023,14}, { 2431,15}, { 1279,14}, \
|
|
|
|
{ 2815,15}, { 1535,14}, { 3199,15}, { 1791,14}, \
|
|
|
|
{ 3583,16}, { 65536,17}, { 131072,18}, { 262144,19}, \
|
|
|
|
{ 524288,20}, {1048576,21}, {2097152,22}, {4194304,23}, \
|
|
|
|
{8388608,24} }
|
|
|
|
#define MUL_FFT_TABLE3_SIZE 185
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MUL_FFT_THRESHOLD 11520
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define SQR_FFT_MODF_THRESHOLD 565 /* k = 5 */
|
2012-06-25 11:15:27 +02:00
|
|
|
#define SQR_FFT_TABLE3 \
|
|
|
|
{ { 460, 5}, { 21, 6}, { 11, 5}, { 23, 6}, \
|
|
|
|
{ 12, 5}, { 25, 6}, { 27, 7}, { 14, 6}, \
|
|
|
|
{ 29, 7}, { 15, 6}, { 31, 7}, { 29, 8}, \
|
|
|
|
{ 15, 7}, { 32, 8}, { 17, 7}, { 35, 8}, \
|
|
|
|
{ 19, 7}, { 39, 8}, { 21, 7}, { 43, 8}, \
|
|
|
|
{ 25, 7}, { 51, 8}, { 29, 9}, { 15, 8}, \
|
|
|
|
{ 35, 9}, { 19, 8}, { 43, 9}, { 23, 8}, \
|
|
|
|
{ 51, 9}, { 27, 8}, { 55,10}, { 15, 9}, \
|
|
|
|
{ 31, 8}, { 63, 9}, { 43,10}, { 23, 9}, \
|
|
|
|
{ 55,11}, { 15,10}, { 31, 9}, { 71,10}, \
|
|
|
|
{ 39, 9}, { 83,10}, { 47, 6}, { 767, 4}, \
|
|
|
|
{ 3263, 5}, { 1727, 4}, { 3455, 5}, { 1791, 6}, \
|
|
|
|
{ 927, 7}, { 479, 6}, { 959, 7}, { 511, 8}, \
|
|
|
|
{ 271, 9}, { 147,10}, { 87,11}, { 47,10}, \
|
|
|
|
{ 95,12}, { 31,11}, { 63,10}, { 135,11}, \
|
|
|
|
{ 79,10}, { 167,11}, { 95,10}, { 191,11}, \
|
|
|
|
{ 111,12}, { 63,11}, { 127,10}, { 255,11}, \
|
|
|
|
{ 143,10}, { 287, 9}, { 575,10}, { 303,11}, \
|
|
|
|
{ 159,12}, { 95,11}, { 191,10}, { 383, 9}, \
|
|
|
|
{ 767,10}, { 399,11}, { 207,13}, { 63,12}, \
|
|
|
|
{ 127,11}, { 255,10}, { 511,11}, { 271,10}, \
|
|
|
|
{ 543,11}, { 287,10}, { 575,12}, { 159,11}, \
|
|
|
|
{ 319,10}, { 639,11}, { 335,10}, { 671,11}, \
|
|
|
|
{ 351,10}, { 703,12}, { 191,11}, { 383,10}, \
|
|
|
|
{ 767,11}, { 415,10}, { 831,11}, { 447,13}, \
|
|
|
|
{ 127,12}, { 255,11}, { 511,10}, { 1023,11}, \
|
|
|
|
{ 543,12}, { 287,11}, { 575,10}, { 1151,11}, \
|
|
|
|
{ 607,10}, { 1215,12}, { 319,11}, { 639,10}, \
|
|
|
|
{ 1279,11}, { 671,12}, { 351,11}, { 703,13}, \
|
|
|
|
{ 191,12}, { 383,11}, { 767,12}, { 415,11}, \
|
|
|
|
{ 831,12}, { 447,14}, { 127,13}, { 255,12}, \
|
|
|
|
{ 511,11}, { 1023,12}, { 543,11}, { 1087,12}, \
|
|
|
|
{ 575,11}, { 1151,12}, { 607,13}, { 319,12}, \
|
|
|
|
{ 639,11}, { 1279,12}, { 671,11}, { 1343,12}, \
|
|
|
|
{ 703,11}, { 1407,12}, { 735,13}, { 383,12}, \
|
|
|
|
{ 767,11}, { 1535,12}, { 799,11}, { 1599,12}, \
|
|
|
|
{ 831,13}, { 447,12}, { 959,14}, { 255,13}, \
|
|
|
|
{ 511,12}, { 1087,13}, { 575,12}, { 1215,13}, \
|
|
|
|
{ 639,12}, { 1343,13}, { 703,12}, { 1407,14}, \
|
|
|
|
{ 383,13}, { 767,12}, { 1599,13}, { 831,12}, \
|
|
|
|
{ 1663,13}, { 895,12}, { 1791,13}, { 959,15}, \
|
|
|
|
{ 255,14}, { 511,13}, { 1087,12}, { 2175,13}, \
|
|
|
|
{ 1215,14}, { 639,13}, { 1471,14}, { 767,13}, \
|
|
|
|
{ 1663,14}, { 895,13}, { 1855,15}, { 511,14}, \
|
|
|
|
{ 1023,13}, { 2175,14}, { 1151,13}, { 2303,14}, \
|
|
|
|
{ 1279,13}, { 2559,14}, { 1407,15}, { 767,14}, \
|
|
|
|
{ 1535,13}, { 3071,14}, { 1791,16}, { 511,15}, \
|
|
|
|
{ 1023,14}, { 2303,15}, { 1279,14}, { 2687,15}, \
|
|
|
|
{ 1535,14}, { 3199,15}, { 1791,16}, { 65536,17}, \
|
|
|
|
{ 131072,18}, { 262144,19}, { 524288,20}, {1048576,21}, \
|
|
|
|
{2097152,22}, {4194304,23}, {8388608,24} }
|
|
|
|
#define SQR_FFT_TABLE3_SIZE 203
|
2013-12-06 12:04:52 +01:00
|
|
|
#define SQR_FFT_THRESHOLD 5568
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MULLO_BASECASE_THRESHOLD 0 /* always */
|
|
|
|
#define MULLO_DC_THRESHOLD 63
|
|
|
|
#define MULLO_MUL_N_THRESHOLD 22239
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define DC_DIV_QR_THRESHOLD 40
|
|
|
|
#define DC_DIVAPPR_Q_THRESHOLD 252
|
|
|
|
#define DC_BDIV_QR_THRESHOLD 38
|
|
|
|
#define DC_BDIV_Q_THRESHOLD 168
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define INV_MULMOD_BNM1_THRESHOLD 67
|
|
|
|
#define INV_NEWTON_THRESHOLD 246
|
|
|
|
#define INV_APPR_THRESHOLD 236
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define BINV_NEWTON_THRESHOLD 252
|
|
|
|
#define REDC_1_TO_REDC_2_THRESHOLD 11
|
|
|
|
#define REDC_2_TO_REDC_N_THRESHOLD 84
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define MU_DIV_QR_THRESHOLD 1932
|
|
|
|
#define MU_DIVAPPR_Q_THRESHOLD 1895
|
|
|
|
#define MUPI_DIV_QR_THRESHOLD 99
|
|
|
|
#define MU_BDIV_QR_THRESHOLD 1528
|
2012-06-25 11:15:27 +02:00
|
|
|
#define MU_BDIV_Q_THRESHOLD 1787
|
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define POWM_SEC_TABLE 3,35,322,1926
|
|
|
|
|
|
|
|
#define MATRIX22_STRASSEN_THRESHOLD 21
|
|
|
|
#define HGCD_THRESHOLD 140
|
|
|
|
#define HGCD_APPR_THRESHOLD 190
|
|
|
|
#define HGCD_REDUCE_THRESHOLD 4120
|
|
|
|
#define GCD_DC_THRESHOLD 606
|
|
|
|
#define GCDEXT_DC_THRESHOLD 492
|
|
|
|
#define JACOBI_BASE_METHOD 4
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
#define GET_STR_DC_THRESHOLD 18
|
|
|
|
#define GET_STR_PRECOMPUTE_THRESHOLD 32
|
2012-06-25 11:15:27 +02:00
|
|
|
#define SET_STR_DC_THRESHOLD 266
|
2013-12-06 12:04:52 +01:00
|
|
|
#define SET_STR_PRECOMPUTE_THRESHOLD 2105
|
|
|
|
|
|
|
|
#define FAC_DSC_THRESHOLD 1474
|
|
|
|
#define FAC_ODD_THRESHOLD 24
|