xref: /dflybsd-src/contrib/mpfr/src/amd/k8/mparam.h (revision 2786097444a0124b5d33763854de247e230c6629) 
14a238c70SJohn Marino /* Various Thresholds of MPFR, not exported.  -*- mode: C -*-
24a238c70SJohn Marino 
3*ab6d115fSJohn Marino Copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
44a238c70SJohn Marino 
54a238c70SJohn Marino This file is part of the GNU MPFR Library.
64a238c70SJohn Marino 
74a238c70SJohn Marino The GNU MPFR Library is free software; you can redistribute it and/or modify
84a238c70SJohn Marino it under the terms of the GNU Lesser General Public License as published by
94a238c70SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
104a238c70SJohn Marino option) any later version.
114a238c70SJohn Marino 
124a238c70SJohn Marino The GNU MPFR Library is distributed in the hope that it will be useful, but
134a238c70SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
144a238c70SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
154a238c70SJohn Marino License for more details.
164a238c70SJohn Marino 
174a238c70SJohn Marino You should have received a copy of the GNU Lesser General Public License
184a238c70SJohn Marino along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
194a238c70SJohn Marino http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
204a238c70SJohn Marino 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
214a238c70SJohn Marino 
224a238c70SJohn Marino /* Generated by MPFR's tuneup.c, 2011-07-31, gcc 4.3.2 */
234a238c70SJohn Marino /* gcc11.fsffrance.org (Dual-Core AMD Opteron(tm) Processor 2212)
244a238c70SJohn Marino    with gmp 5.0.2.
254a238c70SJohn Marino    Keith Briggs sent similar parameters obtained on a AMD Athlon
264a238c70SJohn Marino    (__tune_k8__, __x86_64, __amd64, __k8) */
274a238c70SJohn Marino 
284a238c70SJohn Marino 
294a238c70SJohn Marino #define MPFR_MULHIGH_TAB  \
304a238c70SJohn Marino  -1,0,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9,11,11, \
314a238c70SJohn Marino  12,12,11,15,14,14,15,16,18,18,19,20,18,19,19,20, \
324a238c70SJohn Marino  22,22,23,24,26,30,28,28,32,30,30,32,32,30,32,32, \
334a238c70SJohn Marino  32,30,30,32,32,38,32,32,36,40,40,40,36,38,40,38, \
344a238c70SJohn Marino  40,44,40,44,44,44,44,48,48,46,48,48,56,56,56,56, \
354a238c70SJohn Marino  56,56,56,60,64,60,60,64,64,64,64,64,64,64,64,64, \
364a238c70SJohn Marino  72,72,72,72,72,72,72,72,72,72,72,72,80,80,80,80, \
374a238c70SJohn Marino  80,80,80,80,80,80,80,80,80,80,80,80,93,80,93,93, \
384a238c70SJohn Marino  93,76,80,93,80,93,93,90,93,93,93,93,93,93,93,93, \
394a238c70SJohn Marino  93,93,111,105,93,117,105,105,117,117,111,117,117,105,117,117, \
404a238c70SJohn Marino  117,105,117,117,117,117,117,117,117,117,117,117,117,117,117,117, \
414a238c70SJohn Marino  117,117,117,117,116,117,116,117,117,117,117,117,117,117,117,117, \
424a238c70SJohn Marino  117,117,140,117,140,140,140,140,140,148,148,147,140,156,156,156, \
434a238c70SJohn Marino  148,148,156,148,156,156,156,156,156,155,156,155,156,155,156,156, \
444a238c70SJohn Marino  156,156,156,156,156,156,156,156,172,172,172,156,172,172,172,172, \
454a238c70SJohn Marino  172,172,172,172,180,180,180,180,180,180,180,188,188,188,188,188, \
464a238c70SJohn Marino  180,188,188,188,188,187,188,188,188,188,188,188,188,188,188,188, \
474a238c70SJohn Marino  188,188,188,188,188,188,188,188,188,188,188,188,188,220,220,204, \
484a238c70SJohn Marino  220,220,220,219,220,220,220,220,220,219,220,219,220,219,220,220, \
494a238c70SJohn Marino  220,236,236,220,236,219,233,236,233,252,236,252,236,252,252,236, \
504a238c70SJohn Marino  235,236,236,252,252,236,236,252,252,236,252,252,236,251,250,251, \
514a238c70SJohn Marino  252,252,251,252,252,252,252,252,252,252,252,252,252,252,252,252, \
524a238c70SJohn Marino  252,252,284,252,284,284,284,284,284,252,284,284,284,284,284,284, \
534a238c70SJohn Marino  283,284,284,284,284,284,284,284,284,284,284,283,284,284,284,284, \
544a238c70SJohn Marino  284,284,283,284,284,284,284,284,284,284,284,284,284,300,284,300, \
554a238c70SJohn Marino  300,316,300,300,300,316,300,300,316,316,316,316,316,316,316,316, \
564a238c70SJohn Marino  316,316,316,316,316,316,316,316,316,316,316,316,316,316,316,316, \
574a238c70SJohn Marino  316,315,316,316,315,316,316,316,315,316,316,316,316,316,316,316, \
584a238c70SJohn Marino  316,316,316,368,316,316,367,368,368,368,368,368,368,368,368,368, \
594a238c70SJohn Marino  368,368,368,368,368,368,368,368,368,368,368,368,368,368,368,368, \
604a238c70SJohn Marino  368,368,368,368,368,368,367,368,368,368,368,367,368,367,367,368, \
614a238c70SJohn Marino  368,367,367,368,367,368,368,367,368,368,368,367,368,368,368,368, \
624a238c70SJohn Marino  367,368,416,415,416,416,416,416,416,416,415,416,416,416,416,416, \
634a238c70SJohn Marino  416,416,416,416,416,416,415,416,415,416,415,416,416,416,416,416, \
644a238c70SJohn Marino  416,415,416,416,415,416,416,415,416,416,440,416,416,416,440,416, \
654a238c70SJohn Marino  415,416,415,416,464,464,464,464,464,464,463,464,464,464,463,464, \
664a238c70SJohn Marino  464,464,464,464,464,463,464,464,474,474,464,464,473,474,474,504, \
674a238c70SJohn Marino  474,474,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
684a238c70SJohn Marino  504,504,504,504,504,504,504,504,504,503,504,504,504,504,504,504, \
694a238c70SJohn Marino  503,504,504,504,504,504,503,504,504,504,504,504,503,504,504,503, \
704a238c70SJohn Marino  504,504,504,504,504,504,504,504,503,504,504,504,504,504,503,504, \
714a238c70SJohn Marino  504,504,504,504,568,568,568,504,568,568,568,568,568,568,568,568, \
724a238c70SJohn Marino  568,567,568,568,568,567,568,568,568,568,568,568,568,568,568,568, \
734a238c70SJohn Marino  568,568,568,568,568,568,568,568,567,567,568,566,568,568,568,567, \
744a238c70SJohn Marino  568,568,568,568,568,568,568,568,568,568,567,568,568,567,568,568, \
754a238c70SJohn Marino  568,568,568,568,567,568,568,566,567,568,568,568,568,568,568,568, \
764a238c70SJohn Marino  568,567,568,568,567,568,567,568,567,568,567,568,567,568,632,568, \
774a238c70SJohn Marino  600,632,632,600,631,632,632,632,632,631,600,600,632,632,600,631, \
784a238c70SJohn Marino  632,632,632,632,632,632,631,632,632,632,631,632,631,632,632,632, \
794a238c70SJohn Marino  632,632,631,632,632,631,632,632,632,631,632,632,632,632,631,632, \
804a238c70SJohn Marino  632,632,632,632,630,632,632,632,632,632,631,632,631,632,631,632, \
814a238c70SJohn Marino  632,632,632,632,632,632,632,632,631,632,632,632,632,632,632,631, \
824a238c70SJohn Marino  632,632,632,631,632,632,632,736,632,631,632,736,632,632,632,632, \
834a238c70SJohn Marino  736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
844a238c70SJohn Marino  736,734,736,736,735,736,736,735,736,736,736,736,736,736,736,736, \
854a238c70SJohn Marino  736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
864a238c70SJohn Marino  736,736,736,736,736,736,735,736,736,736,736,736,736,736,735,736, \
874a238c70SJohn Marino  736,736,735,736,735,736,736,736,735,736,736,736,736,736,736,736, \
884a238c70SJohn Marino  736,736,736,735,736,736,736,735,736,736,736,736,736,735,736,736, \
894a238c70SJohn Marino  736,736,736,736,736,736,736,736,736,735,736,735,736,832,736,832, \
904a238c70SJohn Marino  832,832,832,832,831,832,832,831,832,832,832,832,832,832,831,832, \
914a238c70SJohn Marino  831,832,831,832,832,831,832,832,832,832,832,832,831,832,832,832, \
924a238c70SJohn Marino  831,832,832,832,832,832,831,832,832,832,832,832,831,832,831,832, \
934a238c70SJohn Marino  832,832,831,832,831,832,831,832,832,832,832,832,832,832,831,832 \
944a238c70SJohn Marino 
954a238c70SJohn Marino #define MPFR_SQRHIGH_TAB  \
964a238c70SJohn Marino  -1,0,0,0,0,-1,-1,-1,-1,-1,7,7,8,9,9,11, \
974a238c70SJohn Marino  11,11,11,11,13,13,15,15,17,17,18,17,17,17,18,20, \
984a238c70SJohn Marino  20,21,23,23,20,21,23,23,24,25,23,23,24,25,26,25, \
994a238c70SJohn Marino  28,27,28,29,28,31,34,31,34,34,34,34,34,34,34,34, \
1004a238c70SJohn Marino  40,34,40,36,40,42,40,42,40,40,42,42,48,48,46,46, \
1014a238c70SJohn Marino  42,46,48,48,46,50,46,52,54,54,48,56,54,50,54,52, \
1024a238c70SJohn Marino  50,54,54,52,54,54,58,58,62,64,58,58,58,64,62,64, \
1034a238c70SJohn Marino  58,64,66,72,68,68,68,68,68,62,66,72,72,72,68,68, \
1044a238c70SJohn Marino  72,72,68,72,72,72,72,72,80,84,80,80,80,84,80,80, \
1054a238c70SJohn Marino  80,84,84,84,84,84,92,80,80,84,92,84,92,92,92,96, \
1064a238c70SJohn Marino  100,92,100,92,96,92,92,96,100,100,96,96,96,100,100,96, \
1074a238c70SJohn Marino  96,96,92,92,96,96,108,100,96,100,100,112,112,112,112,112, \
1084a238c70SJohn Marino  112,112,108,112,100,104,112,116,104,116,116,108,112,112,112,116, \
1094a238c70SJohn Marino  112,112,112,112,112,141,135,141,116,135,135,135,141,141,141,141, \
1104a238c70SJohn Marino  141,141,141,141,141,141,135,135,141,141,147,141,141,141,140,141, \
1114a238c70SJohn Marino  141,141,147,147,141,147,147,147,147,147,147,147,147,147,147,159, \
1124a238c70SJohn Marino  153,147,147,159,159,159,159,159,159,159,159,159,165,171,171,171, \
1134a238c70SJohn Marino  165,170,171,171,165,171,171,171,165,171,171,171,183,171,171,171, \
1144a238c70SJohn Marino  183,183,171,183,171,183,183,183,183,183,183,183,189,189,183,195, \
1154a238c70SJohn Marino  171,171,188,171,171,195,171,171,171,195,195,182,195,177,182,183, \
1164a238c70SJohn Marino  183,181,182,183,183,189,183,194,195,195,194,195,195,195,195,195, \
1174a238c70SJohn Marino  195,195,213,195,195,195,195,195,189,195,195,195,195,195,195,195, \
1184a238c70SJohn Marino  212,195,213,195,195,195,213,195,195,195,195,195,195,213,213,201, \
1194a238c70SJohn Marino  195,195,195,213,213,213,213,213,212,213,213,213,213,213,213,213, \
1204a238c70SJohn Marino  237,212,213,213,213,213,213,225,213,213,213,249,213,249,237,237, \
1214a238c70SJohn Marino  237,237,237,249,237,237,237,237,249,237,249,237,237,237,249,249, \
1224a238c70SJohn Marino  249,236,237,249,249,249,249,249,249,249,249,249,249,249,249,249, \
1234a238c70SJohn Marino  249,273,273,273,273,273,273,272,273,273,273,273,273,273,273,273, \
1244a238c70SJohn Marino  273,273,273,273,273,273,273,285,273,284,285,285,285,285,297,284, \
1254a238c70SJohn Marino  285,297,285,297,297,297,297,297,297,297,297,296,297,296,297,296, \
1264a238c70SJohn Marino  297,297,297,297,297,297,297,273,297,273,309,273,273,273,273,320, \
1274a238c70SJohn Marino  321,321,321,285,285,285,285,285,284,285,297,285,297,297,297,297, \
1284a238c70SJohn Marino  297,297,333,297,297,297,296,297,309,297,297,297,297,285,309,348, \
1294a238c70SJohn Marino  297,297,348,348,285,321,297,321,321,297,320,321,321,297,297,321, \
1304a238c70SJohn Marino  297,321,333,366,333,333,309,333,333,333,332,333,297,321,321,321, \
1314a238c70SJohn Marino  321,348,321,345,348,348,348,366,348,347,348,365,366,365,333,366, \
1324a238c70SJohn Marino  402,366,333,366,366,366,366,402,366,365,366,366,366,366,366,366, \
1334a238c70SJohn Marino  366,348,420,420,348,420,419,420,419,420,420,420,366,366,420,366, \
1344a238c70SJohn Marino  366,365,366,402,366,366,366,366,402,402,402,401,402,402,402,401, \
1354a238c70SJohn Marino  420,401,402,402,420,420,420,420,402,420,420,420,420,419,420,419, \
1364a238c70SJohn Marino  420,419,420,420,402,401,420,402,402,420,402,420,402,401,420,420, \
1374a238c70SJohn Marino  420,420,420,420,420,402,420,420,402,420,420,420,420,420,420,420, \
1384a238c70SJohn Marino  420,420,420,420,420,420,420,420,420,419,420,420,438,420,420,438, \
1394a238c70SJohn Marino  420,420,420,420,420,420,438,420,437,438,438,420,438,438,420,420, \
1404a238c70SJohn Marino  438,420,420,438,438,420,420,420,438,420,420,420,420,419,420,420, \
1414a238c70SJohn Marino  420,420,420,420,474,419,420,420,420,438,419,456,438,474,438,437, \
1424a238c70SJohn Marino  438,438,438,438,438,420,438,420,438,438,438,420,420,419,420,420, \
1434a238c70SJohn Marino  438,420,438,419,420,420,420,420,420,419,420,474,420,420,438,420, \
1444a238c70SJohn Marino  438,473,474,474,474,473,438,474,474,438,438,437,438,438,438,438, \
1454a238c70SJohn Marino  438,438,474,437,437,474,560,456,473,474,535,536,474,560,536,536, \
1464a238c70SJohn Marino  560,560,560,560,560,560,560,560,560,560,560,560,560,560,560,560, \
1474a238c70SJohn Marino  560,560,559,560,560,560,560,560,560,560,560,560,560,560,560,560, \
1484a238c70SJohn Marino  559,560,560,560,560,560,560,560,560,560,560,560,560,560,560,560, \
1494a238c70SJohn Marino  560,560,560,560,560,560,560,560,560,560,560,560,560,560,560,560, \
1504a238c70SJohn Marino  559,560,560,560,560,560,560,560,559,560,559,560,560,560,560,559, \
1514a238c70SJohn Marino  559,560,559,560,560,560,560,560,560,559,560,560,559,560,559,560, \
1524a238c70SJohn Marino  560,560,559,560,560,560,560,559,560,560,560,560,560,560,560,560, \
1534a238c70SJohn Marino  560,560,560,560,560,560,560,560,560,560,559,584,560,560,560,560, \
1544a238c70SJohn Marino  559,560,560,559,560,560,560,560,560,560,559,559,560,560,560,560, \
1554a238c70SJohn Marino  560,560,559,560,560,560,560,560,560,583,560,560,584,560,584,584, \
1564a238c70SJohn Marino  584,560,583,583,584,584,582,584,584,584,583,584,584,584,584,584, \
1574a238c70SJohn Marino  727,584,728,632,728,560,727,728,728,560,584,560,560,727,728,728, \
1584a238c70SJohn Marino  727,728,728,728,608,728,728,724,728,728,760,727,728,727,728,728, \
1594a238c70SJohn Marino  728,759,728,696,728,728,728,728,728,727,759,760,727,760,760,727 \
1604a238c70SJohn Marino 
1614a238c70SJohn Marino #define MPFR_DIVHIGH_TAB  \
1624a238c70SJohn Marino  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, \
1634a238c70SJohn Marino  14,15,18,19,18,14,22,18,18,18,18,20,18,18,20,22, \
1644a238c70SJohn Marino  22,22,23,24,26,26,26,28,24,30,28,28,28,30,30,32, \
1654a238c70SJohn Marino  32,34,32,34,32,34,34,31,32,37,32,37,32,33,34,35, \
1664a238c70SJohn Marino  39,37,37,39,39,37,39,39,39,39,39,39,43,44,46,46, \
1674a238c70SJohn Marino  47,45,46,48,52,48,50,50,48,46,50,50,52,56,54,50, \
1684a238c70SJohn Marino  60,60,60,56,56,64,61,60,56,64,60,64,64,64,64,60, \
1694a238c70SJohn Marino  64,64,64,63,64,64,64,64,64,64,70,64,64,68,78,66, \
1704a238c70SJohn Marino  74,69,70,74,70,69,74,78,78,74,74,74,74,78,78,79, \
1714a238c70SJohn Marino  78,78,78,78,78,78,78,78,78,78,88,88,88,88,88,88, \
1724a238c70SJohn Marino  92,92,88,91,92,88,95,96,96,96,96,92,92,88,92,112, \
1734a238c70SJohn Marino  112,112,112,108,112,112,112,112,120,112,112,112,120,112,120,112, \
1744a238c70SJohn Marino  112,120,120,120,104,112,112,128,112,112,112,120,112,112,120,120, \
1754a238c70SJohn Marino  128,120,120,120,112,120,128,128,128,120,128,128,128,128,128,128, \
1764a238c70SJohn Marino  128,128,120,128,128,128,128,128,120,128,128,128,128,128,128,128, \
1774a238c70SJohn Marino  128,128,128,128,128,128,126,128,128,128,127,128,128,128,144,148, \
1784a238c70SJohn Marino  136,136,144,144,140,141,140,148,148,151,144,148,148,160,156,148, \
1794a238c70SJohn Marino  160,160,160,160,156,156,156,148,148,156,148,160,160,160,148,156, \
1804a238c70SJohn Marino  148,148,148,156,156,156,156,160,156,156,158,156,156,157,160,156, \
1814a238c70SJohn Marino  156,160,160,158,156,156,158,158,159,160,159,160,160,160,184,183, \
1824a238c70SJohn Marino  184,184,180,184,184,176,184,184,184,184,186,184,184,184,184,184, \
1834a238c70SJohn Marino  184,184,186,186,192,184,184,186,184,184,186,183,184,185,186,184, \
1844a238c70SJohn Marino  184,184,186,185,216,184,192,186,208,192,192,184,208,216,224,209, \
1854a238c70SJohn Marino  208,216,224,222,224,216,208,224,224,224,208,224,210,224,216,234, \
1864a238c70SJohn Marino  208,216,216,208,224,216,216,224,224,222,224,224,224,216,224,224, \
1874a238c70SJohn Marino  224,221,224,216,232,224,224,224,224,224,224,224,208,224,222,224, \
1884a238c70SJohn Marino  224,224,216,224,232,224,224,216,224,256,224,256,224,248,224,224, \
1894a238c70SJohn Marino  224,224,224,224,224,222,224,232,222,224,224,224,224,224,230,232, \
1904a238c70SJohn Marino  256,234,232,240,240,233,240,233,248,240,240,240,240,238,240,256, \
1914a238c70SJohn Marino  248,240,248,256,256,256,256,256,256,248,256,256,256,256,256,256, \
1924a238c70SJohn Marino  256,256,256,256,256,256,248,256,248,256,248,248,256,256,256,256, \
1934a238c70SJohn Marino  256,256,256,256,280,296,280,280,256,288,296,280,256,280,280,296, \
1944a238c70SJohn Marino  296,296,280,280,280,296,296,296,280,280,280,296,280,296,295,312, \
1954a238c70SJohn Marino  312,312,312,296,312,311,312,312,312,296,296,312,296,296,312,312, \
1964a238c70SJohn Marino  312,296,312,312,296,311,312,312,312,312,312,312,312,312,312,296, \
1974a238c70SJohn Marino  296,312,311,296,312,312,312,312,312,312,312,312,296,312,312,312, \
1984a238c70SJohn Marino  312,312,312,312,312,312,312,312,296,312,312,312,312,312,312,312, \
1994a238c70SJohn Marino  312,312,312,312,311,311,312,312,312,312,312,312,312,312,312,312, \
2004a238c70SJohn Marino  312,312,312,312,312,312,312,312,312,312,312,312,312,312,320,316, \
2014a238c70SJohn Marino  320,319,319,320,320,320,319,320,319,320,360,320,320,320,352,360, \
2024a238c70SJohn Marino  368,352,368,368,369,372,344,370,372,366,369,352,370,370,370,360, \
2034a238c70SJohn Marino  360,360,360,368,360,372,372,360,370,368,372,367,368,360,370,368, \
2044a238c70SJohn Marino  372,371,370,372,372,372,371,368,368,368,370,370,368,368,368,372, \
2054a238c70SJohn Marino  370,372,367,368,368,370,368,368,360,368,360,368,370,368,368,367, \
2064a238c70SJohn Marino  360,368,368,368,372,368,372,368,368,368,372,371,368,416,368,367, \
2074a238c70SJohn Marino  372,368,372,372,372,370,440,372,368,416,368,368,368,433,448,369, \
2084a238c70SJohn Marino  440,416,415,416,440,448,440,440,448,448,440,448,440,440,448,416, \
2094a238c70SJohn Marino  416,416,415,440,417,416,416,418,432,418,417,448,416,432,416,432, \
2104a238c70SJohn Marino  416,420,440,448,408,416,432,448,416,448,448,448,440,440,440,440, \
2114a238c70SJohn Marino  448,440,440,440,440,448,416,448,440,416,448,416,448,448,440,448, \
2124a238c70SJohn Marino  416,440,416,419,417,448,416,420,416,432,433,420,417,432,416,424, \
2134a238c70SJohn Marino  440,440,440,440,448,437,440,440,448,440,440,448,448,448,448,432, \
2144a238c70SJohn Marino  480,440,440,440,448,448,448,448,448,448,440,448,445,432,448,448, \
2154a238c70SJohn Marino  448,439,448,448,468,448,448,440,440,440,448,448,468,496,480,448, \
2164a238c70SJohn Marino  440,448,440,468,440,496,440,466,448,448,448,468,448,440,448,448, \
2174a238c70SJohn Marino  448,496,496,496,496,448,448,496,448,468,468,448,448,468,480,467, \
2184a238c70SJohn Marino  468,512,496,512,512,496,496,480,512,480,496,512,512,512,496,512, \
2194a238c70SJohn Marino  512,496,496,496,512,512,512,512,512,496,512,512,496,496,496,496, \
2204a238c70SJohn Marino  512,512,496,512,496,496,496,496,512,512,512,496,480,496,496,496, \
2214a238c70SJohn Marino  496,496,512,512,512,512,496,496,512,496,496,496,512,480,496,544, \
2224a238c70SJohn Marino  512,496,496,496,576,512,496,560,496,496,512,561,496,560,496,560, \
2234a238c70SJohn Marino  560,496,512,512,512,496,512,512,512,576,512,512,512,512,512,512, \
2244a238c70SJohn Marino  512,512,512,512,560,512,560,512,576,512,576,592,512,560,591,512, \
2254a238c70SJohn Marino  592,512,576,512,576,592,592,624,592,576,560,512,592,576,592,592 \
2264a238c70SJohn Marino 
2274a238c70SJohn Marino #define MPFR_MUL_THRESHOLD 19 /* limbs */
2284a238c70SJohn Marino #define MPFR_SQR_THRESHOLD 18 /* limbs */
2294a238c70SJohn Marino #define MPFR_DIV_THRESHOLD 34 /* limbs */
2304a238c70SJohn Marino #define MPFR_EXP_2_THRESHOLD 1031 /* bits */
2314a238c70SJohn Marino #define MPFR_EXP_THRESHOLD 11014 /* bits */
2324a238c70SJohn Marino #define MPFR_SINCOS_THRESHOLD 26907 /* bits */
2334a238c70SJohn Marino #define MPFR_AI_THRESHOLD1 -12404 /* threshold for negative input of mpfr_ai */
2344a238c70SJohn Marino #define MPFR_AI_THRESHOLD2 1024
2354a238c70SJohn Marino #define MPFR_AI_THRESHOLD3 19611
2364a238c70SJohn Marino /* Tuneup completed successfully, took 759 seconds */
237