source/libs/mpfr/mpfr-3.1.3/src/hppa/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 gcc61.fsffrance.org (HP PA-8600) with GMP 5.0.2 */
  24
  25
  26 #define MPFR_MULHIGH_TAB  \
  27  -1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
  28  0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
  29  0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
  30  0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
  31  0,0,0,0,0,0,0,0,48,47,48,47,48,47,48,47, \
  32  48,47,64,63,64,63,64,63,64,63,64,63,64,63,64,63, \
  33  64,63,64,63,64,63,64,63,64,63,64,63,64,63,64,63, \
  34  64,63,64,72,64,72,64,93,64,93,64,93,92,93,92,93, \
  35  92,93,92,93,92,93,92,93,92,93,92,93,92,93,92,93, \
  36  92,93,92,93,105,93,105,93,105,93,105,93,105,105,105,108, \
  37  105,105,105,105,108,105,105,105,108,108,108,117,108,117,108,141, \
  38  140,141,140,141,140,141,140,141,140,141,140,141,140,141,140,141, \
  39  140,141,140,141,140,141,140,141,140,141,140,141,140,141,140,141, \
  40  140,141,140,141,140,141,140,141,141,153,140,141,140,141,140,140, \
  41  144,140,140,141,140,139,140,141,140,141,140,141,188,188,188,187, \
  42  188,187,188,188,188,188,188,188,188,188,188,188,188,188,188,187, \
  43  187,187,188,188,188,188,188,188,210,188,210,188,188,210,188,188, \
  44  188,188,188,188,188,188,188,188,188,188,186,188,210,188,188,187, \
  45  188,188,210,210,210,210,210,210,210,210,210,210,210,210,210,210, \
  46  210,210,210,210,210,210,210,208,210,209,210,210,210,210,210,233, \
  47  234,234,234,233,232,234,234,234,234,234,234,234,234,234,234,276, \
  48  234,276,234,276,234,276,276,276,276,276,276,276,282,276,282,276, \
  49  282,276,276,276,276,276,282,281,276,276,276,276,276,276,276,276, \
  50  276,276,276,276,276,276,282,276,282,276,282,276,282,281,282,281, \
  51  282,281,282,281,282,281,282,281,282,281,282,306,282,306,282,306, \
  52  306,306,306,306,306,306,306,306,306,306,306,306,306,306,306,306, \
  53  306,372,306,371,306,372,372,372,372,372,372,371,372,372,372,372, \
  54  372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
  55  372,371,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
  56  372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
  57  372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
  58  372,372,372,372,372,372,372,372,372,372,372,372,372,372,372,372, \
  59  372,372,372,372,372,372,372,372,426,372,426,426,426,426,426,426, \
  60  426,426,426,426,426,425,426,425,426,426,426,426,426,426,426,426, \
  61  426,426,426,426,426,424,426,426,426,426,426,426,426,426,426,426, \
  62  426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \
  63  426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,503, \
  64  504,503,504,503,504,503,504,503,504,503,504,503,504,503,504,503, \
  65  504,503,504,503,504,503,504,503,502,503,504,503,504,503,504,503, \
  66  504,496,504,503,504,503,504,503,504,503,504,503,504,503,504,503, \
  67  504,503,504,503,504,503,504,503,504,503,568,568,568,568,568,568, \
  68  568,567,568,568,568,567,568,567,568,567,568,568,568,567,568,568, \
  69  568,568,568,568,568,567,568,568,568,568,568,568,568,568,568,568, \
  70  568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
  71  568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
  72  568,568,568,567,568,568,568,568,568,567,568,567,568,568,568,567, \
  73  568,567,568,567,568,568,568,568,568,568,568,568,568,568,568,568, \
  74  568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
  75  568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
  76  568,567,568,568,568,568,568,568,632,568,568,568,568,631,568,568, \
  77  568,568,568,568,568,567,568,567,568,568,568,568,632,632,632,631, \
  78  632,631,632,631,632,632,632,631,632,632,632,631,632,632,632,728, \
  79  728,727,728,727,728,728,728,727,728,727,728,727,728,727,728,728, \
  80  728,728,728,728,728,728,728,728,728,728,728,728,728,728,728,728, \
  81  728,728,728,728,728,728,728,728,728,728,728,728,728,728,728,728, \
  82  728,752,728,752,728,752,728,752,752,752,728,752,752,752,752,752, \
  83  752,752,752,752,752,752,752,752,752,752,752,752,752,751,752,751, \
  84  752,751,752,751,728,728,728,728,752,728,728,728,728,728,728,728, \
  85  728,752,832,751,832,752,832,752,832,752,832,752,832,752,832,751, \
  86  832,831,832,752,832,831,832,832,832,832,832,832,832,824,832,832, \
  87  832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \
  88  832,832,832,832,832,832,832,831,832,831,832,831,832,831,832,831, \
  89  832,831,832,832,832,831,832,831,832,831,832,831,832,831,832,831, \
  90  832,832,832,831,832,832,832,832,832,831,832,832,832,832,832,832 \
  91
  92 #define MPFR_SQRHIGH_TAB  \
  93  -1,0,0,0,0,0,0,0,0,0,0,7,0,8,9,9, \
  94  10,10,11,11,12,13,14,13,14,15,16,15,16,17,18,17, \
  95  18,19,20,19,20,21,22,21,22,23,24,23,24,25,26,25, \
  96  26,27,28,27,28,29,30,29,30,31,32,31,32,33,34,33, \
  97  34,35,36,35,36,37,38,37,38,39,40,39,40,41,42,41, \
  98  42,43,44,43,44,47,48,47,48,47,48,47,48,51,52,51, \
  99  52,51,52,51,56,55,56,55,56,55,56,59,60,59,60,59, \
 100  60,63,60,63,64,63,64,63,68,63,68,67,68,67,68,71, \
 101  68,71,72,71,72,71,72,75,76,75,76,75,76,79,80,79, \
 102  80,79,80,75,76,83,84,79,80,79,80,79,80,83,84,83, \
 103  84,83,84,83,88,93,88,93,88,93,96,93,88,93,96,99, \
 104  96,93,92,93,92,93,96,93,96,99,96,99,96,99,98,99, \
 105  102,99,102,99,102,105,102,105,102,105,104,105,108,111,108,111, \
 106  108,117,114,117,116,117,116,117,116,117,120,117,120,123,120,123, \
 107  120,123,128,129,126,129,128,129,132,129,132,141,138,141,140,141, \
 108  140,141,140,141,140,141,140,141,140,153,152,153,152,153,152,153, \
 109  152,153,152,153,152,153,152,153,164,165,164,165,164,165,164,165, \
 110  164,165,164,165,164,177,176,177,176,177,176,177,176,177,176,177, \
 111  176,177,180,177,165,189,165,189,165,189,165,164,165,164,165,164, \
 112  165,164,177,176,177,176,177,176,177,176,177,176,177,176,177,188, \
 113  189,188,189,188,189,188,189,188,189,188,189,188,189,188,189,200, \
 114  189,200,201,200,201,200,201,200,201,200,201,212,213,212,213,212, \
 115  213,212,213,212,213,212,213,212,213,212,213,212,213,224,225,213, \
 116  225,213,225,213,225,213,225,213,225,213,237,225,237,225,237,225, \
 117  201,225,201,200,201,201,201,252,201,201,201,201,201,212,213,213, \
 118  213,213,213,212,213,213,213,212,213,213,213,213,213,213,225,225, \
 119  225,225,225,225,225,225,225,225,225,225,225,237,237,237,237,237, \
 120  237,236,237,237,237,252,252,252,252,252,252,252,252,252,252,252, \
 121  252,252,252,252,252,252,252,252,268,268,268,268,268,268,268,268, \
 122  268,266,268,268,268,268,268,268,268,268,275,268,275,268,275,268, \
 123  275,294,294,294,294,294,294,294,300,294,300,294,300,300,300,300, \
 124  300,300,300,300,300,300,318,318,318,318,318,318,318,318,318,318, \
 125  318,318,318,318,324,318,318,318,318,324,324,318,324,324,330,330, \
 126  330,330,342,342,342,342,342,342,342,342,342,342,342,342,342,342, \
 127  342,348,348,348,348,348,348,348,348,348,348,366,366,366,366,366, \
 128  366,366,366,366,372,366,372,366,372,372,366,372,372,372,372,372, \
 129  372,372,372,372,372,372,378,390,378,390,390,390,390,390,390,390, \
 130  390,390,396,390,396,390,366,390,396,396,372,396,372,396,372,396, \
 131  378,414,366,414,366,414,366,414,366,414,372,414,372,414,372,414, \
 132  372,372,372,395,396,395,396,390,390,390,390,390,390,390,390,390, \
 133  390,390,366,390,396,365,366,371,396,396,372,371,372,390,378,414, \
 134  378,414,378,414,414,414,414,414,390,414,390,389,390,389,390,395, \
 135  396,395,396,395,396,396,402,414,402,395,396,395,396,389,414,413, \
 136  414,413,414,413,414,413,414,414,420,395,420,419,420,395,396,401, \
 137  396,419,420,419,414,413,414,413,414,413,414,413,414,413,414,413, \
 138  414,413,420,419,420,419,420,419,420,419,426,425,426,437,438,437, \
 139  438,437,438,437,438,437,444,437,444,443,438,443,444,443,444,443, \
 140  444,443,444,443,444,461,462,461,462,461,462,461,462,461,462,461, \
 141  462,461,462,467,468,467,468,467,468,467,468,467,468,467,474,473, \
 142  486,485,486,485,486,485,414,485,486,485,486,491,492,491,492,519, \
 143  520,491,504,503,420,503,504,437,504,503,504,437,504,437,438,437, \
 144  520,443,444,519,520,519,520,519,520,519,520,519,520,527,520,527, \
 145  528,527,528,461,528,461,528,461,462,461,462,467,468,467,468,467, \
 146  468,551,552,551,552,551,552,551,552,551,560,551,552,551,552,551, \
 147  552,551,552,559,560,559,560,559,560,503,568,567,504,503,504,503, \
 148  504,503,504,519,520,519,520,519,520,519,520,520,520,519,520,519, \
 149  520,519,520,519,520,527,528,527,528,527,528,527,528,527,528,527, \
 150  528,535,552,551,552,551,552,551,552,552,552,551,552,551,552,551, \
 151  552,551,552,551,552,551,552,551,552,559,560,551,560,559,560,559, \
 152  560,567,568,567,568,583,568,567,584,583,584,583,584,583,584,583, \
 153  584,583,584,583,584,583,584,583,584,583,592,591,592,591,592,591, \
 154  592,591,592,591,592,615,616,519,520,615,520,519,520,615,616,615, \
 155  616,615,528,615,616,615,528,527,528,615,528,623,624,623,536,552, \
 156  552,551,552,551,552,551,552,551,552,551,552,551,552,551,552,551 \
 157
 158 #define MPFR_DIVHIGH_TAB  \
 159  0,1,2,3,4,5,6,7,6,7,10,11,10,11,12,13, \
 160  10,11,11,11,12,12,14,15,14,14,16,16,16,16,18,17, \
 161  22,19,22,23,22,23,26,27,26,23,30,29,26,27,26,27, \
 162  30,31,30,31,30,35,30,35,30,35,34,31,34,35,38,35, \
 163  34,36,38,39,38,39,38,43,38,40,42,43,42,44,42,43, \
 164  42,44,46,47,46,44,46,51,50,48,50,51,54,52,54,52, \
 165  50,51,54,55,58,55,54,56,58,56,62,60,58,63,58,63, \
 166  62,64,62,64,62,64,62,64,62,67,66,71,66,67,74,71, \
 167  70,67,70,71,74,72,74,75,70,76,74,79,74,75,74,79, \
 168  74,79,78,80,78,76,78,80,78,79,82,84,82,80,82,87, \
 169  86,84,86,84,86,84,86,88,90,88,90,92,90,88,94,96, \
 170  90,92,94,92,94,92,94,96,94,102,98,96,100,102,98,102, \
 171  98,104,100,102,102,104,104,102,102,102,104,104,104,104,108,112, \
 172  128,110,128,110,128,128,128,128,128,128,128,128,128,128,128,128, \
 173  128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \
 174  128,128,128,128,128,128,128,128,128,128,128,128,128,128,142,142, \
 175  142,142,140,142,144,144,144,142,144,142,140,142,140,142,142,144, \
 176  140,142,140,142,140,144,144,144,144,144,144,144,144,144,148,146, \
 177  148,160,148,150,148,158,156,158,156,160,156,158,160,160,156,160, \
 178  164,158,156,160,164,160,164,182,180,182,164,184,182,184,182,182, \
 179  180,182,182,182,182,186,184,182,180,182,184,184,184,185,182,184, \
 180  182,185,182,185,182,185,184,185,184,185,182,185,184,184,184,182, \
 181  184,185,184,186,184,185,182,182,184,184,184,184,184,184,186,185, \
 182  186,206,200,206,188,206,196,198,196,208,196,198,196,198,196,206, \
 183  200,206,208,206,196,198,200,208,200,206,200,206,200,208,216,208, \
 184  208,206,208,206,216,208,216,208,216,208,216,208,216,208,216,220, \
 185  216,210,216,220,256,220,216,220,216,224,216,222,256,250,248,254, \
 186  256,256,256,254,256,254,256,254,256,254,256,254,256,256,256,256, \
 187  256,254,256,254,256,256,256,254,256,254,256,254,256,256,256,254, \
 188  256,254,256,254,256,254,256,256,256,254,256,254,256,256,256,254, \
 189  256,254,256,256,256,254,256,254,256,254,256,256,256,254,256,254, \
 190  256,254,256,254,256,254,256,254,256,282,280,256,256,256,282,284, \
 191  282,284,282,288,280,281,282,288,282,288,282,282,280,281,280,282, \
 192  282,287,288,288,280,282,282,288,282,288,282,288,282,288,282,288, \
 193  282,284,282,288,280,288,282,288,282,284,282,288,282,288,282,288, \
 194  282,288,288,288,288,288,288,288,288,288,288,288,288,288,296,300, \
 195  296,304,296,304,298,300,296,300,296,300,312,302,296,306,312,300, \
 196  312,320,312,300,312,370,312,320,312,302,312,320,312,370,312,371, \
 197  312,371,312,369,372,371,372,371,368,370,372,370,372,370,372,370, \
 198  371,369,372,370,368,370,372,370,372,370,372,370,370,370,364,370, \
 199  371,370,372,370,370,370,372,370,372,370,372,370,370,370,372,370, \
 200  370,372,370,370,372,370,372,370,372,370,368,370,370,372,372,370, \
 201  370,370,372,370,372,372,372,370,372,370,370,366,372,370,370,370, \
 202  372,368,368,370,370,370,372,370,370,370,372,370,372,370,368,370, \
 203  372,370,372,370,369,370,372,370,372,369,372,370,372,371,372,370, \
 204  372,370,368,372,372,371,372,369,372,371,370,371,372,370,372,372, \
 205  372,370,372,372,372,372,376,416,376,416,376,416,414,416,416,420, \
 206  384,416,415,416,414,416,415,416,392,420,400,416,420,420,392,420, \
 207  400,416,416,416,416,420,416,412,416,416,416,416,418,416,414,416, \
 208  418,420,418,420,418,416,416,416,418,420,414,420,418,420,420,420, \
 209  416,416,418,420,418,418,416,416,420,416,418,416,432,420,432,420, \
 210  416,416,416,420,416,420,432,420,418,420,432,420,418,416,418,420, \
 211  420,420,432,420,420,420,432,468,464,512,432,468,432,444,432,444, \
 212  512,508,432,468,512,512,464,510,432,510,512,512,512,512,512,512, \
 213  512,512,512,512,512,508,512,508,512,512,512,508,512,510,512,512, \
 214  512,512,512,512,512,512,512,508,512,512,512,508,512,512,512,512, \
 215  512,512,512,512,512,512,512,512,512,512,512,508,512,512,512,512, \
 216  512,512,512,512,512,508,512,512,512,512,512,468,464,512,564,468, \
 217  512,564,512,512,564,512,512,512,564,508,564,508,564,503,564,508, \
 218  512,508,512,512,564,508,512,508,564,512,512,512,512,512,512,508, \
 219  512,510,512,512,512,512,512,512,512,512,512,512,512,512,512,512, \
 220  512,508,512,508,512,512,512,512,512,512,512,512,512,512,512,512, \
 221  512,512,512,512,512,512,512,512,512,564,562,564,560,512,564,564, \
 222  562,564,560,564,564,564,560,564,564,564,564,564,564,564,564,562 \
 223
 224 #define MPFR_MUL_THRESHOLD 6 /* limbs */
 225 #define MPFR_SQR_THRESHOLD 8 /* limbs */
 226 #define MPFR_DIV_THRESHOLD 23 /* limbs */
 227 #define MPFR_EXP_2_THRESHOLD 530 /* bits */
 228 #define MPFR_EXP_THRESHOLD 2918 /* bits */
 229 #define MPFR_SINCOS_THRESHOLD 28251 /* bits */
 230 #define MPFR_AI_THRESHOLD1 -21852 /* threshold for negative input of mpfr_ai */
 231 #define MPFR_AI_THRESHOLD2 2256
 232 #define MPFR_AI_THRESHOLD3 34310
 233 /* Tuneup completed successfully, took 8236 seconds */