Training courses

Kernel and Embedded Linux

Bootlin training courses

Embedded Linux, kernel,
Yocto Project, Buildroot, real-time,
graphics, boot time, debugging...

Bootlin logo

Elixir Cross Referencer

/* 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, 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 */