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.6.1 */ 234a238c70SJohn Marino /* contributed by Jim Cloos <cloos at jhcloos dot com> with GMP 5.0.2 on a 244a238c70SJohn Marino "2009 or 2010 vintage phenom-II", where __amd64, __amd64__, 254a238c70SJohn Marino __k8, __k8__, __x86_64 and __x86_64__ are also defined. 264a238c70SJohn Marino */ 274a238c70SJohn Marino 284a238c70SJohn Marino 294a238c70SJohn Marino #define MPFR_MULHIGH_TAB \ 304a238c70SJohn Marino -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,8,9,10,11, \ 314a238c70SJohn Marino 12,12,12,14,14,14,16,16,18,18,19,20,18,22,20,20, \ 324a238c70SJohn Marino 20,20,20,20,22,22,22,24,28,28,28,28,28,28,32,32, \ 334a238c70SJohn Marino 30,32,32,32,32,32,32,38,38,38,38,40,40,40,40,40, \ 344a238c70SJohn Marino 40,40,44,44,48,48,44,46,48,48,56,56,56,56,56,56, \ 354a238c70SJohn Marino 56,56,56,60,64,60,64,64,64,64,64,64,64,64,64,64, \ 364a238c70SJohn Marino 60,64,64,72,64,64,72,72,64,64,64,72,80,72,80,76, \ 374a238c70SJohn Marino 76,80,76,80,80,80,80,76,80,79,80,80,80,80,80,80, \ 384a238c70SJohn Marino 81,80,86,93,90,87,93,93,93,93,92,93,93,92,93,92, \ 394a238c70SJohn Marino 93,93,93,93,102,105,105,104,105,105,105,105,105,105,111,116, \ 404a238c70SJohn Marino 111,110,111,117,117,111,114,116,117,117,117,117,117,116,116,117, \ 414a238c70SJohn Marino 116,117,117,117,117,117,117,117,117,117,117,117,117,117,117,117, \ 424a238c70SJohn Marino 117,117,117,117,117,117,117,117,117,148,148,156,148,148,148,148, \ 434a238c70SJohn Marino 148,156,156,156,155,156,156,156,156,156,156,156,156,156,155,156, \ 444a238c70SJohn Marino 156,156,156,156,172,156,172,172,172,156,172,156,172,172,172,172, \ 454a238c70SJohn Marino 172,172,172,172,172,172,172,180,172,180,172,172,172,188,188,172, \ 464a238c70SJohn Marino 188,188,188,188,188,188,179,188,188,188,188,188,188,188,188,188, \ 474a238c70SJohn Marino 188,220,220,220,220,188,220,220,220,220,220,220,220,220,220,220, \ 484a238c70SJohn Marino 220,220,220,220,220,220,220,220,220,220,220,220,220,219,220,220, \ 494a238c70SJohn Marino 220,220,220,220,236,220,220,220,252,252,236,252,252,252,252,236, \ 504a238c70SJohn Marino 236,236,252,236,252,252,236,252,236,252,252,252,252,251,250,252, \ 514a238c70SJohn Marino 252,252,252,252,252,252,252,252,252,252,252,252,251,252,252,251, \ 524a238c70SJohn Marino 252,252,252,252,252,252,252,252,252,252,252,252,252,252,284,284, \ 534a238c70SJohn Marino 252,284,284,284,284,284,284,284,284,284,284,284,284,284,283,284, \ 544a238c70SJohn Marino 284,283,284,284,300,300,300,284,284,300,284,284,298,300,316,316, \ 554a238c70SJohn Marino 300,284,300,316,300,316,300,284,316,316,316,316,300,316,300,316, \ 564a238c70SJohn Marino 316,300,316,300,316,316,315,316,316,316,316,316,316,316,316,316, \ 574a238c70SJohn Marino 316,316,316,316,313,316,316,316,316,316,316,316,320,316,320,368, \ 584a238c70SJohn Marino 316,316,316,368,368,368,367,368,368,368,368,368,368,368,368,368, \ 594a238c70SJohn Marino 367,367,368,368,368,368,368,368,368,368,368,368,368,368,368,368, \ 604a238c70SJohn Marino 368,368,368,366,368,368,367,368,368,367,368,368,368,368,368,368, \ 614a238c70SJohn Marino 367,366,367,368,368,367,368,368,368,368,368,368,368,368,368,368, \ 624a238c70SJohn Marino 368,368,368,368,368,368,368,368,416,368,368,368,368,368,368,416, \ 634a238c70SJohn Marino 368,416,415,416,416,368,416,416,416,415,415,416,416,416,416,416, \ 644a238c70SJohn Marino 416,416,415,416,416,415,416,416,440,416,415,416,416,415,416,415, \ 654a238c70SJohn Marino 416,416,416,474,415,416,416,415,416,416,416,416,416,416,474,474, \ 664a238c70SJohn Marino 488,474,440,440,488,488,504,473,504,474,504,504,503,503,503,503, \ 674a238c70SJohn Marino 503,504,501,504,504,503,474,474,503,504,504,503,504,488,488,488, \ 684a238c70SJohn Marino 503,503,504,504,504,504,504,504,501,503,504,503,504,504,499,504, \ 694a238c70SJohn Marino 504,503,504,504,504,504,503,504,504,504,488,504,504,504,474,504, \ 704a238c70SJohn Marino 501,504,504,501,504,503,504,504,504,504,504,504,504,504,503,504, \ 714a238c70SJohn Marino 504,503,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ 724a238c70SJohn Marino 504,504,504,504,504,504,503,568,568,568,504,504,504,504,568,504, \ 734a238c70SJohn Marino 568,567,568,568,568,568,567,568,567,568,567,600,568,600,568,568, \ 744a238c70SJohn Marino 568,568,568,567,568,568,568,568,568,568,568,568,568,568,568,568, \ 754a238c70SJohn Marino 568,568,568,568,568,568,568,567,568,568,568,568,568,568,568,568, \ 764a238c70SJohn Marino 568,568,568,632,600,568,568,568,565,568,568,568,632,568,568,600, \ 774a238c70SJohn Marino 600,631,600,632,600,632,632,600,600,632,600,600,632,600,600,600, \ 784a238c70SJohn Marino 632,616,600,632,600,632,632,600,600,600,600,600,600,632,600,632, \ 794a238c70SJohn Marino 632,616,632,632,632,616,632,632,632,627,631,629,632,632,631,632, \ 804a238c70SJohn Marino 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \ 814a238c70SJohn Marino 632,632,632,632,687,629,688,632,632,632,632,632,632,632,632,632, \ 824a238c70SJohn Marino 688,712,632,688,712,688,712,712,688,688,688,711,712,712,680,736, \ 834a238c70SJohn Marino 712,712,712,688,688,712,712,712,712,712,712,728,712,736,736,711, \ 844a238c70SJohn Marino 733,736,735,711,728,728,736,728,712,736,736,710,734,736,736,712, \ 854a238c70SJohn Marino 712,736,712,712,719,728,712,712,712,734,733,726,736,736,736,735, \ 864a238c70SJohn Marino 736,736,736,712,736,736,736,736,736,736,727,736,736,736,735,736, \ 874a238c70SJohn Marino 731,736,736,736,736,736,736,736,733,712,736,736,736,736,736,712, \ 884a238c70SJohn Marino 712,736,736,784,712,712,736,725,760,760,736,727,736,830,736,784, \ 894a238c70SJohn Marino 728,736,727,783,832,736,734,830,736,736,831,736,736,830,829,832, \ 904a238c70SJohn Marino 832,832,831,736,782,784,832,828,736,824,736,832,832,831,736,824, \ 914a238c70SJohn Marino 824,832,832,832,832,832,832,825,832,832,832,824,832,832,832,828, \ 924a238c70SJohn Marino 822,824,831,829,832,827,832,832,832,831,832,829,829,832,824,832, \ 934a238c70SJohn Marino 830,832,832,832,832,832,830,832,832,832,832,828,855,832,830,830 \ 944a238c70SJohn Marino 954a238c70SJohn Marino #define MPFR_SQRHIGH_TAB \ 964a238c70SJohn Marino -1,0,0,0,-1,-1,-1,-1,-1,-1,7,8,9,8,9,9, \ 974a238c70SJohn Marino 11,11,11,13,13,14,15,16,17,17,19,19,16,19,17,19, \ 984a238c70SJohn Marino 19,18,19,19,21,21,21,23,23,25,25,23,25,25,25,25, \ 994a238c70SJohn Marino 28,27,27,29,29,28,31,31,34,34,34,34,38,36,38,38, \ 1004a238c70SJohn Marino 42,42,42,42,42,42,44,46,42,46,44,50,46,50,42,50, \ 1014a238c70SJohn Marino 44,44,46,50,50,50,50,50,50,50,50,50,50,50,50,50, \ 1024a238c70SJohn Marino 52,50,54,54,54,54,56,56,56,56,58,56,56,58,58,60, \ 1034a238c70SJohn Marino 60,62,62,67,62,68,72,68,68,72,68,76,72,72,72,76, \ 1044a238c70SJohn Marino 76,76,76,76,84,72,84,76,76,76,84,76,76,84,84,84, \ 1054a238c70SJohn Marino 92,84,84,84,84,84,92,92,92,92,92,92,92,92,92,100, \ 1064a238c70SJohn Marino 92,92,100,100,92,100,100,100,100,100,100,92,100,100,92,100, \ 1074a238c70SJohn Marino 100,100,92,92,100,92,100,104,100,108,100,100,100,108,104,100, \ 1084a238c70SJohn Marino 100,104,100,108,108,108,112,108,112,112,112,123,112,123,112,135, \ 1094a238c70SJohn Marino 116,123,123,135,123,135,135,135,135,135,135,135,135,135,135,135, \ 1104a238c70SJohn Marino 135,135,147,135,135,135,135,147,147,147,147,147,147,147,147,147, \ 1114a238c70SJohn Marino 147,147,147,147,147,147,147,147,147,147,147,159,147,147,147,147, \ 1124a238c70SJohn Marino 165,147,147,159,153,147,147,147,165,159,147,147,165,153,147,159, \ 1134a238c70SJohn Marino 165,165,165,165,165,171,171,159,165,159,165,165,165,165,165,165, \ 1144a238c70SJohn Marino 171,165,171,171,165,177,171,171,189,183,171,165,165,165,183,165, \ 1154a238c70SJohn Marino 165,165,183,183,186,189,165,189,165,171,165,165,189,165,183,183, \ 1164a238c70SJohn Marino 183,189,183,201,201,189,189,183,189,183,195,189,189,189,183,213, \ 1174a238c70SJohn Marino 183,183,195,195,213,189,189,189,201,201,189,195,213,225,225,201, \ 1184a238c70SJohn Marino 201,213,213,195,213,201,225,225,225,225,225,224,225,225,213,225, \ 1194a238c70SJohn Marino 225,225,225,225,225,225,225,225,225,225,225,225,225,225,249,225, \ 1204a238c70SJohn Marino 249,249,248,225,249,249,249,249,249,249,225,249,249,248,249,249, \ 1214a238c70SJohn Marino 249,249,249,248,249,249,249,249,249,249,249,249,249,249,249,249, \ 1224a238c70SJohn Marino 249,249,249,249,249,249,249,249,249,249,249,249,249,249,249,249, \ 1234a238c70SJohn Marino 273,273,273,273,273,273,273,273,273,273,273,273,273,273,273,273, \ 1244a238c70SJohn Marino 273,273,273,273,273,273,273,273,273,273,297,297,297,297,297,296, \ 1254a238c70SJohn Marino 297,297,297,297,297,297,297,297,297,297,297,297,297,297,297,297, \ 1264a238c70SJohn Marino 297,297,297,297,297,297,297,297,297,273,273,273,273,273,273,296, \ 1274a238c70SJohn Marino 273,309,297,321,321,297,297,297,297,297,297,296,297,297,297,296, \ 1284a238c70SJohn Marino 297,296,297,297,297,297,297,297,297,297,297,297,297,297,309,297, \ 1294a238c70SJohn Marino 297,297,309,297,297,297,297,297,297,297,321,297,321,333,297,366, \ 1304a238c70SJohn Marino 333,333,333,366,333,296,333,333,333,297,333,333,333,297,297,321, \ 1314a238c70SJohn Marino 321,345,402,345,402,402,402,402,402,402,402,402,402,402,402,402, \ 1324a238c70SJohn Marino 401,401,402,402,402,402,402,402,402,402,402,402,401,402,402,401, \ 1334a238c70SJohn Marino 402,402,402,402,401,402,402,402,402,402,401,402,402,401,401,402, \ 1344a238c70SJohn Marino 401,401,393,402,402,438,401,402,402,401,401,402,401,402,402,402, \ 1354a238c70SJohn Marino 402,401,402,402,402,402,402,402,402,402,402,401,402,401,402,401, \ 1364a238c70SJohn Marino 402,402,400,402,402,402,402,402,402,402,438,438,438,438,438,438, \ 1374a238c70SJohn Marino 438,438,402,438,402,402,402,402,438,438,402,438,401,402,438,438, \ 1384a238c70SJohn Marino 438,438,438,438,438,438,401,437,438,402,401,402,438,401,402,402, \ 1394a238c70SJohn Marino 402,402,402,402,401,437,438,438,438,437,438,438,401,402,402,438, \ 1404a238c70SJohn Marino 438,438,402,402,402,402,401,402,402,437,438,438,438,438,438,438, \ 1414a238c70SJohn Marino 438,438,438,438,437,437,438,438,438,438,438,438,438,437,437,438, \ 1424a238c70SJohn Marino 437,438,438,438,438,402,438,402,438,438,438,438,438,438,437,438, \ 1434a238c70SJohn Marino 456,438,438,438,438,437,438,438,438,438,437,438,438,438,437,438, \ 1444a238c70SJohn Marino 438,438,438,473,437,456,438,438,438,438,438,437,438,438,438,438, \ 1454a238c70SJohn Marino 438,438,437,438,438,438,438,438,456,474,455,456,456,474,473,492, \ 1464a238c70SJohn Marino 456,474,456,474,474,474,474,474,536,512,474,512,474,536,474,474, \ 1474a238c70SJohn Marino 536,474,536,536,474,474,536,536,536,536,536,536,536,536,536,536, \ 1484a238c70SJohn Marino 536,534,536,536,536,535,536,536,536,536,535,536,536,536,536,536, \ 1494a238c70SJohn Marino 536,535,536,535,536,536,512,536,536,536,536,536,536,535,536,534, \ 1504a238c70SJohn Marino 535,584,536,536,536,534,535,536,536,536,536,536,536,536,536,534, \ 1514a238c70SJohn Marino 536,536,536,536,535,536,584,535,536,584,536,536,536,536,584,584, \ 1524a238c70SJohn Marino 584,584,536,584,584,584,584,584,584,584,583,584,582,584,584,584, \ 1534a238c70SJohn Marino 584,584,584,584,584,582,583,584,584,584,584,584,584,584,584,584, \ 1544a238c70SJohn Marino 584,583,584,584,696,584,584,583,584,584,696,726,696,584,584,584, \ 1554a238c70SJohn Marino 728,696,696,696,584,728,696,584,696,696,694,696,696,696,727,584, \ 1564a238c70SJohn Marino 695,694,584,696,696,695,728,696,696,696,696,696,694,696,727,695, \ 1574a238c70SJohn Marino 696,695,695,696,696,728,696,696,695,696,696,696,696,696,696,696, \ 1584a238c70SJohn Marino 727,696,696,696,696,695,696,728,727,696,695,727,696,726,727,726, \ 1594a238c70SJohn Marino 727,728,728,727,694,727,728,728,728,727,727,728,727,728,727,728 \ 1604a238c70SJohn Marino 1614a238c70SJohn Marino #define MPFR_DIVHIGH_TAB \ 1624a238c70SJohn Marino 0,1,2,3,4,5,6,7,8,9,10,11,10,13,14,15, \ 1634a238c70SJohn Marino 14,15,18,19,18,14,15,18,18,18,19,17,18,19,18,19, \ 1644a238c70SJohn Marino 22,21,23,21,22,22,23,25,26,27,26,27,27,27,30,30, \ 1654a238c70SJohn Marino 30,34,30,34,32,33,34,31,30,34,37,34,38,38,38,38, \ 1664a238c70SJohn Marino 38,38,42,43,42,42,39,38,42,44,43,42,40,45,46,46, \ 1674a238c70SJohn Marino 46,45,46,43,44,50,48,48,48,46,53,51,50,50,50,50, \ 1684a238c70SJohn Marino 53,51,53,53,53,53,55,55,55,55,55,55,60,64,60,60, \ 1694a238c70SJohn Marino 62,63,64,65,60,64,68,72,64,68,68,64,64,68,72,66, \ 1704a238c70SJohn Marino 67,69,71,72,76,80,71,72,76,74,74,76,76,77,76,80, \ 1714a238c70SJohn Marino 79,84,84,84,78,84,88,88,92,84,80,92,92,80,88,84, \ 1724a238c70SJohn Marino 92,88,91,92,92,92,93,95,92,90,92,92,92,92,92,96, \ 1734a238c70SJohn Marino 96,96,92,92,92,92,96,96,102,96,95,110,96,96,100,100, \ 1744a238c70SJohn Marino 112,100,100,106,106,110,112,110,110,111,110,120,110,110,112,120, \ 1754a238c70SJohn Marino 110,120,120,120,112,120,128,128,128,128,124,128,128,120,128,128, \ 1764a238c70SJohn Marino 127,128,124,128,128,128,128,126,128,128,128,128,136,140,128,128, \ 1774a238c70SJohn Marino 128,128,136,144,128,128,144,144,128,144,144,144,144,128,152,152, \ 1784a238c70SJohn Marino 152,152,152,160,160,152,144,144,152,151,144,143,152,144,144,152, \ 1794a238c70SJohn Marino 152,144,152,152,152,152,151,152,160,158,144,160,160,160,160,160, \ 1804a238c70SJohn Marino 152,160,152,152,152,160,152,160,160,156,158,160,160,160,160,160, \ 1814a238c70SJohn Marino 160,160,160,160,168,160,160,160,160,160,159,160,160,160,176,176, \ 1824a238c70SJohn Marino 180,176,176,184,184,186,184,184,184,184,186,184,186,172,176,192, \ 1834a238c70SJohn Marino 184,184,184,184,185,176,176,185,184,185,186,183,184,184,181,191, \ 1844a238c70SJohn Marino 192,184,184,185,192,192,192,186,192,192,192,192,192,191,196,192, \ 1854a238c70SJohn Marino 192,192,192,192,196,190,192,192,200,192,198,220,222,204,200,222, \ 1864a238c70SJohn Marino 220,220,222,222,224,222,222,219,222,222,224,224,220,222,220,224, \ 1874a238c70SJohn Marino 220,221,222,220,232,222,221,232,222,220,224,232,220,232,222,232, \ 1884a238c70SJohn Marino 224,220,220,222,222,222,221,222,220,220,222,222,224,224,224,222, \ 1894a238c70SJohn Marino 220,224,224,232,224,222,222,232,224,222,223,224,224,224,231,232, \ 1904a238c70SJohn Marino 256,232,231,232,239,232,239,234,238,238,239,232,239,232,256,256, \ 1914a238c70SJohn Marino 288,288,248,256,256,256,256,256,256,239,255,256,256,256,256,256, \ 1924a238c70SJohn Marino 256,256,256,256,256,256,296,256,254,256,256,272,272,272,256,256, \ 1934a238c70SJohn Marino 288,272,256,256,280,296,288,280,288,288,296,280,288,288,288,294, \ 1944a238c70SJohn Marino 296,296,294,304,288,287,288,296,304,304,288,303,304,296,288,312, \ 1954a238c70SJohn Marino 312,312,312,288,288,312,288,288,312,320,305,288,320,320,288,312, \ 1964a238c70SJohn Marino 311,312,312,312,304,304,312,304,319,296,288,310,312,288,288,320, \ 1974a238c70SJohn Marino 304,304,304,288,300,312,309,304,304,311,288,296,296,320,312,311, \ 1984a238c70SJohn Marino 296,320,312,304,304,312,312,320,296,320,312,296,305,312,304,303, \ 1994a238c70SJohn Marino 304,312,303,312,304,311,312,312,320,312,311,320,320,320,320,320, \ 2004a238c70SJohn Marino 312,320,312,312,312,320,312,312,320,320,319,320,320,320,320,320, \ 2014a238c70SJohn Marino 320,320,320,320,320,320,320,320,320,320,320,320,320,320,352,336, \ 2024a238c70SJohn Marino 344,352,352,344,360,360,343,336,352,366,370,352,360,368,376,360, \ 2034a238c70SJohn Marino 360,360,367,368,360,352,371,360,368,368,372,352,352,352,352,352, \ 2044a238c70SJohn Marino 384,370,360,368,384,372,375,360,368,368,368,368,368,368,384,372, \ 2054a238c70SJohn Marino 352,372,352,368,366,376,352,367,384,368,360,368,360,384,371,376, \ 2064a238c70SJohn Marino 360,366,368,368,360,369,371,367,368,369,384,376,368,372,372,384, \ 2074a238c70SJohn Marino 440,368,376,384,372,376,440,440,376,440,368,369,384,370,440,440, \ 2084a238c70SJohn Marino 440,392,440,440,384,384,440,440,448,440,440,440,440,440,440,440, \ 2094a238c70SJohn Marino 440,440,384,440,439,440,384,384,440,440,440,440,440,440,439,448, \ 2104a238c70SJohn Marino 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \ 2114a238c70SJohn Marino 440,440,440,440,440,440,439,440,440,440,440,440,440,440,440,440, \ 2124a238c70SJohn Marino 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,480, \ 2134a238c70SJohn Marino 440,440,440,440,468,480,440,440,440,440,440,464,440,440,440,440, \ 2144a238c70SJohn Marino 480,440,440,440,440,448,439,440,440,440,440,440,440,448,440,448, \ 2154a238c70SJohn Marino 512,439,440,448,440,440,440,438,440,440,440,440,496,440,465,440, \ 2164a238c70SJohn Marino 440,466,440,440,440,440,512,440,440,440,440,464,440,440,448,466, \ 2174a238c70SJohn Marino 512,496,512,512,512,448,512,447,448,468,472,448,480,464,480,512, \ 2184a238c70SJohn Marino 466,466,496,468,512,468,496,480,512,512,496,467,472,512,512,512, \ 2194a238c70SJohn Marino 512,468,512,512,512,512,512,478,512,472,512,512,512,496,512,512, \ 2204a238c70SJohn Marino 512,512,512,512,496,480,496,496,512,512,512,496,480,512,544,480, \ 2214a238c70SJohn Marino 576,512,512,576,512,512,512,576,512,512,496,496,512,480,576,576, \ 2224a238c70SJohn Marino 512,510,496,568,576,576,496,560,576,511,512,576,576,512,512,576, \ 2234a238c70SJohn Marino 560,496,576,512,512,512,512,512,512,576,576,512,512,576,512,512, \ 2244a238c70SJohn Marino 512,512,576,512,512,512,508,512,576,512,576,576,512,576,592,512, \ 2254a238c70SJohn Marino 568,512,576,568,576,576,576,512,576,576,592,576,592,512,608,576 \ 2264a238c70SJohn Marino 2274a238c70SJohn Marino #define MPFR_MUL_THRESHOLD 17 /* limbs */ 2284a238c70SJohn Marino #define MPFR_SQR_THRESHOLD 19 /* limbs */ 2294a238c70SJohn Marino #define MPFR_DIV_THRESHOLD 28 /* limbs */ 2304a238c70SJohn Marino #define MPFR_EXP_2_THRESHOLD 1031 /* bits */ 2314a238c70SJohn Marino #define MPFR_EXP_THRESHOLD 10625 /* bits */ 2324a238c70SJohn Marino #define MPFR_SINCOS_THRESHOLD 26682 /* bits */ 2334a238c70SJohn Marino #define MPFR_AI_THRESHOLD1 -11328 /* threshold for negative input of mpfr_ai */ 2344a238c70SJohn Marino #define MPFR_AI_THRESHOLD2 1045 2354a238c70SJohn Marino #define MPFR_AI_THRESHOLD3 17871 2364a238c70SJohn Marino /* Tuneup completed successfully, took 562 seconds */ 237