diff options
Diffstat (limited to 'src/amd/k8/mparam.h')
| -rw-r--r-- | src/amd/k8/mparam.h | 233 |
1 files changed, 0 insertions, 233 deletions
diff --git a/src/amd/k8/mparam.h b/src/amd/k8/mparam.h deleted file mode 100644 index 2ca857f65..000000000 --- a/src/amd/k8/mparam.h +++ /dev/null @@ -1,233 +0,0 @@ -/* Various Thresholds of MPFR, not exported. -*- mode: C -*- - -Copyright 2005-2018 Free Software Foundation, Inc. - -This file is part of the GNU MPFR Library. - -The GNU MPFR 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 MPFR 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 MPFR Library; see the file COPYING.LESSER. If not, see -http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., -51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ - -/* Generated by MPFR's tuneup.c, 2018-02-21, gcc 6.3.0 */ -/* gcc13.fsffrance.org (Dual-Core AMD Opteron(tm) Processor 2212) - with gmp 6.1.2, which uses -m64 -mtune=k8 -march=k8. */ - -#define MPFR_MULHIGH_TAB \ - -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9,9,11, \ - 12,13,11,15,14,15,15,16,18,18,19,20,18,19,19,20, \ - 22,23,23,24,26,30,28,24,30,32,30,32,32,30,30,32, \ - 32,30,30,32,32,38,32,32,36,36,40,40,36,38,40,38, \ - 40,40,44,44,46,44,44,46,48,46,48,48,56,56,56,56, \ - 56,56,56,60,60,60,64,64,64,64,64,64,64,64,64,64, \ - 72,72,72,72,72,72,72,72,72,72,72,72,80,80,80,80, \ - 80,80,80,80,80,80,80,80,80,76,80,80,93,80,80,80, \ - 80,80,80,80,80,105,93,93,93,93,80,93,93,93,93,108, \ - 93,93,111,93,93,93,105,117,117,117,111,117,117,105,111,105, \ - 108,105,117,117,117,117,117,117,117,117,117,117,117,117,111,117, \ - 117,117,129,117,129,117,117,129,129,129,135,129,141,129,135,135, \ - 135,141,141,129,141,141,129,141,141,141,141,135,141,141,141,141, \ - 141,141,141,141,141,141,141,141,141,153,153,153,165,165,165,165, \ - 159,165,165,165,159,165,165,165,165,165,165,177,189,189,189,177, \ - 189,189,165,189,189,189,189,189,189,189,189,189,189,189,189,189, \ - 189,189,189,189,189,189,189,189,189,189,189,189,189,189,189,189, \ - 189,213,213,189,189,189,213,189,213,213,213,213,213,213,213,213, \ - 213,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \ - 213,213,213,213,213,213,213,213,213,213,213,213,213,213,225,225, \ - 225,225,252,225,252,237,252,237,237,237,237,237,237,237,237,252, \ - 237,252,252,252,252,252,252,252,252,252,252,252,252,252,252,252, \ - 252,252,284,252,284,284,284,284,284,252,284,284,284,284,284,284, \ - 284,284,284,284,284,284,284,284,284,284,284,284,284,284,284,284, \ - 284,284,284,284,284,284,284,284,284,284,284,284,284,300,300,284, \ - 300,300,300,300,300,300,300,300,316,316,315,316,316,316,316,316, \ - 316,316,315,316,316,316,316,316,316,316,316,316,316,316,316,316, \ - 316,314,315,316,316,316,316,316,315,316,316,316,316,316,316,316, \ - 316,316,316,316,316,316,316,316,316,316,378,378,378,378,378,378, \ - 378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \ - 378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \ - 378,378,378,378,377,378,378,378,378,378,378,378,378,378,378,426, \ - 378,426,378,426,426,426,426,426,426,426,426,426,426,426,426,426, \ - 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \ - 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \ - 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,425, \ - 426,426,426,426,474,474,474,426,474,474,504,426,474,503,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,503,504,504,503,504,504,504,504,504, \ - 504,504,568,568,568,568,568,504,568,504,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,567,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,567,568,567,568,567,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,567,568,568,568,567,568,568,568,568,568, \ - 568,568,632,568,567,632,632,632,632,632,632,632,632,600,600,600, \ - 632,632,600,600,632,632,600,600,632,632,632,632,632,632,632,632, \ - 632,632,631,632,632,632,632,632,632,632,632,632,632,632,631,632, \ - 632,632,632,632,632,632,631,632,632,632,631,632,631,632,632,632, \ - 632,632,631,632,632,632,632,632,631,632,631,632,632,632,631,632, \ - 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \ - 632,632,632,632,632,632,631,632,632,632,631,632,632,632,632,736, \ - 736,736,736,736,736,735,736,735,736,736,734,735,736,736,736,735, \ - 736,736,735,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,735,736,736,736,736,736,735,736,736,736,735,736, \ - 736,736,735,736,735,736,735,736,736,736,736,736,736,736,736,736, \ - 735,736,735,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,735,736,736,736,735,736,736,736,736,832,736,831,831,832, \ - 832,831,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ - 832,832,832,832,832,832,832,832,832,832,832,830,831,832,831,832, \ - 831,832,832,832,832,832,831,832,831,832,832,832,832,832,832,832, \ - 832,832,831,832,831,832,832,832,832,832,832,832,831,832,831,832 \ - -#define MPFR_SQRHIGH_TAB \ - -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,7,8,9,9,11, \ - 11,11,11,12,13,14,15,15,17,18,18,17,17,18,18,20, \ - 20,18,19,19,20,21,23,23,24,23,24,23,24,25,26,27, \ - 28,27,28,29,28,31,32,31,34,34,34,34,34,34,34,40, \ - 40,40,40,40,40,42,40,40,40,46,46,46,42,46,46,48, \ - 48,48,48,48,50,50,48,48,54,54,56,56,56,48,56,56, \ - 58,50,52,54,62,54,54,56,56,54,58,60,62,62,58,64, \ - 64,62,66,64,64,62,66,63,66,62,66,72,64,65,66,72, \ - 72,72,72,72,72,80,80,72,80,72,80,80,80,72,80,80, \ - 80,80,80,80,80,80,80,84,80,92,92,92,96,92,96,96, \ - 96,92,96,92,92,92,96,96,96,96,96,100,96,96,96,96, \ - 96,92,96,96,100,96,96,112,112,112,96,112,112,111,112,112, \ - 112,112,112,112,112,112,112,112,112,112,112,112,112,135,112,112, \ - 112,135,135,135,112,135,135,141,141,135,141,141,141,135,135,141, \ - 128,135,141,141,141,135,135,135,141,135,135,141,141,141,141,141, \ - 141,141,147,141,141,147,141,141,141,141,147,147,141,147,147,159, \ - 158,159,159,159,159,159,159,159,165,159,159,165,165,159,159,165, \ - 165,159,159,165,165,165,165,165,165,165,171,183,165,183,183,183, \ - 189,183,183,189,189,189,189,189,189,189,189,189,189,189,189,189, \ - 189,189,189,189,189,189,188,189,189,188,189,189,189,189,189,189, \ - 213,189,183,183,213,189,189,183,188,189,189,189,213,189,189,195, \ - 189,189,213,195,213,189,195,213,213,189,189,189,189,213,189,189, \ - 189,213,213,189,195,189,195,189,189,189,195,213,189,213,213,213, \ - 189,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \ - 213,213,213,212,213,213,237,237,213,237,213,213,213,213,237,237, \ - 237,237,237,237,237,237,237,237,237,237,237,236,237,237,237,237, \ - 237,237,237,237,237,237,237,237,237,237,249,237,237,237,237,249, \ - 237,237,237,237,237,237,273,237,273,236,237,273,249,237,237,285, \ - 273,273,273,236,273,273,285,285,273,285,273,284,285,285,273,284, \ - 285,285,285,285,285,285,285,272,285,285,285,285,285,285,297,284, \ - 285,285,285,285,285,285,285,285,285,285,285,285,285,285,285,285, \ - 285,285,285,284,285,285,333,333,309,285,285,332,333,333,309,332, \ - 333,332,333,333,333,333,333,333,333,333,333,333,333,332,333,332, \ - 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333, \ - 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,332, \ - 333,333,333,333,333,333,333,321,333,332,333,321,333,333,333,333, \ - 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333, \ - 333,333,333,333,333,402,333,402,333,402,420,420,420,420,333,402, \ - 420,402,402,402,402,332,420,420,420,402,402,420,420,419,420,420, \ - 420,420,420,420,420,420,420,420,420,420,420,420,420,420,420,420, \ - 401,402,419,402,420,419,420,420,402,402,420,420,402,402,420,402, \ - 401,420,402,402,420,420,402,420,420,420,419,420,420,420,420,420, \ - 420,420,402,420,420,420,420,420,420,420,420,420,420,420,420,420, \ - 419,420,402,420,401,420,419,420,420,402,420,420,420,420,420,420, \ - 420,420,420,420,420,420,420,420,420,420,420,420,420,420,418,420, \ - 420,420,420,420,420,420,420,420,420,420,420,420,420,420,420,420, \ - 420,420,420,420,438,420,420,420,420,420,420,420,420,474,420,474, \ - 473,474,474,474,474,474,420,474,474,474,420,492,420,492,568,568, \ - 492,492,568,492,568,568,568,568,568,492,492,492,568,492,568,568, \ - 568,474,474,568,474,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,492,568,568,568,568,567,568,568,568,567,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,567,568,568,568,568,568,568,568,567,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,567,568,567,568,568,568,568, \ - 568,568,568,568,568,568,567,568,567,567,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,632,568,632,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,632,568,568,631,568,632, \ - 632,632,632,632,632,632,631,632,629,631,632,632,632,632,632,632, \ - 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \ - 631,632,632,632,632,631,632,632,632,632,632,632,632,632,664,632, \ - 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,728 \ - -#define MPFR_DIVHIGH_TAB \ - 0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0, /*0-15*/ \ - 0,0,0,0,0,0,0,0,0,0,18,18,18,18,18,18, /*16-31*/ \ - 22,22,22,22,22,22,26,26,26,26,26,26,26,29,26,26, /*32-47*/ \ - 28,34,30,31,30,34,34,33,34,37,34,34,0,37,0,0, /*48-63*/ \ - 0,0,0,0,0,37,0,0,0,0,0,0,0,0,0,0, /*64-79*/ \ - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*80-95*/ \ - 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*96-111*/ \ - 0,0,0,0,60,0,0,0,0,0,0,0,64,0,0,0, /*112-127*/ \ - 0,0,0,0,0,0,74,0,74,74,74,74,74,78,0,78, /*128-143*/ \ - 74,78,78,78,0,0,0,0,78,78,0,0,0,0,0,0, /*144-159*/ \ - 0,0,0,0,0,0,91,96,96,95,92,96,104,92,96,92, /*160-175*/ \ - 112,92,92,92,104,104,104,112,104,104,104,108,112,112,112,120, /*176-191*/ \ - 104,112,112,120,104,104,112,120,104,112,120,120,120,120,112,112, /*192-207*/ \ - 112,120,128,112,120,128,120,128,128,128,128,120,128,128,128,128, /*208-223*/ \ - 128,128,128,128,128,128,128,128,128,128,128,128,120,136,128,128, /*224-239*/ \ - 128,136,128,128,140,128,128,128,128,128,148,128,140,128,140,148, /*240-255*/ \ - 136,148,136,148,148,148,136,148,136,136,156,148,148,156,148,148, /*256-271*/ \ - 156,148,160,156,156,148,156,160,148,156,148,158,148,148,148,148, /*272-287*/ \ - 150,148,160,148,151,156,156,157,156,160,160,156,156,156,156,156, /*288-303*/ \ - 158,156,159,160,156,156,157,159,160,160,160,174,168,174,174,174, /*304-319*/ \ - 180,184,174,182,174,180,184,174,174,184,174,184,184,184,184,184, /*320-335*/ \ - 186,185,185,180,184,180,183,184,174,192,184,184,192,208,185,180, /*336-351*/ \ - 180,216,184,186,192,210,206,184,216,186,186,210,185,212,192,216, /*352-367*/ \ - 216,216,224,224,206,208,221,222,208,208,208,208,208,209,209,208, /*368-383*/ \ - 232,208,240,240,206,222,208,210,208,208,224,224,222,208,208,224, /*384-399*/ \ - 216,240,208,224,222,224,224,240,232,216,233,222,222,224,224,233, /*400-415*/ \ - 222,224,224,240,222,232,240,224,240,240,222,232,224,256,256,224, /*416-431*/ \ - 256,240,231,224,240,256,240,256,234,256,239,240,240,240,256,256, /*432-447*/ \ - 256,240,256,256,256,240,256,240,256,256,256,256,256,256,240,254, /*448-463*/ \ - 256,256,256,256,256,256,256,255,256,256,256,255,256,256,256,256, /*464-479*/ \ - 256,256,256,256,256,256,256,256,256,256,256,256,256,254,256,255, /*480-495*/ \ - 256,255,256,256,256,256,256,256,256,256,255,256,256,256,270,279, /*496-511*/ \ - 280,281,280,280,281,280,270,270,280,312,288,280,280,282,278,272, /*512-527*/ \ - 288,296,279,272,272,312,272,312,280,280,312,296,280,296,312,312, /*528-543*/ \ - 312,296,296,296,312,296,312,296,312,313,312,296,312,281,312,312, /*544-559*/ \ - 317,312,312,318,312,312,312,312,312,312,312,312,300,312,314,318, /*560-575*/ \ - 304,316,312,312,296,311,312,311,312,312,314,312,312,313,312,312, /*576-591*/ \ - 312,304,312,313,312,312,312,312,312,312,313,312,316,316,312,312, /*592-607*/ \ - 312,312,312,312,312,312,312,312,313,317,312,312,312,312,313,315, /*608-623*/ \ - 315,315,318,318,318,317,318,348,348,320,320,348,336,368,348,348, /*624-639*/ \ - 368,348,348,336,360,352,352,372,348,372,368,348,368,372,370,371, /*640-655*/ \ - 348,372,372,372,352,348,354,360,364,368,372,364,366,366,367,368, /*656-671*/ \ - 370,372,372,372,371,368,369,366,372,371,372,371,372,384,360,384, /*672-687*/ \ - 348,368,378,348,384,372,372,369,370,384,384,368,354,372,416,372, /*688-703*/ \ - 372,414,364,370,368,368,416,368,416,368,420,416,432,368,368,416, /*704-719*/ \ - 420,420,416,420,417,432,432,418,420,426,418,432,420,420,426,432, /*720-735*/ \ - 432,432,432,432,432,432,448,432,432,432,432,448,448,448,448,414, /*736-751*/ \ - 448,444,448,432,448,432,448,448,448,448,448,432,426,448,447,464, /*752-767*/ \ - 448,417,448,448,432,448,432,432,448,414,432,448,432,447,448,420, /*768-783*/ \ - 432,448,432,432,444,432,448,448,448,432,425,448,432,420,448,419, /*784-799*/ \ - 448,432,448,426,432,425,448,420,432,416,420,432,432,416,448,432, /*800-815*/ \ - 420,432,448,448,449,448,432,444,448,432,448,448,448,447,448,448, /*816-831*/ \ - 448,432,432,448,448,480,448,432,448,448,448,449,449,448,448,444, /*832-847*/ \ - 466,480,448,448,448,448,449,448,480,432,444,432,448,447,444,448, /*848-863*/ \ - 447,448,448,448,464,448,448,448,480,448,448,447,448,448,480,444, /*864-879*/ \ - 448,448,480,448,449,448,464,468,512,448,504,449,448,448,449,512, /*880-895*/ \ - 512,504,464,480,464,512,512,480,512,480,504,504,480,512,480,466, /*896-911*/ \ - 480,512,512,512,480,504,504,480,465,504,468,480,480,480,512,480, /*912-927*/ \ - 504,480,480,480,512,468,479,480,480,504,480,480,512,480,480,504, /*928-943*/ \ - 512,480,480,480,504,480,503,512,480,480,480,480,480,511,512,504, /*944-959*/ \ - 504,504,512,512,512,500,497,503,504,512,504,502,512,504,504,510, /*960-975*/ \ - 504,512,512,500,504,512,512,500,512,512,512,502,512,504,563,512, /*976-991*/ \ - 512,504,504,512,512,512,512,512,504,511,512,512,512,504,512,512, /*992-1007*/ \ - 512,535,562,512,511,512,512,559,544,512,512,543,564,512,561,560 /*1008-1023*/ \ - -#define MPFR_MUL_THRESHOLD 17 /* limbs */ -#define MPFR_SQR_THRESHOLD 13 /* limbs */ -#define MPFR_DIV_THRESHOLD 27 /* limbs */ -#define MPFR_EXP_2_THRESHOLD 562 /* bits */ -#define MPFR_EXP_THRESHOLD 11073 /* bits */ -#define MPFR_SINCOS_THRESHOLD 32373 /* bits */ -#define MPFR_AI_THRESHOLD1 -11888 /* threshold for negative input of mpfr_ai */ -#define MPFR_AI_THRESHOLD2 1178 -#define MPFR_AI_THRESHOLD3 20065 -/* Tuneup completed successfully, took 766 seconds */ |