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 gcc61.fsffrance.org (HP PA-8600) with GMP 5.0.2 */


#define MPFR_MULHIGH_TAB  \
 -1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
 0,0,0,0,0,0,0,0,48,47,48,47,48,47,48,47, \
 48,47,64,63,64,63,64,63,64,63,64,63,64,63,64,63, \
 64,63,64,63,64,63,64,63,64,63,64,63,64,63,64,63, \
 64,63,64,72,64,72,64,93,64,93,64,93,92,93,92,93, \
 92,93,92,93,92,93,92,93,92,93,92,93,92,93,92,93, \
 92,93,92,93,105,93,105,93,105,93,105,93,105,105,105,108, \
 105,105,105,105,108,105,105,105,108,108,108,117,108,117,108,141, \
 140,141,140,141,140,141,140,141,140,141,140,141,140,141,140,141, \
 140,141,140,141,140,141,140,141,140,141,140,141,140,141,140,141, \
 140,141,140,141,140,141,140,141,141,153,140,141,140,141,140,140, \
 144,140,140,141,140,139,140,141,140,141,140,141,188,188,188,187, \
 188,187,188,188,188,188,188,188,188,188,188,188,188,188,188,187, \
 187,187,188,188,188,188,188,188,210,188,210,188,188,210,188,188, \
 188,188,188,188,188,188,188,188,188,188,186,188,210,188,188,187, \
 188,188,210,210,210,210,210,210,210,210,210,210,210,210,210,210, \
 210,210,210,210,210,210,210,208,210,209,210,210,210,210,210,233, \
 234,234,234,233,232,234,234,234,234,234,234,234,234,234,234,276, \
 234,276,234,276,234,276,276,276,276,276,276,276,282,276,282,276, \
 282,276,276,276,276,276,282,281,276,276,276,276,276,276,276,276, \
 276,276,276,276,276,276,282,276,282,276,282,276,282,281,282,281, \
 282,281,282,281,282,281,282,281,282,281,282,306,282,306,282,306, \
 306,306,306,306,306,306,306,306,306,306,306,306,306,306,306,306, \
 306,372,306,371,306,372,372,372,372,372,372,371,372,372,372,372, \
 372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
 372,371,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
 372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
 372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
 372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
 372,372,372,372,372,372,372,372,426,372,426,426,426,426,426,426, \
 426,426,426,426,426,425,426,425,426,426,426,426,426,426,426,426, \
 426,426,426,426,426,424,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,503, \
 504,503,504,503,504,503,504,503,504,503,504,503,504,503,504,503, \
 504,503,504,503,504,503,504,503,502,503,504,503,504,503,504,503, \
 504,496,504,503,504,503,504,503,504,503,504,503,504,503,504,503, \
 504,503,504,503,504,503,504,503,504,503,568,568,568,568,568,568, \
 568,567,568,568,568,567,568,567,568,567,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,568,568,568,568,568,568,568,568,568,568,568,568, \
 568,568,568,567,568,568,568,568,568,567,568,567,568,568,568,567, \
 568,567,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,568,568,568,568,568,568,568,568,568, \
 568,567,568,568,568,568,568,568,632,568,568,568,568,631,568,568, \
 568,568,568,568,568,567,568,567,568,568,568,568,632,632,632,631, \
 632,631,632,631,632,632,632,631,632,632,632,631,632,632,632,728, \
 728,727,728,727,728,728,728,727,728,727,728,727,728,727,728,728, \
 728,728,728,728,728,728,728,728,728,728,728,728,728,728,728,728, \
 728,728,728,728,728,728,728,728,728,728,728,728,728,728,728,728, \
 728,752,728,752,728,752,728,752,752,752,728,752,752,752,752,752, \
 752,752,752,752,752,752,752,752,752,752,752,752,752,751,752,751, \
 752,751,752,751,728,728,728,728,752,728,728,728,728,728,728,728, \
 728,752,832,751,832,752,832,752,832,752,832,752,832,752,832,751, \
 832,831,832,752,832,831,832,832,832,832,832,832,832,824,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,831,832,831,832,831,832,831,832,831, \
 832,831,832,832,832,831,832,831,832,831,832,831,832,831,832,831, \
 832,832,832,831,832,832,832,832,832,831,832,832,832,832,832,832 \
  
#define MPFR_SQRHIGH_TAB  \
 -1,0,0,0,0,0,0,0,0,0,0,7,0,8,9,9, \
 10,10,11,11,12,13,14,13,14,15,16,15,16,17,18,17, \
 18,19,20,19,20,21,22,21,22,23,24,23,24,25,26,25, \
 26,27,28,27,28,29,30,29,30,31,32,31,32,33,34,33, \
 34,35,36,35,36,37,38,37,38,39,40,39,40,41,42,41, \
 42,43,44,43,44,47,48,47,48,47,48,47,48,51,52,51, \
 52,51,52,51,56,55,56,55,56,55,56,59,60,59,60,59, \
 60,63,60,63,64,63,64,63,68,63,68,67,68,67,68,71, \
 68,71,72,71,72,71,72,75,76,75,76,75,76,79,80,79, \
 80,79,80,75,76,83,84,79,80,79,80,79,80,83,84,83, \
 84,83,84,83,88,93,88,93,88,93,96,93,88,93,96,99, \
 96,93,92,93,92,93,96,93,96,99,96,99,96,99,98,99, \
 102,99,102,99,102,105,102,105,102,105,104,105,108,111,108,111, \
 108,117,114,117,116,117,116,117,116,117,120,117,120,123,120,123, \
 120,123,128,129,126,129,128,129,132,129,132,141,138,141,140,141, \
 140,141,140,141,140,141,140,141,140,153,152,153,152,153,152,153, \
 152,153,152,153,152,153,152,153,164,165,164,165,164,165,164,165, \
 164,165,164,165,164,177,176,177,176,177,176,177,176,177,176,177, \
 176,177,180,177,165,189,165,189,165,189,165,164,165,164,165,164, \
 165,164,177,176,177,176,177,176,177,176,177,176,177,176,177,188, \
 189,188,189,188,189,188,189,188,189,188,189,188,189,188,189,200, \
 189,200,201,200,201,200,201,200,201,200,201,212,213,212,213,212, \
 213,212,213,212,213,212,213,212,213,212,213,212,213,224,225,213, \
 225,213,225,213,225,213,225,213,225,213,237,225,237,225,237,225, \
 201,225,201,200,201,201,201,252,201,201,201,201,201,212,213,213, \
 213,213,213,212,213,213,213,212,213,213,213,213,213,213,225,225, \
 225,225,225,225,225,225,225,225,225,225,225,237,237,237,237,237, \
 237,236,237,237,237,252,252,252,252,252,252,252,252,252,252,252, \
 252,252,252,252,252,252,252,252,268,268,268,268,268,268,268,268, \
 268,266,268,268,268,268,268,268,268,268,275,268,275,268,275,268, \
 275,294,294,294,294,294,294,294,300,294,300,294,300,300,300,300, \
 300,300,300,300,300,300,318,318,318,318,318,318,318,318,318,318, \
 318,318,318,318,324,318,318,318,318,324,324,318,324,324,330,330, \
 330,330,342,342,342,342,342,342,342,342,342,342,342,342,342,342, \
 342,348,348,348,348,348,348,348,348,348,348,366,366,366,366,366, \
 366,366,366,366,372,366,372,366,372,372,366,372,372,372,372,372, \
 372,372,372,372,372,372,378,390,378,390,390,390,390,390,390,390, \
 390,390,396,390,396,390,366,390,396,396,372,396,372,396,372,396, \
 378,414,366,414,366,414,366,414,366,414,372,414,372,414,372,414, \
 372,372,372,395,396,395,396,390,390,390,390,390,390,390,390,390, \
 390,390,366,390,396,365,366,371,396,396,372,371,372,390,378,414, \
 378,414,378,414,414,414,414,414,390,414,390,389,390,389,390,395, \
 396,395,396,395,396,396,402,414,402,395,396,395,396,389,414,413, \
 414,413,414,413,414,413,414,414,420,395,420,419,420,395,396,401, \
 396,419,420,419,414,413,414,413,414,413,414,413,414,413,414,413, \
 414,413,420,419,420,419,420,419,420,419,426,425,426,437,438,437, \
 438,437,438,437,438,437,444,437,444,443,438,443,444,443,444,443, \
 444,443,444,443,444,461,462,461,462,461,462,461,462,461,462,461, \
 462,461,462,467,468,467,468,467,468,467,468,467,468,467,474,473, \
 486,485,486,485,486,485,414,485,486,485,486,491,492,491,492,519, \
 520,491,504,503,420,503,504,437,504,503,504,437,504,437,438,437, \
 520,443,444,519,520,519,520,519,520,519,520,519,520,527,520,527, \
 528,527,528,461,528,461,528,461,462,461,462,467,468,467,468,467, \
 468,551,552,551,552,551,552,551,552,551,560,551,552,551,552,551, \
 552,551,552,559,560,559,560,559,560,503,568,567,504,503,504,503, \
 504,503,504,519,520,519,520,519,520,519,520,520,520,519,520,519, \
 520,519,520,519,520,527,528,527,528,527,528,527,528,527,528,527, \
 528,535,552,551,552,551,552,551,552,552,552,551,552,551,552,551, \
 552,551,552,551,552,551,552,551,552,559,560,551,560,559,560,559, \
 560,567,568,567,568,583,568,567,584,583,584,583,584,583,584,583, \
 584,583,584,583,584,583,584,583,584,583,592,591,592,591,592,591, \
 592,591,592,591,592,615,616,519,520,615,520,519,520,615,616,615, \
 616,615,528,615,616,615,528,527,528,615,528,623,624,623,536,552, \
 552,551,552,551,552,551,552,551,552,551,552,551,552,551,552,551 \
  
#define MPFR_DIVHIGH_TAB  \
 0,1,2,3,4,5,6,7,6,7,10,11,10,11,12,13, \
 10,11,11,11,12,12,14,15,14,14,16,16,16,16,18,17, \
 22,19,22,23,22,23,26,27,26,23,30,29,26,27,26,27, \
 30,31,30,31,30,35,30,35,30,35,34,31,34,35,38,35, \
 34,36,38,39,38,39,38,43,38,40,42,43,42,44,42,43, \
 42,44,46,47,46,44,46,51,50,48,50,51,54,52,54,52, \
 50,51,54,55,58,55,54,56,58,56,62,60,58,63,58,63, \
 62,64,62,64,62,64,62,64,62,67,66,71,66,67,74,71, \
 70,67,70,71,74,72,74,75,70,76,74,79,74,75,74,79, \
 74,79,78,80,78,76,78,80,78,79,82,84,82,80,82,87, \
 86,84,86,84,86,84,86,88,90,88,90,92,90,88,94,96, \
 90,92,94,92,94,92,94,96,94,102,98,96,100,102,98,102, \
 98,104,100,102,102,104,104,102,102,102,104,104,104,104,108,112, \
 128,110,128,110,128,128,128,128,128,128,128,128,128,128,128,128, \
 128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \
 128,128,128,128,128,128,128,128,128,128,128,128,128,128,142,142, \
 142,142,140,142,144,144,144,142,144,142,140,142,140,142,142,144, \
 140,142,140,142,140,144,144,144,144,144,144,144,144,144,148,146, \
 148,160,148,150,148,158,156,158,156,160,156,158,160,160,156,160, \
 164,158,156,160,164,160,164,182,180,182,164,184,182,184,182,182, \
 180,182,182,182,182,186,184,182,180,182,184,184,184,185,182,184, \
 182,185,182,185,182,185,184,185,184,185,182,185,184,184,184,182, \
 184,185,184,186,184,185,182,182,184,184,184,184,184,184,186,185, \
 186,206,200,206,188,206,196,198,196,208,196,198,196,198,196,206, \
 200,206,208,206,196,198,200,208,200,206,200,206,200,208,216,208, \
 208,206,208,206,216,208,216,208,216,208,216,208,216,208,216,220, \
 216,210,216,220,256,220,216,220,216,224,216,222,256,250,248,254, \
 256,256,256,254,256,254,256,254,256,254,256,254,256,256,256,256, \
 256,254,256,254,256,256,256,254,256,254,256,254,256,256,256,254, \
 256,254,256,254,256,254,256,256,256,254,256,254,256,256,256,254, \
 256,254,256,256,256,254,256,254,256,254,256,256,256,254,256,254, \
 256,254,256,254,256,254,256,254,256,282,280,256,256,256,282,284, \
 282,284,282,288,280,281,282,288,282,288,282,282,280,281,280,282, \
 282,287,288,288,280,282,282,288,282,288,282,288,282,288,282,288, \
 282,284,282,288,280,288,282,288,282,284,282,288,282,288,282,288, \
 282,288,288,288,288,288,288,288,288,288,288,288,288,288,296,300, \
 296,304,296,304,298,300,296,300,296,300,312,302,296,306,312,300, \
 312,320,312,300,312,370,312,320,312,302,312,320,312,370,312,371, \
 312,371,312,369,372,371,372,371,368,370,372,370,372,370,372,370, \
 371,369,372,370,368,370,372,370,372,370,372,370,370,370,364,370, \
 371,370,372,370,370,370,372,370,372,370,372,370,370,370,372,370, \
 370,372,370,370,372,370,372,370,372,370,368,370,370,372,372,370, \
 370,370,372,370,372,372,372,370,372,370,370,366,372,370,370,370, \
 372,368,368,370,370,370,372,370,370,370,372,370,372,370,368,370, \
 372,370,372,370,369,370,372,370,372,369,372,370,372,371,372,370, \
 372,370,368,372,372,371,372,369,372,371,370,371,372,370,372,372, \
 372,370,372,372,372,372,376,416,376,416,376,416,414,416,416,420, \
 384,416,415,416,414,416,415,416,392,420,400,416,420,420,392,420, \
 400,416,416,416,416,420,416,412,416,416,416,416,418,416,414,416, \
 418,420,418,420,418,416,416,416,418,420,414,420,418,420,420,420, \
 416,416,418,420,418,418,416,416,420,416,418,416,432,420,432,420, \
 416,416,416,420,416,420,432,420,418,420,432,420,418,416,418,420, \
 420,420,432,420,420,420,432,468,464,512,432,468,432,444,432,444, \
 512,508,432,468,512,512,464,510,432,510,512,512,512,512,512,512, \
 512,512,512,512,512,508,512,508,512,512,512,508,512,510,512,512, \
 512,512,512,512,512,512,512,508,512,512,512,508,512,512,512,512, \
 512,512,512,512,512,512,512,512,512,512,512,508,512,512,512,512, \
 512,512,512,512,512,508,512,512,512,512,512,468,464,512,564,468, \
 512,564,512,512,564,512,512,512,564,508,564,508,564,503,564,508, \
 512,508,512,512,564,508,512,508,564,512,512,512,512,512,512,508, \
 512,510,512,512,512,512,512,512,512,512,512,512,512,512,512,512, \
 512,508,512,508,512,512,512,512,512,512,512,512,512,512,512,512, \
 512,512,512,512,512,512,512,512,512,564,562,564,560,512,564,564, \
 562,564,560,564,564,564,560,564,564,564,564,564,564,564,564,562 \
  
#define MPFR_MUL_THRESHOLD 6 /* limbs */
#define MPFR_SQR_THRESHOLD 8 /* limbs */
#define MPFR_DIV_THRESHOLD 23 /* limbs */
#define MPFR_EXP_2_THRESHOLD 530 /* bits */
#define MPFR_EXP_THRESHOLD 2918 /* bits */
#define MPFR_SINCOS_THRESHOLD 28251 /* bits */
#define MPFR_AI_THRESHOLD1 -21852 /* threshold for negative input of mpfr_ai */
#define MPFR_AI_THRESHOLD2 2256
#define MPFR_AI_THRESHOLD3 34310
/* Tuneup completed successfully, took 8236 seconds */