source/libs/mpfr/mpfr-3.1.3/src/powerpc64/mparam.h

   1 /* Various Thresholds of MPFR, not exported.  -*- mode: C -*-
   2
   3 Copyright 2005-2015 Free Software Foundation, Inc.
   4
   5 This file is part of the GNU MPFR Library.
   6
   7 The GNU MPFR Library is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU Lesser General Public License as published by
   9 the Free Software Foundation; either version 3 of the License, or (at your
  10 option) any later version.
  11
  12 The GNU MPFR Library is distributed in the hope that it will be useful, but
  13 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14 or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  15 License for more details.
  16
  17 You should have received a copy of the GNU Lesser General Public License
  18 along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
  19 http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
  20 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
  21
  22 /* Generated by MPFR's tuneup.c, 2011-07-31, gcc 4.3.2 */
  23 /* generated on gcc40.fsffrance.org (IBM PowerPC 970 G5) with GMP 5.0.2 */
  24
  25
  26 #define MPFR_MULHIGH_TAB  \
  27  -1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,0, \
  28  0,10,11,12,13,12,13,16,14,18,18,18,18,18,20,20, \
  29  22,22,23,24,24,26,24,24,26,26,26,28,26,32,36,36, \
  30  32,36,36,36,36,36,36,36,36,36,36,40,40,36,44,44, \
  31  44,44,44,44,48,48,48,44,44,44,48,48,48,48,48,48, \
  32  52,52,52,52,52,52,63,57,57,63,63,63,63,63,63,63, \
  33  63,69,69,69,69,69,69,75,75,69,75,72,75,74,75,75, \
  34  75,75,75,75,75,75,81,81,81,81,81,93,93,93,93,93, \
  35  93,93,105,104,105,105,105,105,105,105,105,104,105,105,105,105, \
  36  105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \
  37  105,105,105,105,117,117,105,117,117,117,117,129,117,129,117,129, \
  38  129,129,129,129,129,129,129,129,129,129,129,129,129,129,141,129, \
  39  141,141,141,141,141,141,141,141,141,141,156,156,156,156,156,156, \
  40  156,156,156,156,156,156,156,156,156,156,156,156,156,172,172,172, \
  41  172,172,172,172,172,172,172,172,172,172,172,172,172,172,172,172, \
  42  188,172,172,188,172,188,188,188,188,188,188,188,188,188,188,187, \
  43  188,188,188,210,210,210,210,210,210,210,210,210,210,210,210,210, \
  44  210,210,210,210,210,210,210,210,210,210,210,210,210,210,210,210, \
  45  210,234,210,210,234,234,234,210,234,234,234,234,234,234,234,234, \
  46  234,234,234,234,234,258,234,234,258,234,258,258,258,258,258,258, \
  47  258,258,258,258,258,258,258,258,258,258,258,258,258,258,258,258, \
  48  258,258,258,258,258,257,258,258,282,282,282,282,282,281,282,282, \
  49  282,282,282,282,282,282,282,282,282,282,282,282,282,282,282,282, \
  50  312,282,282,312,282,282,282,312,312,312,312,282,312,312,312,312, \
  51  312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \
  52  312,312,312,312,344,344,344,344,344,344,344,344,344,344,344,344, \
  53  344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,343, \
  54  344,343,344,344,344,344,344,344,344,344,344,344,376,376,376,376, \
  55  344,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \
  56  376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \
  57  376,376,376,376,376,376,376,376,376,376,376,376,376,376,408,376, \
  58  408,408,408,408,376,376,408,408,376,408,408,408,408,376,408,408, \
  59  408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \
  60  408,408,408,408,408,408,408,408,408,408,408,448,448,408,408,407, \
  61  408,408,408,448,408,448,448,448,448,408,448,448,448,448,448,448, \
  62  448,448,448,448,448,448,448,496,496,496,496,496,496,496,448,496, \
  63  496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \
  64  496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \
  65  496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \
  66  496,496,496,496,496,496,496,496,496,496,496,496,496,496,496,496, \
  67  496,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \
  68  544,544,544,544,544,544,544,544,544,544,543,544,544,544,544,544, \
  69  544,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \
  70  544,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \
  71  544,544,592,592,592,592,567,544,568,568,568,592,592,592,592,592, \
  72  592,592,568,592,592,592,592,592,592,592,592,592,592,592,592,592, \
  73  592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \
  74  592,592,592,592,592,592,592,592,592,591,592,592,592,592,592,592, \
  75  592,592,592,592,592,592,592,592,592,592,640,592,640,592,640,640, \
  76  640,640,639,640,640,640,640,639,640,639,640,640,639,640,640,639, \
  77  640,639,640,640,640,640,640,640,640,640,640,640,640,640,640,639, \
  78  640,639,640,639,639,640,640,639,639,640,640,640,736,736,736,736, \
  79  735,736,736,736,736,735,736,736,736,735,736,736,736,735,734,735, \
  80  736,735,736,736,736,736,736,736,736,736,736,736,736,736,736,735, \
  81  736,736,736,735,736,736,736,736,736,736,736,735,736,736,736,736, \
  82  736,736,736,736,736,736,736,736,736,735,736,736,736,736,736,736, \
  83  736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
  84  736,736,735,736,736,736,735,736,832,832,831,831,832,832,832,831, \
  85  832,832,832,832,832,831,832,831,832,832,831,832,832,832,832,832, \
  86  832,832,832,831,832,832,832,832,832,832,832,832,832,831,832,832, \
  87  832,832,832,832,832,832,832,831,832,832,832,832,832,832,832,832, \
  88  832,832,831,832,832,832,832,831,832,830,832,832,832,832,832,832, \
  89  832,832,832,832,832,832,832,831,832,832,832,832,832,832,832,832, \
  90  832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \
  91
  92 #define MPFR_SQRHIGH_TAB  \
  93  -1,0,0,0,0,0,0,0,0,0,0,0,0,0,10,9, \
  94  10,10,12,12,12,12,14,13,14,14,15,15,16,16,17,17, \
  95  18,18,19,20,20,20,22,22,22,22,23,23,25,25,26,25, \
  96  26,26,27,27,28,28,29,29,30,30,31,31,32,32,33,34, \
  97  34,34,35,35,36,36,38,38,40,38,42,40,40,42,42,44, \
  98  42,42,44,44,44,44,46,46,46,46,50,48,52,48,50,52, \
  99  50,50,52,52,52,52,53,53,54,54,56,56,56,56,58,60, \
 100  58,58,60,60,60,60,63,63,63,63,63,63,66,66,66,72, \
 101  66,66,75,75,75,75,69,69,72,72,75,75,75,75,78,75, \
 102  75,75,75,75,78,78,78,81,78,81,81,81,81,81,81,87, \
 103  84,84,87,87,87,90,90,87,87,90,93,87,96,93,90,90, \
 104  99,96,102,99,96,93,99,93,99,96,96,96,96,99,99,99, \
 105  99,99,99,99,105,102,102,102,102,102,105,105,105,105,105,105, \
 106  111,111,111,111,111,111,117,111,111,111,111,111,123,117,117,123, \
 107  129,129,129,129,123,129,129,123,129,129,129,123,129,129,135,129, \
 108  129,129,135,135,129,135,134,135,135,135,135,135,135,141,135,129, \
 109  135,141,135,135,135,135,135,135,135,135,135,135,141,141,141,138, \
 110  138,141,141,141,141,141,141,141,147,144,147,146,147,147,146,147, \
 111  153,146,153,147,152,153,153,153,153,153,153,153,153,153,153,153, \
 112  164,164,164,164,164,172,164,171,172,172,172,172,172,172,172,164, \
 113  164,164,172,180,172,180,180,172,172,180,172,171,172,172,172,180, \
 114  180,180,180,180,180,180,180,188,188,187,187,188,188,188,180,196, \
 115  196,196,180,180,196,196,203,204,204,204,204,204,204,204,210,210, \
 116  188,188,188,210,188,188,222,222,204,196,222,222,222,222,204,222, \
 117  204,204,204,204,204,234,234,222,234,234,234,234,210,222,222,234, \
 118  246,246,222,222,222,222,246,222,222,234,258,258,258,258,234,258, \
 119  258,258,258,258,234,234,234,258,246,246,270,246,258,246,246,246, \
 120  246,246,258,258,258,258,258,258,258,258,258,258,258,258,258,258, \
 121  270,270,258,270,270,258,270,270,270,270,258,258,270,270,258,270, \
 122  258,258,258,258,258,258,258,270,257,258,258,270,258,270,258,270, \
 123  270,270,270,270,258,270,270,258,270,270,270,270,258,270,282,270, \
 124  270,270,270,270,270,270,270,270,270,270,270,282,270,282,282,282, \
 125  282,270,282,282,282,282,282,306,282,306,306,294,282,306,306,306, \
 126  312,306,294,306,306,306,306,306,270,306,306,306,306,306,306,282, \
 127  306,282,282,282,282,282,282,328,282,282,344,344,328,344,282,344, \
 128  344,282,328,344,344,344,344,306,306,306,344,306,306,306,344,344, \
 129  360,344,344,344,344,344,344,344,306,360,344,360,360,360,360,360, \
 130  360,360,360,360,360,360,360,360,328,344,344,344,344,344,344,344, \
 131  344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \
 132  344,344,344,344,360,344,344,360,360,360,360,360,360,360,360,360, \
 133  360,360,360,376,376,360,360,360,376,376,360,376,376,376,376,376, \
 134  376,376,376,376,376,376,376,376,392,392,392,408,408,376,408,408, \
 135  408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \
 136  408,408,408,408,408,408,408,408,408,424,408,408,424,408,408,424, \
 137  408,408,408,408,408,408,408,408,408,408,408,408,408,407,408,408, \
 138  408,407,407,408,408,408,424,408,408,408,408,408,408,408,408,408, \
 139  408,408,408,408,408,408,408,408,424,408,424,424,424,424,424,424, \
 140  424,424,424,424,424,424,408,408,408,408,408,407,440,440,408,408, \
 141  408,440,440,424,424,440,424,424,424,424,424,424,424,424,424,424, \
 142  424,424,424,440,440,408,440,440,440,472,440,440,472,440,440,440, \
 143  440,472,440,440,440,424,472,440,472,440,472,424,424,440,424,424, \
 144  424,440,440,424,440,440,440,472,472,440,440,472,440,472,472,472, \
 145  472,472,472,424,440,424,424,423,424,424,472,440,424,424,472,440, \
 146  440,440,440,440,440,472,440,472,440,440,472,440,440,440,472,440, \
 147  440,440,440,440,440,440,440,456,440,472,439,440,440,456,456,472, \
 148  472,472,472,471,471,472,472,472,472,472,472,472,471,472,472,472, \
 149  472,472,471,471,472,472,472,471,472,472,472,472,472,472,472,472, \
 150  472,472,472,471,472,472,472,472,472,471,472,472,472,472,472,472, \
 151  472,472,472,472,471,472,472,519,520,472,520,472,472,472,591,592, \
 152  520,520,520,520,520,592,592,592,592,568,592,592,520,520,520,592, \
 153  520,544,520,544,592,544,520,543,544,544,544,520,520,520,592,519, \
 154  568,568,592,592,592,592,568,592,568,568,592,568,568,592,568,592, \
 155  568,568,592,592,544,568,592,592,592,592,592,568,592,592,592,592, \
 156  592,592,591,592,592,592,592,592,592,592,592,568,592,592,592,568 \
 157
 158 #define MPFR_DIVHIGH_TAB  \
 159  0,1,2,3,4,5,6,7,6,9,8,9,10,8,12,13, \
 160  10,10,11,12,13,14,14,13,15,14,15,17,17,18,19,20, \
 161  21,21,19,21,20,20,23,21,22,22,23,24,25,24,26,28, \
 162  27,27,27,27,29,28,29,35,32,32,32,32,32,36,35,36, \
 163  36,36,36,36,36,36,39,40,40,40,43,40,47,40,43,42, \
 164  44,47,43,43,44,44,47,48,48,48,48,48,48,48,52,50, \
 165  52,52,52,52,52,52,56,55,64,64,55,64,64,64,64,64, \
 166  64,72,64,72,72,64,64,72,64,72,72,72,72,70,72,72, \
 167  72,72,72,72,72,72,72,72,72,72,72,72,80,72,80,80, \
 168  80,80,80,80,80,80,80,88,80,88,88,80,87,80,88,88, \
 169  88,88,88,96,88,88,88,96,88,96,96,96,88,96,96,96, \
 170  96,96,96,96,96,96,96,96,96,96,96,96,96,104,104,104, \
 171  104,104,100,104,104,104,104,103,104,102,104,104,104,104,112,120, \
 172  112,112,126,126,126,126,126,126,126,126,126,126,126,126,126,126, \
 173  144,126,126,128,144,144,128,126,144,144,144,144,144,144,144,128, \
 174  144,144,144,144,144,128,144,144,144,144,144,144,144,144,144,144, \
 175  144,144,144,144,144,144,144,144,144,144,144,144,144,144,144,144, \
 176  144,144,144,144,144,144,144,144,144,144,144,144,144,144,150,160, \
 177  160,156,150,156,160,160,160,160,160,156,160,160,160,160,160,160, \
 178  160,160,160,160,160,160,160,160,160,160,160,160,160,160,174,176, \
 179  176,176,176,192,186,192,174,176,192,192,192,192,192,174,192,192, \
 180  192,192,192,192,192,192,208,186,192,192,186,192,192,192,192,192, \
 181  192,192,192,192,192,192,192,208,192,208,192,192,208,192,208,208, \
 182  208,208,208,208,192,208,208,207,208,192,204,208,208,208,208,208, \
 183  208,208,208,208,208,208,208,208,208,208,208,208,208,208,208,208, \
 184  208,208,208,208,208,208,208,208,208,208,208,208,208,208,209,209, \
 185  256,220,216,216,256,252,256,240,240,252,252,256,224,252,256,256, \
 186  252,256,256,240,252,256,256,256,256,256,256,256,256,252,252,256, \
 187  256,256,252,256,252,256,256,256,288,288,254,256,256,288,288,288, \
 188  288,252,252,288,288,288,288,288,288,288,288,288,288,288,288,252, \
 189  288,288,288,288,288,288,288,288,288,288,256,288,288,288,252,257, \
 190  288,256,256,256,288,288,288,288,288,288,288,288,288,288,288,288, \
 191  288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \
 192  288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \
 193  288,288,288,288,288,288,288,288,288,288,288,288,288,288,288,288, \
 194  288,288,288,288,288,288,288,288,288,288,288,288,288,288,312,312, \
 195  312,300,312,312,312,312,312,312,312,320,312,312,312,312,312,312, \
 196  312,312,312,312,320,312,320,320,320,320,320,320,320,320,320,320, \
 197  312,344,320,312,344,320,312,312,320,344,320,336,342,344,344,344, \
 198  320,344,344,320,344,320,320,320,352,352,352,352,352,352,352,372, \
 199  372,368,368,384,344,372,368,384,369,368,384,372,370,368,376,370, \
 200  372,384,384,384,384,384,384,384,384,384,384,384,384,384,384,384, \
 201  384,384,372,372,384,372,384,344,368,368,384,384,384,408,384,372, \
 202  384,384,384,416,416,416,384,416,384,416,416,416,416,416,384,384, \
 203  384,384,384,415,384,384,416,416,416,384,384,384,384,416,384,384, \
 204  384,416,384,384,372,384,417,416,384,416,416,416,384,416,416,416, \
 205  416,416,416,384,384,416,416,384,384,384,416,416,417,416,416,416, \
 206  416,416,416,417,417,417,416,418,416,415,416,416,416,416,416,415, \
 207  416,417,417,416,417,416,415,416,416,416,416,417,416,413,416,416, \
 208  416,416,416,416,416,416,416,417,416,416,418,416,415,416,416,417, \
 209  416,416,416,416,416,416,416,416,416,416,417,416,416,416,416,415, \
 210  416,416,417,416,416,417,416,416,416,416,416,416,416,416,417,419, \
 211  419,420,420,444,420,420,432,512,468,504,456,456,456,456,514,512, \
 212  512,512,456,504,456,444,512,512,504,512,513,512,512,504,512,512, \
 213  512,512,513,513,512,512,513,504,512,512,513,512,512,504,512,512, \
 214  513,514,513,512,512,513,513,504,512,504,512,512,512,513,512,512, \
 215  510,512,512,512,512,512,512,512,513,512,515,512,513,512,504,512, \
 216  512,514,516,512,512,512,512,512,512,513,512,512,513,513,513,514, \
 217  515,512,512,504,564,512,512,512,512,512,512,576,561,512,576,564, \
 218  576,512,512,576,512,512,512,515,564,512,513,576,564,564,576,512, \
 219  512,510,512,564,576,576,512,576,576,514,576,576,512,564,576,576, \
 220  512,513,576,512,512,513,514,512,512,576,576,512,513,576,513,515, \
 221  552,552,576,512,512,512,564,513,564,576,576,576,564,576,564,576, \
 222  564,512,576,564,564,576,576,564,564,576,564,576,564,576,551,576 \
 223
 224 #define MPFR_MUL_THRESHOLD 1 /* limbs */
 225 #define MPFR_SQR_THRESHOLD 5 /* limbs */
 226 #define MPFR_DIV_THRESHOLD 17 /* limbs */
 227 #define MPFR_EXP_2_THRESHOLD 966 /* bits */
 228 #define MPFR_EXP_THRESHOLD 10924 /* bits */
 229 #define MPFR_SINCOS_THRESHOLD 36978 /* bits */
 230 #define MPFR_AI_THRESHOLD1 -12626 /* threshold for negative input of mpfr_ai */
 231 #define MPFR_AI_THRESHOLD2 1377
 232 #define MPFR_AI_THRESHOLD3 24323
 233 /* Tuneup completed successfully, took 2598 seconds */