/* Various Thresholds of MPFR, not exported. -*- mode: C -*- Copyright 2005-2019 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 https://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, 2011-07-31, gcc 4.3.2 */ /* generated on gcc40.fsffrance.org (IBM PowerPC 970 G5) with GMP 5.0.2 */ #define MPFR_MULHIGH_TAB \ -1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0, \ 0,10,11,12,13,12,13,16,14,18,18,18,18,18,20,20, \ 22,22,23,24,24,26,24,24,26,26,26,28,26,32,36,36, \ 32,36,36,36,36,36,36,36,36,36,36,40,40,36,44,44, \ 44,44,44,44,48,48,48,44,44,44,48,48,48,48,48,48, \ 52,52,52,52,52,52,63,57,57,63,63,63,63,63,63,63, \ 63,69,69,69,69,69,69,75,75,69,75,72,75,74,75,75, \ 75,75,75,75,75,75,81,81,81,81,81,93,93,93,93,93, \ 93,93,105,104,105,105,105,105,105,105,105,104,105,105,105,105, \ 105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \ 105,105,105,105,117,117,105,117,117,117,117,129,117,129,117,129, \ 129,129,129,129,129,129,129,129,129,129,129,129,129,129,141,129, \ 141,141,141,141,141,141,141,141,141,141,156,156,156,156,156,156, \ 156,156,156,156,156,156,156,156,156,156,156,156,156,172,172,172, \ 172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172, \ 188,172,172,188,172,188,188,188,188,188,188,188,188,188,188,187, \ 188,188,188,210,210,210,210,210,210,210,210,210,210,210,210,210, \ 210,210,210,210,210,210,210,210,210,210,210,210,210,210,210,210, \ 210,234,210,210,234,234,234,210,234,234,234,234,234,234,234,234, \ 234,234,234,234,234,258,234,234,258,234,258,258,258,258,258,258, \ 258,258,258,258,258,258,258,258,258,258,258,258,258,258,258,258, \ 258,258,258,258,258,257,258,258,282,282,282,282,282,281,282,282, \ 282,282,282,282,282,282,282,282,282,282,282,282,282,282,282,282, \ 312,282,282,312,282,282,282,312,312,312,312,282,312,312,312,312, \ 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ 312,312,312,312,344,344,344,344,344,344,344,344,344,344,344,344, \ 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,343, \ 344,343,344,344,344,344,344,344,344,344,344,344,376,376,376,376, \ 344,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ 376,376,376,376,376,376,376,376,376,376,376,376,376,376,408,376, \ 408,408,408,408,376,376,408,408,376,408,408,408,408,376,408,408, \ 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ 408,408,408,408,408,408,408,408,408,408,408,448,448,408,408,407, \ 408,408,408,448,408,448,448,448,448,408,448,448,448,448,448,448, \ 448,448,448,448,448,448,448,496,496,496,496,496,496,496,448,496, \ 496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \ 496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \ 496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \ 496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \ 496,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \ 544,544,544,544,544,544,544,544,544,544,543,544,544,544,544,544, \ 544,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \ 544,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \ 544,544,592,592,592,592,567,544,568,568,568,592,592,592,592,592, \ 592,592,568,592,592,592,592,592,592,592,592,592,592,592,592,592, \ 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ 592,592,592,592,592,592,592,592,592,591,592,592,592,592,592,592, \ 592,592,592,592,592,592,592,592,592,592,640,592,640,592,640,640, \ 640,640,639,640,640,640,640,639,640,639,640,640,639,640,640,639, \ 640,639,640,640,640,640,640,640,640,640,640,640,640,640,640,639, \ 640,639,640,639,639,640,640,639,639,640,640,640,736,736,736,736, \ 735,736,736,736,736,735,736,736,736,735,736,736,736,735,734,735, \ 736,735,736,736,736,736,736,736,736,736,736,736,736,736,736,735, \ 736,736,736,735,736,736,736,736,736,736,736,735,736,736,736,736, \ 736,736,736,736,736,736,736,736,736,735,736,736,736,736,736,736, \ 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ 736,736,735,736,736,736,735,736,832,832,831,831,832,832,832,831, \ 832,832,832,832,832,831,832,831,832,832,831,832,832,832,832,832, \ 832,832,832,831,832,832,832,832,832,832,832,832,832,831,832,832, \ 832,832,832,832,832,832,832,831,832,832,832,832,832,832,832,832, \ 832,832,831,832,832,832,832,831,832,830,832,832,832,832,832,832, \ 832,832,832,832,832,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 \ #define MPFR_SQRHIGH_TAB \ -1,0,0,0,0,0,0,0,0,0,0,0,0,0,10,9, \ 10,10,12,12,12,12,14,13,14,14,15,15,16,16,17,17, \ 18,18,19,20,20,20,22,22,22,22,23,23,25,25,26,25, \ 26,26,27,27,28,28,29,29,30,30,31,31,32,32,33,34, \ 34,34,35,35,36,36,38,38,40,38,42,40,40,42,42,44, \ 42,42,44,44,44,44,46,46,46,46,50,48,52,48,50,52, \ 50,50,52,52,52,52,53,53,54,54,56,56,56,56,58,60, \ 58,58,60,60,60,60,63,63,63,63,63,63,66,66,66,72, \ 66,66,75,75,75,75,69,69,72,72,75,75,75,75,78,75, \ 75,75,75,75,78,78,78,81,78,81,81,81,81,81,81,87, \ 84,84,87,87,87,90,90,87,87,90,93,87,96,93,90,90, \ 99,96,102,99,96,93,99,93,99,96,96,96,96,99,99,99, \ 99,99,99,99,105,102,102,102,102,102,105,105,105,105,105,105, \ 111,111,111,111,111,111,117,111,111,111,111,111,123,117,117,123, \ 129,129,129,129,123,129,129,123,129,129,129,123,129,129,135,129, \ 129,129,135,135,129,135,134,135,135,135,135,135,135,141,135,129, \ 135,141,135,135,135,135,135,135,135,135,135,135,141,141,141,138, \ 138,141,141,141,141,141,141,141,147,144,147,146,147,147,146,147, \ 153,146,153,147,152,153,153,153,153,153,153,153,153,153,153,153, \ 164,164,164,164,164,172,164,171,172,172,172,172,172,172,172,164, \ 164,164,172,180,172,180,180,172,172,180,172,171,172,172,172,180, \ 180,180,180,180,180,180,180,188,188,187,187,188,188,188,180,196, \ 196,196,180,180,196,196,203,204,204,204,204,204,204,204,210,210, \ 188,188,188,210,188,188,222,222,204,196,222,222,222,222,204,222, \ 204,204,204,204,204,234,234,222,234,234,234,234,210,222,222,234, \ 246,246,222,222,222,222,246,222,222,234,258,258,258,258,234,258, \ 258,258,258,258,234,234,234,258,246,246,270,246,258,246,246,246, \ 246,246,258,258,258,258,258,258,258,258,258,258,258,258,258,258, \ 270,270,258,270,270,258,270,270,270,270,258,258,270,270,258,270, \ 258,258,258,258,258,258,258,270,257,258,258,270,258,270,258,270, \ 270,270,270,270,258,270,270,258,270,270,270,270,258,270,282,270, \ 270,270,270,270,270,270,270,270,270,270,270,282,270,282,282,282, \ 282,270,282,282,282,282,282,306,282,306,306,294,282,306,306,306, \ 312,306,294,306,306,306,306,306,270,306,306,306,306,306,306,282, \ 306,282,282,282,282,282,282,328,282,282,344,344,328,344,282,344, \ 344,282,328,344,344,344,344,306,306,306,344,306,306,306,344,344, \ 360,344,344,344,344,344,344,344,306,360,344,360,360,360,360,360, \ 360,360,360,360,360,360,360,360,328,344,344,344,344,344,344,344, \ 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \ 344,344,344,344,360,344,344,360,360,360,360,360,360,360,360,360, \ 360,360,360,376,376,360,360,360,376,376,360,376,376,376,376,376, \ 376,376,376,376,376,376,376,376,392,392,392,408,408,376,408,408, \ 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ 408,408,408,408,408,408,408,408,408,424,408,408,424,408,408,424, \ 408,408,408,408,408,408,408,408,408,408,408,408,408,407,408,408, \ 408,407,407,408,408,408,424,408,408,408,408,408,408,408,408,408, \ 408,408,408,408,408,408,408,408,424,408,424,424,424,424,424,424, \ 424,424,424,424,424,424,408,408,408,408,408,407,440,440,408,408, \ 408,440,440,424,424,440,424,424,424,424,424,424,424,424,424,424, \ 424,424,424,440,440,408,440,440,440,472,440,440,472,440,440,440, \ 440,472,440,440,440,424,472,440,472,440,472,424,424,440,424,424, \ 424,440,440,424,440,440,440,472,472,440,440,472,440,472,472,472, \ 472,472,472,424,440,424,424,423,424,424,472,440,424,424,472,440, \ 440,440,440,440,440,472,440,472,440,440,472,440,440,440,472,440, \ 440,440,440,440,440,440,440,456,440,472,439,440,440,456,456,472, \ 472,472,472,471,471,472,472,472,472,472,472,472,471,472,472,472, \ 472,472,471,471,472,472,472,471,472,472,472,472,472,472,472,472, \ 472,472,472,471,472,472,472,472,472,471,472,472,472,472,472,472, \ 472,472,472,472,471,472,472,519,520,472,520,472,472,472,591,592, \ 520,520,520,520,520,592,592,592,592,568,592,592,520,520,520,592, \ 520,544,520,544,592,544,520,543,544,544,544,520,520,520,592,519, \ 568,568,592,592,592,592,568,592,568,568,592,568,568,592,568,592, \ 568,568,592,592,544,568,592,592,592,592,592,568,592,592,592,592, \ 592,592,591,592,592,592,592,592,592,592,592,568,592,592,592,568 \ #define MPFR_DIVHIGH_TAB \ 0,1,2,3,4,5,6,7,6,9,8,9,10,8,12,13, \ 10,10,11,12,13,14,14,13,15,14,15,17,17,18,19,20, \ 21,21,19,21,20,20,23,21,22,22,23,24,25,24,26,28, \ 27,27,27,27,29,28,29,35,32,32,32,32,32,36,35,36, \ 36,36,36,36,36,36,39,40,40,40,43,40,47,40,43,42, \ 44,47,43,43,44,44,47,48,48,48,48,48,48,48,52,50, \ 52,52,52,52,52,52,56,55,64,64,55,64,64,64,64,64, \ 64,72,64,72,72,64,64,72,64,72,72,72,72,70,72,72, \ 72,72,72,72,72,72,72,72,72,72,72,72,80,72,80,80, \ 80,80,80,80,80,80,80,88,80,88,88,80,87,80,88,88, \ 88,88,88,96,88,88,88,96,88,96,96,96,88,96,96,96, \ 96,96,96,96,96,96,96,96,96,96,96,96,96,104,104,104, \ 104,104,100,104,104,104,104,103,104,102,104,104,104,104,112,120, \ 112,112,126,126,126,126,126,126,126,126,126,126,126,126,126,126, \ 144,126,126,128,144,144,128,126,144,144,144,144,144,144,144,128, \ 144,144,144,144,144,128,144,144,144,144,144,144,144,144,144,144, \ 144,144,144,144,144,144,144,144,144,144,144,144,144,144,144,144, \ 144,144,144,144,144,144,144,144,144,144,144,144,144,144,150,160, \ 160,156,150,156,160,160,160,160,160,156,160,160,160,160,160,160, \ 160,160,160,160,160,160,160,160,160,160,160,160,160,160,174,176, \ 176,176,176,192,186,192,174,176,192,192,192,192,192,174,192,192, \ 192,192,192,192,192,192,208,186,192,192,186,192,192,192,192,192, \ 192,192,192,192,192,192,192,208,192,208,192,192,208,192,208,208, \ 208,208,208,208,192,208,208,207,208,192,204,208,208,208,208,208, \ 208,208,208,208,208,208,208,208,208,208,208,208,208,208,208,208, \ 208,208,208,208,208,208,208,208,208,208,208,208,208,208,209,209, \ 256,220,216,216,256,252,256,240,240,252,252,256,224,252,256,256, \ 252,256,256,240,252,256,256,256,256,256,256,256,256,252,252,256, \ 256,256,252,256,252,256,256,256,288,288,254,256,256,288,288,288, \ 288,252,252,288,288,288,288,288,288,288,288,288,288,288,288,252, \ 288,288,288,288,288,288,288,288,288,288,256,288,288,288,252,257, \ 288,256,256,256,288,288,288,288,288,288,288,288,288,288,288,288, \ 288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \ 288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \ 288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \ 288,288,288,288,288,288,288,288,288,288,288,288,288,288,312,312, \ 312,300,312,312,312,312,312,312,312,320,312,312,312,312,312,312, \ 312,312,312,312,320,312,320,320,320,320,320,320,320,320,320,320, \ 312,344,320,312,344,320,312,312,320,344,320,336,342,344,344,344, \ 320,344,344,320,344,320,320,320,352,352,352,352,352,352,352,372, \ 372,368,368,384,344,372,368,384,369,368,384,372,370,368,376,370, \ 372,384,384,384,384,384,384,384,384,384,384,384,384,384,384,384, \ 384,384,372,372,384,372,384,344,368,368,384,384,384,408,384,372, \ 384,384,384,416,416,416,384,416,384,416,416,416,416,416,384,384, \ 384,384,384,415,384,384,416,416,416,384,384,384,384,416,384,384, \ 384,416,384,384,372,384,417,416,384,416,416,416,384,416,416,416, \ 416,416,416,384,384,416,416,384,384,384,416,416,417,416,416,416, \ 416,416,416,417,417,417,416,418,416,415,416,416,416,416,416,415, \ 416,417,417,416,417,416,415,416,416,416,416,417,416,413,416,416, \ 416,416,416,416,416,416,416,417,416,416,418,416,415,416,416,417, \ 416,416,416,416,416,416,416,416,416,416,417,416,416,416,416,415, \ 416,416,417,416,416,417,416,416,416,416,416,416,416,416,417,419, \ 419,420,420,444,420,420,432,512,468,504,456,456,456,456,514,512, \ 512,512,456,504,456,444,512,512,504,512,513,512,512,504,512,512, \ 512,512,513,513,512,512,513,504,512,512,513,512,512,504,512,512, \ 513,514,513,512,512,513,513,504,512,504,512,512,512,513,512,512, \ 510,512,512,512,512,512,512,512,513,512,515,512,513,512,504,512, \ 512,514,516,512,512,512,512,512,512,513,512,512,513,513,513,514, \ 515,512,512,504,564,512,512,512,512,512,512,576,561,512,576,564, \ 576,512,512,576,512,512,512,515,564,512,513,576,564,564,576,512, \ 512,510,512,564,576,576,512,576,576,514,576,576,512,564,576,576, \ 512,513,576,512,512,513,514,512,512,576,576,512,513,576,513,515, \ 552,552,576,512,512,512,564,513,564,576,576,576,564,576,564,576, \ 564,512,576,564,564,576,576,564,564,576,564,576,564,576,551,576 \ #define MPFR_MUL_THRESHOLD 1 /* limbs */ #define MPFR_SQR_THRESHOLD 5 /* limbs */ #define MPFR_DIV_THRESHOLD 17 /* limbs */ #define MPFR_EXP_2_THRESHOLD 966 /* bits */ #define MPFR_EXP_THRESHOLD 10924 /* bits */ #define MPFR_SINCOS_THRESHOLD 36978 /* bits */ #define MPFR_AI_THRESHOLD1 -12626 /* threshold for negative input of mpfr_ai */ #define MPFR_AI_THRESHOLD2 1377 #define MPFR_AI_THRESHOLD3 24323 /* Tuneup completed successfully, took 2598 seconds */