/* Threshold of MPFR, not exported. Copyright 2005 Free Software Foundation, Inc. This file is part of the MPFR Library. The 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 2.1 of the License, or (at your option) any later version. The 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 MPFR Library; see the file COPYING.LIB. If not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #ifndef __MPFR_IMPL_H__ # error "MPFR Internal not included" #endif /* mpfr_exp threshold */ #if defined (__ia64) # define MPFR_EXP_THRESHOLD 12500 #elif defined(__athlon) # define MPFR_EXP_THRESHOLD 40000 #elif defined(__amd64) # define MPFR_EXP_THRESHOLD 42000 #elif defined(__pentium4) # define MPFR_EXP_THRESHOLD 24000 #else # define MPFR_EXP_THRESHOLD 25000 #endif #define MPFR_EXP_2_THRESHOLD 100 /* mpfr_mulhigh_n threshold table */ #if defined(__athlon) # define MPFR_MULHIGH_TAB \ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 8, 9, 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,\ 32, 0, 32, 32, 32, 32, 34, 38, 34, 38, 38, 38, 38, 42, 42, 42, 40, 40, 40, \ 42, 42, 42, 42, 42, 48, 42, 42, 44, 48, 46, 44, 46, 56, 56, 50, 50, 60, 56, \ 56, 56, 56, 59, 60, 64, 60, 60, 64, 60, 64, 64, 60, 60, 60, 72, 68, 68, 72, \ 71, 64, 76, 76, 76, 76, 76, 76, 72, 76, 76, 76, 72, 76, 72, 72, 84, 72, 72, \ 76, 84, 76, 75, 76, 84, 80, 76, 80, 76, 84, 76, 79, 96, 83, 88, 92, 96, 92, \ 84, 96, 95, 88, 92, 96, 92, 92, 92, 91, 96, 96, 92, 92, 95, 95, 96, 120, 120,\ 112, 112, 96, 104, 111, 120, 120, 112, 111, 112, 112, 119, 112, 120, 118, \ 120, 120, 118, 119, 120, 119, 120, 128, 120, 119, 128, 120, 127, 126, 119, \ 120, 126, 127, 126, 120, 136, 126, 127, 120, 127, 128, 127, 120, 128, 136, \ 143, 128, 152, 144, 152, 144, 144, 128, 152, 144, 136, 151, 128, 136, 144, \ 150, 151, 152, 141, 132, 151, 152, 144, 136, 151, 148, 143, 152, 144, 144, \ 152, 144, 151, 152, 144, 144, 150, 148, 144, 152, 143, 144, 152, 151, 160, \ 151, 152, 150, 152, 160, 160, 164, 152, 152, 151, 152, 152, 152, 168, 204, \ 176, 204, 167, 202, 203, 204, 176, 167, 203, 192, 204, 167, 203, 204, 184, \ 192, 204, 204, 191, 202, 184, 216, 192, 202, 203, 202, 202, 203, 202, 203, \ 204, 202, 203, 228, 204, 214, 216, 216, 202, 202, 203, 203, 202, 202, 215, \ 216, 202, 228, 216, 202, 216, 228, 212, 215, 227, 212, 215, 214, 214, 215, \ 215, 213, 228, 214, 216, 216, 228, 216, 228, 226, 222, 222, 221, 226, 216, \ 228, 228, 228, 215, 252, 252, 227, 239, 226, 226, 226, 251, 225, 227, 227, \ 226, 251, 251, 252, 227, 252, 238, 238, 251, 240, 252, 250, 240, 240, 264, \ 264, 239, 240, 250, 239, 237, 247, 238, 264, 252, 251, 273, 250, 251, 252, \ 262, 263, 249, 275, 250, 276, 251, 250, 251, 252, 267, 286, 287, 275, 252, \ 287, 252, 262, 287, 264, 262, 264, 288, 276, 286, 264, 275, 288, 262, 288, \ 274, 274, 287, 273, 276, 288, 263, 275, 285, 275, 264, 284, 285, 288, 286, \ 285, 285, 275, 282, 286, 286, 285, 286, 286, 286, 274, 299, 287, 300, 335, \ 280, 273, 274, 287, 276, 299, 285, 276, 286, 286, 359, 287, 311, 334, 335, \ 360, 335, 333, 336, 311, 359, 360, 335, 360, 359, 288, 332, 359, 360, 336, \ 335, 334, 335, 336, 333, 359, 358, 336, 357, 360, 336, 334, 360, 356, 360, \ 358, 352, 352, 334, 358, 360, 354, 336, 350, 359, 335, 355, 335, 360, 357, \ 360, 359, 356, 335, 358, 335, 359, 354, 382, 360, 380, 384, 358, 359, 384, \ 383, 336, 360, 382, 382, 383, 360, 354, 382, 354, 354, 384, 383, 382, 358, \ 358, 360, 360, 359, 354, 355, 383, 360, 358, 379, 360, 383, 354, 353, 359, \ 360, 376, 382, 353, 359, 358, 359, 360, 377, 376, 359, 360, 360, 378, 382, \ 358, 381, 382, 383, 360, 383, 380, 359, 360, 432, 380, 360, 380, 383, 384, \ 383, 359, 382, 382, 382, 432, 382, 380, 384, 376, 381, 382, 383, 408, 381, \ 382, 382, 384, 384, 382, 454, 456, 456, 455, 384, 383, 384, 456, 456, 430, \ 455, 429, 430, 428, 401, 456, 405, 432, 407, 431, 430, 408, 430, 450, 429, \ 452, 453, 452, 452, 432, 448, 431, 453, 430, 408, 456, 455, 429, 453, 426, \ 426, 430, 431, 427, 428, 429, 430, 431, 453, 454, 430, 456, 426, 428, 428, \ 442, 427, 431, 451, 430, 430, 429, 449, 449, 432, 449, 453, 431, 455, 431, \ 454, 432, 456, 504, 430, 431, 432, 455, 456, 450, 501, 432, 450, 454, 454, \ 453, 479, 449, 456, 480, 455, 455, 456, 455, 456, 454, 456, 456, 454, 450, \ 503, 454, 455, 452, 503, 478, 455, 452, 499, 455, 456, 456, 478, 478, 504, \ 452, 450, 454, 454, 503, 498, 455, 502, 502, 451, 503, 504, 454, 500, 480, \ 455, 454, 500, 503, 504, 449, 498, 500, 456, 501, 504, 503, 504, 608, 455, \ 501, 502, 503, 504, 527, 480, 501, 479, 502, 503, 608, 609, 612, 550, 545, \ 551, 552, 552, 550, 551, 552, 606, 609, 504, 574, 551, 576, 612, 608, 552, \ 528, 606, 606, 550, 610, 604, 606, 573, 574, 606, 606, 504, 606, 609, 575, \ 574, 604, 604, 648, 612, 574, 574, 611, 610, 609, 608, 609, 575, 608, 604, \ 608, 609, 606, 604, 612, 609, 611, 608, 606, 610, 606, 612, 604, 609, 604, \ 606, 605, 609, 604, 606, 604, 606, 611, 606, 608, 608, 609, 606, 608, 608, \ 608, 606, 611, 606, 604, 605, 606, 608, 608, 611, 609, 608, 606, 604, 611, \ 611, 606, 606, 609, 638, 611, 609, 610, 645, 646, 641, 646, 646, 683, 608, \ 683, 645, 640, 611, 612, 644, 611, 646, 647, 645, 680, 606, 643, 608, 680, \ 610, 608, 684, 645, 646, 646, 611, 606, 606, 611, 681, 640, 648, 646, 647, \ 679, 678, 606, 682, 683, 684, 682, 610, 648, 676, 680, 680, 676, 673, 610, \ 611, 606, 648, 680, 610, 683, 684, 647, 645, 680, 682, 643, 684, 641, 646, \ 647, 648, 678, 642, 643, 611, 678, 646, 647, 648, 677, 682, 683, 679, 647, \ 648, 644, 644, 612, 646, 647, 647, 678, 647, 648, 645, 641, 666, 648, 677, \ 645, 646, 647, 645, 664, 678, 642, 646, 644, 648, 644, 647, 676, 641, 648, \ 682, 611, 645, 642, 641, 683, 647, 682, 676, 646, 677, 648, 683, 684, 682, \ 643, 684, 646, 646, 684, 646, 675, 680, 677, 647, 676, 684, 681, 647, 683, \ 681, 682, 680, 647, 755, 678, 682, 680, 675, 682, 647, 678, 681, 680, 676, \ 670, 678, 675, 719, 679, 718, 664 #elif defined(__amd64) # 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, 32, 32, 32,\ 0, 0, 0, 0, 0, 0, 0, 36, 40, 40, 40, 40, 40, 40, 40, 40, 40, 48, 48, 48, 48, \ 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 48, 56, 64, \ 56, 56, 63, 64, 64, 56, 64, 64, 63, 64, 64, 64, 63, 64, 63, 64, 63, 64, 64, \ 64, 72, 64, 76, 64, 72, 76, 80, 80, 80, 76, 80, 80, 79, 80, 80, 80, 80, 80, \ 80, 80, 79, 80, 80, 80, 90, 93, 93, 90, 80, 80, 80, 80, 93, 80, 80, 80, 80, \ 93, 90, 93, 93, 93, 111, 111, 93, 105, 114, 117, 117, 117, 111, 111, 116, \ 111, 105, 111, 105, 114, 117, 117, 111, 114, 114, 111, 114, 117, 114, 114, \ 114, 117, 117, 115, 117, 114, 120, 114, 114, 114, 117, 117, 117, 141, 138, \ 141, 138, 141, 132, 123, 135, 138, 135, 138, 138, 138, 138, 132, 138, 138, \ 141, 135, 138, 135, 141, 138, 141, 138, 138, 141, 140, 138, 141, 140, 138, \ 165, 165, 140, 162, 165, 164, 165, 141, 162, 165, 140, 138, 141, 164, 141, \ 165, 162, 189, 189, 188, 187, 165, 180, 165, 186, 187, 188, 180, 188, 187, \ 186, 189, 177, 183, 177, 189, 186, 186, 189, 189, 186, 189, 189, 189, 184, \ 189, 180, 187, 187, 188, 184, 180, 189, 180, 180, 189, 185, 177, 180, 188, \ 187, 184, 189, 189, 188, 187, 189, 187, 188, 189, 186, 186, 188, 188, 189, \ 189, 237, 187, 225, 228, 237, 237, 189, 212, 189, 237, 189, 234, 231, 228, \ 237, 236, 225, 225, 228, 237, 237, 237, 237, 228, 224, 235, 228, 225, 231, \ 225, 237, 236, 237, 225, 233, 227, 234, 235, 228, 233, 234, 237, 234, 237, \ 225, 237, 227, 225, 227, 228, 228, 230, 233, 232, 235, 228, 232, 235, 237, \ 234, 235, 236, 237, 233, 237, 233, 237, 234, 236, 237, 236, 237, 235, 276, \ 274, 235, 272, 275, 274, 267, 274, 275, 276, 276, 275, 266, 275, 270, 276, \ 265, 269, 267, 270, 272, 275, 274, 236, 276, 276, 270, 274, 271, 273, 275, \ 276, 275, 276, 270, 272, 266, 273, 274, 276, 276, 271, 272, 273, 274, 348, \ 274, 330, 273, 272, 348, 330, 330, 348, 275, 348, 338, 294, 346, 308, 311, \ 330, 348, 276, 337, 338, 337, 330, 339, 346, 339, 328, 337, 329, 346, 347, \ 348, 328, 327, 328, 328, 348, 347, 327, 339, 328, 329, 348, 328, 345, 338, \ 337, 337, 347, 339, 338, 348, 337, 339, 339, 346, 346, 348, 330, 347, 348, \ 345, 346, 339, 348, 342, 330, 344, 346, 344, 346, 330, 330, 329, 346, 339, \ 346, 337, 327, 328, 348, 338, 346, 339, 339, 344, 344, 347, 346, 346, 330, \ 337, 346, 341, 339, 344, 345, 342, 342, 342, 346, 346, 347, 348, 346, 342, \ 343, 345, 343, 346, 338, 344, 339, 346, 347, 347, 417, 420, 344, 346, 348, \ 347, 346, 345, 418, 346, 348, 418, 419, 417, 420, 420, 420, 348, 416, 417, \ 418, 366, 402, 348, 418, 418, 417, 401, 401, 418, 402, 382, 420, 419, 392, \ 417, 418, 411, 418, 419, 420, 417, 396, 417, 402, 420, 410, 400, 418, 419, \ 399, 402, 401, 411, 418, 409, 418, 408, 383, 410, 418, 414, 416, 420, 417, \ 400, 417, 420, 402, 418, 418, 411, 417, 418, 416, 400, 416, 402, 409, 411, \ 418, 402, 416, 402, 418, 416, 402, 418, 409, 414, 415, 416, 417, 418, 419, \ 420, 417, 416, 410, 418, 418, 420, 408, 411, 420, 411, 410, 411, 414, 418, \ 402, 411, 492, 416, 492, 416, 492, 491, 492, 419, 492, 491, 415, 415, 416, \ 417, 488, 419, 492, 420, 472, 420, 490, 471, 492, 488, 420, 477, 463, 420, \ 489, 420, 474, 483, 486, 483, 486, 472, 488, 562, 471, 489, 490, 472, 473, \ 564, 490, 564, 558, 561, 562, 474, 559, 492, 561, 492, 560, 492, 559, 560, \ 561, 492, 558, 564, 528, 561, 562, 490, 562, 563, 562, 490, 491, 492, 558, \ 564, 560, 561, 558, 557, 561, 528, 556, 558, 558, 559, 553, 558, 561, 553, \ 561, 555, 555, 558, 557, 556, 556, 560, 557, 563, 560, 564, 561, 558, 561, \ 564, 561, 555, 563, 553, 558, 556, 556, 561, 558, 563, 564, 553, 558, 560, \ 560, 561, 555, 556, 552, 560, 561, 546, 564, 560, 556, 557, 555, 561, 553, \ 561, 562, 551, 564, 553, 554, 557, 544, 562, 563, 564, 535, 526, 561, 561, \ 562, 561, 557, 528, 564, 537, 558, 553, 554, 553, 556, 555, 563, 562, 558, \ 559, 555, 561, 546, 561, 552, 552, 553, 562, 556, 564, 557, 559, 559, 560, \ 561, 556, 557, 562, 562, 563, 564, 561, 559, 564, 561, 562, 543, 553, 562, \ 549, 561, 558, 563, 560, 551, 562, 563, 561, 561, 559, 562, 561, 562, 560, \ 561, 555, 556, 558, 561, 559, 560, 561, 553, 558, 560, 560, 560, 707, 705, \ 705, 556, 562, 558, 562, 704, 705, 706, 563, 564, 564, 558, 705, 563, 564, \ 690, 702, 705, 702, 670, 704, 707, 708, 707, 708, 679, 680, 702, 672, 702, \ 636, 708, 671, 636, 688, 695, 703, 704, 707, 705, 707, 701, 708, 708, 671, \ 672, 636, 670, 708, 707, 701, 702, 708, 707, 680, 672, 670, 696, 672, 696, \ 670, 702, 672, 680, 703, 704, 707, 669, 704, 705, 670, 671, 679, 700, 671, \ 681, 679, 701, 697, 699, 706, 671, 708, 669, 690, 695, 686, 690, 688, 706, \ 672, 672, 671, 672, 684, 681, 679, 697, 698, 699, 707, 704, 681, 693, 694, \ 695, 696, 705, 698, 699, 708, 690, 695, 689, 690, 701, 695, 693, 708, 683, \ 696, 681, 708, 701, 703, 708, 702, 703, 707, 684, 699, 700, 692, 698, 680, \ 672, 690, 697, 698, 699, 704, 701, 702, 698, 672, 705, 683, 707, 681, 699, \ 688, 705, 689, 708, 680, 679 #elif defined(__pentium4) # define MPFR_MULHIGH_TAB \ -1, 0, 0, 0, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 13, 13, 13, 12, 13, \ 13, 15, 14, 16, 16, 16, 17, 16, 17, 17, 17, 24, 24, 24, 26, 24, 26, 26, 26, \ 28, 30, 28, 30, 32, 30, 32, 32, 34, 28, 28, 30, 30, 32, 34, 34, 32, 32, 32, \ 34, 34, 34, 0, 34, 0, 0, 44, 44, 44, 44, 44, 44, 48, 48, 48, 48, 52, 52, 52, \ 52, 56, 56, 56, 56, 56, 56, 56, 60, 64, 60, 64, 56, 60, 56, 68, 60, 56, 60, \ 56, 64, 59, 60, 59, 60, 59, 60, 68, 63, 68, 63, 63, 64, 60, 67, 68, 64, 68, \ 64, 64, 63, 64, 64, 67, 67, 67, 68, 67, 68, 67, 68, 95, 95, 95, 88, 96, 96, \ 95, 96, 95, 96, 103, 103, 104, 96, 104, 96, 103, 95, 104, 104, 96, 112, 104, \ 104, 112, 112, 103, 104, 103, 103, 104, 112, 104, 112, 112, 104, 111, 112, \ 112, 112, 111, 120, 120, 112, 112, 119, 120, 120, 112, 120, 120, 104, 126, \ 120, 127, 112, 128, 127, 136, 112, 128, 136, 112, 135, 135, 127, 120, 120, \ 118, 136, 120, 120, 119, 120, 124, 120, 127, 119, 120, 128, 120, 128, 120, \ 136, 126, 127, 126, 136, 128, 136, 132, 136, 127, 135, 134, 135, 136, 128, \ 129, 135, 136, 135, 133, 128, 135, 136, 135, 136, 127, 136, 134, 133, 135, \ 134, 136, 134, 135, 136, 168, 136, 168, 135, 136, 179, 155, 167, 168, 179, \ 167, 178, 166, 166, 166, 180, 179, 178, 167, 180, 167, 179, 192, 191, 178, \ 190, 179, 179, 179, 178, 190, 180, 179, 178, 192, 180, 190, 179, 191, 190, \ 179, 202, 191, 192, 191, 190, 191, 192, 180, 190, 203, 204, 191, 192, 191, \ 204, 191, 204, 203, 191, 191, 192, 204, 204, 202, 204, 203, 204, 203, 204, \ 204, 203, 203, 201, 202, 203, 202, 202, 191, 202, 203, 203, 203, 204, 190, \ 203, 203, 204, 192, 203, 203, 204, 203, 192, 203, 203, 202, 191, 202, 203, \ 191, 192, 191, 202, 203, 202, 190, 204, 190, 202, 203, 202, 203, 190, 190, \ 191, 192, 202, 263, 190, 191, 190, 288, 287, 200, 264, 286, 203, 204, 287, \ 202, 262, 263, 202, 203, 204, 287, 264, 264, 288, 285, 286, 287, 264, 287, \ 287, 286, 286, 286, 286, 263, 311, 312, 285, 286, 286, 287, 287, 311, 287, \ 311, 288, 311, 288, 287, 310, 287, 288, 310, 286, 287, 311, 309, 287, 311, \ 288, 308, 286, 309, 288, 286, 310, 288, 310, 288, 311, 287, 312, 288, 288, \ 311, 287, 288, 286, 334, 288, 335, 310, 312, 287, 336, 310, 334, 335, 311, \ 308, 287, 309, 335, 312, 307, 287, 311, 312, 335, 309, 308, 311, 309, 307, \ 311, 308, 311, 308, 308, 312, 307, 308, 334, 334, 307, 312, 311, 336, 311, \ 311, 312, 312, 383, 311, 312, 310, 336, 336, 384, 382, 308, 335, 310, 336, \ 359, 335, 309, 310, 334, 334, 335, 311, 334, 335, 334, 332, 334, 334, 333, \ 358, 335, 360, 334, 336, 334, 359, 335, 384, 358, 335, 336, 334, 384, 359, \ 336, 335, 359, 359, 335, 336, 382, 358, 360, 360, 359, 359, 358, 380, 358, \ 382, 382, 382, 358, 356, 335, 336, 359, 358, 356, 382, 382, 379, 359, 360, \ 379, 377, 360, 377, 359, 384, 359, 383, 380, 376, 384, 378, 382, 381, 359, \ 382, 383, 379, 379, 383, 384, 407, 408, 380, 359, 407, 407, 382, 382, 382, \ 408, 383, 404, 408, 379, 380, 379, 407, 379, 406, 407, 382, 382, 382, 383, \ 382, 381, 379, 380, 406, 407, 408, 380, 406, 382, 382, 384, 406, 407, 400, \ 407, 384, 407, 406, 405, 406, 401, 406, 407, 401, 407, 402, 406, 401, 402, \ 407, 404, 405, 401, 407, 408, 402, 401, 406, 405, 384, 407, 404, 402, 407, \ 408, 382, 383, 404, 383, 382, 406, 384, 383, 406, 384, 408, 378, 379, 406, \ 407, 382, 382, 384, 404, 382, 406, 380, 408, 401, 382, 383, 406, 406, 406, \ 407, 406, 407, 407, 407, 405, 402, 406, 383, 382, 401, 407, 406, 401, 504, \ 402, 503, 404, 406, 406, 406, 408, 408, 403, 539, 408, 406, 502, 407, 408, \ 503, 406, 497, 408, 407, 538, 504, 498, 503, 539, 535, 540, 494, 496, 501, \ 538, 498, 539, 407, 496, 498, 500, 539, 535, 502, 496, 497, 504, 497, 574, \ 539, 502, 501, 538, 503, 572, 533, 536, 532, 534, 534, 530, 535, 574, 533, \ 503, 536, 539, 539, 538, 538, 540, 534, 535, 576, 538, 540, 539, 536, 540, \ 572, 572, 536, 572, 573, 572, 503, 574, 540, 571, 571, 571, 536, 572, 573, \ 539, 571, 572, 575, 568, 539, 572, 611, 574, 575, 556, 575, 536, 571, 571, \ 571, 569, 571, 538, 576, 540, 537, 574, 539, 572, 571, 610, 573, 540, 575, \ 576, 611, 608, 608, 573, 611, 575, 538, 538, 607, 571, 611, 575, 607, 606, \ 605, 607, 575, 574, 611, 612, 576, 608, 573, 607, 573, 576, 573, 572, 575, \ 608, 607, 575, 575, 610, 611, 610, 572, 568, 612, 539, 610, 566, 612, 575, \ 575, 573, 569, 610, 571, 568, 572, 574, 575, 576, 573, 574, 572, 565, 609, \ 572, 576, 611, 609, 574, 611, 574, 575, 612, 608, 610, 573, 568, 568, 568, \ 606, 611, 612, 571, 575, 575, 607, 611, 610, 606, 576, 609, 609, 608, 575, \ 608, 605, 610, 601, 602, 602, 604, 611, 606, 606, 606, 604, 608, 610, 612, \ 608, 609, 610, 610, 605, 604, 605, 605, 607, 607, 610, 610, 611, 608, 609, \ 605, 609, 612, 611, 606, 608, 609, 609, 610, 607, 604, 606, 605, 600, 611, \ 604, 610, 603, 604, 605, 606, 611, 608, 609, 604, 611, 608, 608, 610, 575, \ 606, 611, 575, 608, 574, 611, 610, 610, 612, 572, 607, 572, 611, 612, 612, \ 568, 571, 607, 610, 574, 575, 604, 575, 607, 576, 611, 612, 606, 607, 608, \ 574, 572, 573, 609, 604, 608, 612, 601, 572, 602, 610, 611, 603, 612, 572, \ 606, 609, 611, 607, 608, 603, 604, 605, 606, 611, 576, 604, 612, 608, 608 #else # define MPFR_MULHIGH_TAB \ -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0 #endif /* mpfr_mul threshold */ #define MPFR_MUL_THRESHOLD 18