diff options
Diffstat (limited to 'mparam_h.in')
-rw-r--r-- | mparam_h.in | 614 |
1 files changed, 387 insertions, 227 deletions
diff --git a/mparam_h.in b/mparam_h.in index 4a807db9e..9e23b7cf7 100644 --- a/mparam_h.in +++ b/mparam_h.in @@ -23,236 +23,396 @@ MA 02111-1307, USA. */ # 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 +/***************************** + * Threshold for Pentium 4 * + *****************************/ +#if defined (__pentium4) + +#define MPFR_MULHIGH_TAB \ + -1,0,-1,0,-1,0,0,-1,0,-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, \ + 40,0,0,48,0,0,0,0,0,0,0,0,0,0,48,44, \ + 56,0,56,0,46,0,0,56,56,68,52,54,56,56,54,60, \ + 56,56,72,60,64,60,80,71,60,88,79,62,60,64,80,72, \ + 95,60,78,80,80,65,80,64,96,80,96,80,66,88,96,66, \ + 68,68,96,88,95,95,96,94,94,86,96,94,96,95,96,95, \ + 96,96,95,96,95,92,96,92,96,112,111,112,111,112,112,111, \ + 108,111,128,112,110,112,112,104,112,112,111,112,111,143,126,112, \ + 128,112,128,144,127,127,128,112,128,128,120,124,126,120,110,128, \ + 120,128,143,126,128,128,126,128,135,128,128,128,111,112,134,127, \ + 134,127,128,111,112,125,126,167,134,185,125,126,127,165,125,128, \ + 128,125,144,127,166,129,130,168,144,167,168,126,127,128,129,167, \ + 168,167,168,143,166,165,164,167,166,167,168,163,191,184,166,167, \ + 168,165,166,166,167,168,166,166,167,168,166,167,168,189,188,189, \ + 190,164,192,203,167,168,190,175,192,188,190,187,188,192,167,191, \ + 188,189,190,191,239,192,168,186,187,188,189,190,191,192,168,165, \ + 233,189,166,239,192,167,191,191,190,191,191,189,186,191,188,166, \ + 282,191,192,167,190,191,188,191,190,189,192,191,192,188,189,188, \ + 240,190,191,192,185,189,189,186,235,192,188,238,191,191,240,232, \ + 189,187,191,189,287,287,189,191,191,281,284,192,283,283,190,285, \ + 286,287,288,288,284,285,287,282,285,284,201,239,283,281,282,192, \ + 284,285,286,287,288,288,240,282,239,284,285,286,287,288,288,284, \ + 334,286,335,284,284,334,287,284,285,283,288,281,325,287,280,335, \ + 334,335,336,285,286,288,335,331,331,333,334,335,335,336,334,379, \ + 335,336,334,287,336,280,329,283,282,334,286,334,335,335,336,281, \ + 285,286,334,286,286,334,334,287,334,335,336,336,330,335,332,329, \ + 334,287,334,334,332,335,332,331,334,332,332,335,336,332,334,334, \ + 334,336,336,336,331,328,330,334,333,334,334,334,334,335,336,336, \ + 333,334,329,334,334,332,331,335,333,333,335,336,336,329,332,333, \ + 334,335,336,335,334,332,376,334,335,336,380,335,333,334,379,331, \ + 335,332,383,376,336,336,379,334,383,335,336,384,376,376,379,378, \ + 334,335,378,378,334,380,384,331,376,376,376,377,380,377,381,377, \ + 376,376,380,336,379,380,384,379,377,384,377,378,376,376,381,378, \ + 377,384,379,378,384,334,379,384,381,378,381,377,378,379,380,381, \ + 378,383,380,381,376,383,384,372,376,377,378,379,377,381,379,378, \ + 381,378,383,384,378,376,377,381,376,383,383,379,380,381,382,376, \ + 384,376,376,336,381,503,380,376,376,377,378,377,380,376,377,379, \ + 384,376,378,500,380,384,383,502,380,381,382,379,502,496,496,381, \ + 382,499,497,500,501,496,382,498,498,496,381,496,499,497,379,500, \ + 497,498,498,500,498,502,496,495,502,496,497,498,499,500,498,502, \ + 503,496,493,498,495,496,496,499,497,504,488,496,498,503,498,496, \ + 502,495,496,496,501,496,496,497,498,503,500,501,497,497,498,499, \ + 496,497,502,499,500,494,497,503,501,502,496,497,498,499,568,496, \ + 496,496,496,576,498,499,502,496,502,570,496,497,504,499,568,502, \ + 496,497,570,500,500,575,504,500,576,570,569,502,573,568,569,502, \ + 572,568,569,570,504,576,575,503,502,503,568,569,568,501,570,573, \ + 502,570,576,573,568,575,576,500,568,502,570,575,569,569,569,568, \ + 572,570,568,572,568,504,569,573,571,570,568,572,572,573,570,568, \ + 568,568,568,563,570,571,568,563,568,569,568,570,568,569,568,575, \ + 576,569,568,568,570,570,570,571,568,569,562,575,570,571,569,569, \ + 568,569,570,569,570,573,568,564,571,568,568,568,569,570,572,572, \ + 568,574,575,576,567,569,569,570,570,572,573,570,575,576,570,568, \ + 568,573,568,573,576,575,568,568,569,568,572,569,568,568,568,569, \ + 564,569,576,567,568,562,568,571,572,570,576,568,569,570,568,572, \ + 563,574,568,570,568,568,570,570,571,569,568,569,570,570,572,563, \ + 842,570,568,572,569,574,569,575,576,501,568,503,568,568,568,819, \ + 568,568,574,563,568,563,562,564,564,569,574,568,568,568,570,572, \ + 569,568,568,575,576,894,568,839,525,576,568,568,569,573,568,568, \ + 560,791,793,719,945,563,564,719,562,568,568,570,570,562,568,569, \ + 720,564,573,561,560,575,568,563,568,565,568,568,856,570,570,719, \ + 816,573,566,575,568,569,568,855,572,573,568,860,857,568,856,867 \ + +#define MPFR_MUL_THRESHOLD 17 +#define MPFR_EXP_2_THRESHOLD 691 +#define MPFR_EXP_THRESHOLD 23744 + +/**************************** + * Threshold for AMD 64 * + ****************************/ +#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,20,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \ + 0,0,0,0,0,0,0,0,32,40,40,40,39,39,40,40, \ + 40,40,40,0,40,0,0,0,0,0,0,0,48,48,0,0, \ + 0,56,0,64,56,52,64,64,64,64,64,64,64,64,63,64, \ + 64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64, \ + 80,80,72,80,76,80,79,76,79,80,80,80,76,80,78,80, \ + 79,79,80,80,80,79,80,93,90,80,80,80,80,90,93,80, \ + 93,90,80,90,90,90,111,92,111,96,108,111,99,105,114,111, \ + 111,111,114,114,117,114,114,117,117,117,108,117,111,111,114,117, \ + 117,117,117,116,114,117,116,117,114,114,114,116,117,117,117,116, \ + 117,117,116,116,117,117,141,123,138,138,140,140,141,141,141,140, \ + 117,138,140,140,117,141,138,141,141,140,141,153,123,144,141,147, \ + 153,138,150,153,165,165,189,188,165,180,188,189,177,174,180,180, \ + 176,186,189,189,180,180,180,189,183,180,187,188,189,186,186,186, \ + 185,186,189,189,186,186,188,189,186,177,188,177,188,186,177,185, \ + 186,186,188,187,188,185,188,189,189,189,189,186,189,188,189,188, \ + 188,186,187,189,186,180,187,186,188,184,188,186,234,189,189,189, \ + 237,188,234,231,231,237,213,237,189,234,228,236,237,222,225,237, \ + 225,225,224,231,225,234,225,236,225,225,234,233,234,234,235,234, \ + 237,237,225,231,228,228,235,228,227,222,230,230,233,227,237,228, \ + 237,236,231,232,234,234,235,236,237,231,237,236,237,234,236,274, \ + 275,276,274,276,276,275,237,237,237,274,274,274,275,274,265,276, \ + 267,272,273,276,276,276,267,274,267,270,267,274,274,274,276,274, \ + 273,276,275,275,276,267,267,276,276,274,275,276,270,274,270,276, \ + 293,273,274,274,276,276,310,292,274,275,276,283,328,276,327,329, \ + 311,294,330,312,339,324,311,312,327,319,321,348,348,346,329,347, \ + 327,348,328,328,348,330,329,328,337,348,337,346,339,339,337,337, \ + 339,338,339,330,345,342,339,337,347,339,347,348,337,337,338,347, \ + 342,342,339,345,329,330,348,337,329,346,328,348,328,328,329,337, \ + 338,339,329,328,337,330,337,337,337,328,337,338,339,345,339,342, \ + 344,345,338,337,348,346,339,348,337,344,346,342,347,347,343,346, \ + 345,346,347,348,339,344,345,345,348,366,345,346,364,360,364,362, \ + 346,347,365,364,365,366,344,345,346,347,366,345,366,419,365,419, \ + 347,346,346,419,348,346,347,346,347,348,411,365,348,418,346,409, \ + 418,409,411,410,409,410,405,409,415,409,405,419,417,411,409,414, \ + 409,409,418,414,417,416,417,418,348,420,409,417,414,420,414,409, \ + 416,419,418,419,420,415,416,417,411,411,366,456,456,416,416,447, \ + 418,456,420,417,436,418,417,420,454,420,453,417,438,419,455,456, \ + 416,436,436,438,455,455,441,417,490,456,492,563,417,491,456,420, \ + 561,492,561,490,456,564,564,492,564,561,563,489,492,492,561,492, \ + 491,558,491,561,561,535,561,564,492,536,535,561,535,553,528,545, \ + 535,562,528,564,560,527,526,527,564,559,562,555,562,533,526,564, \ + 537,563,564,528,537,557,546,544,561,537,537,553,556,561,562,564, \ + 562,555,555,564,562,560,562,559,560,553,553,564,561,564,546,552, \ + 553,554,555,564,557,560,561,553,554,562,561,561,555,559,560,546, \ + 560,560,561,549,558,564,562,561,554,563,561,564,553,560,559,553, \ + 563,562,559,558,561,563,536,528,533,535,563,564,537,562,553,564, \ + 537,564,527,528,553,558,560,561,561,558,535,564,561,545,563,563, \ + 564,558,560,544,562,563,553,555,561,557,563,559,553,554,560,563, \ + 564,554,555,560,561,562,564,564,558,544,563,564,549,555,561,549, \ + 553,554,558,549,552,555,552,553,556,560,563,562,564,563,560,561, \ + 562,557,562,563,561,561,560,559,554,571,557,563,558,559,558,559, \ + 560,561,562,707,557,560,561,562,561,562,563,561,705,706,702,696, \ + 705,562,563,700,703,707,705,681,690,684,707,699,702,704,635,636, \ + 681,708,562,693,681,680,696,684,680,705,704,703,689,679,697,668, \ + 706,707,708,704,705,636,666,704,681,635,669,636,666,666,671,708, \ + 669,670,650,707,689,670,671,672,706,678,675,697,679,706,707,708, \ + 670,671,694,671,705,671,707,671,689,700,707,707,688,705,697,707, \ + 679,702,708,704,705,707,707,708,677,688,706,705,699,697,698,706, \ + 707,706,699,688,689,707,706,707,693,697,699,703,701,701,681,705, \ + 706,707,690,707,690,706,707,708,704,707,706,707,706,669,679,680, \ + 681,672,685,707,687,676,703,679,679,680,681,700,684,707,685,707 \ + +#define MPFR_MUL_THRESHOLD 9 +#define MPFR_EXP_2_THRESHOLD 470 +#define MPFR_EXP_THRESHOLD 43009 + +/***************************** + * Threshold for Athlon * + *****************************/ +#elif defined (__athlon) + +#define MPFR_MULHIGH_TAB \ + -1,0,-1,0,-1,0,-1,-1,0,-1,-1,0,0,0,0,10, \ + 0,12,13,14,15,16,0,0,0,0,0,19,0,0,0,0, \ + 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,32, \ + 30,32,30,34,32,32,36,34,36,36,38,38,42,38,38,42, \ + 40,38,42,46,42,42,42,44,44,44,44,44,48,50,46,46, \ + 60,50,50,48,50,56,56,56,56,56,56,56,60,60,64,60, \ + 64,64,60,60,60,72,64,64,68,72,76,72,76,72,72,76, \ + 75,76,76,72,76,72,75,72,72,72,84,76,84,75,72,76, \ + 84,80,76,84,84,76,76,76,76,88,84,88,80,84,83,96, \ + 84,96,92,84,88,91,92,88,92,90,96,96,92,91,92,96, \ + 96,120,95,100,112,120,100,119,112,120,120,112,119,112,119,119, \ + 120,118,119,119,119,118,119,120,128,127,120,128,128,120,120,127, \ + 120,128,128,128,128,120,128,127,120,128,128,127,128,127,144,136, \ + 128,144,152,152,152,136,144,144,144,136,151,152,144,152,128,151, \ + 144,152,144,144,151,144,150,150,136,151,152,143,143,143,142,168, \ + 144,144,168,151,168,144,152,151,152,152,160,152,151,152,160,151, \ + 152,151,152,167,152,152,166,152,167,160,168,204,160,160,168,168, \ + 204,176,202,167,168,166,167,168,204,184,202,204,204,204,204,192, \ + 184,192,204,202,202,216,204,227,202,204,216,203,203,204,203,227, \ + 202,204,202,202,202,203,202,215,204,202,203,202,202,215,228,214, \ + 226,214,228,214,228,215,228,216,226,214,228,225,226,228,226,226, \ + 226,215,216,216,226,225,226,227,216,227,240,216,252,252,226,227, \ + 228,239,227,250,227,226,227,227,252,238,228,239,252,227,228,228, \ + 252,226,246,228,227,227,252,247,250,263,262,250,252,250,250,252, \ + 250,288,288,250,250,250,251,264,264,271,287,276,250,288,252,286, \ + 251,287,288,251,276,274,288,262,263,263,282,252,288,252,276,284, \ + 287,274,264,274,288,275,275,274,274,288,276,264,273,286,274,276, \ + 300,287,288,286,286,276,288,285,275,300,275,273,275,299,300,299, \ + 279,336,336,286,287,284,360,359,336,335,288,360,333,359,334,335, \ + 335,287,359,335,336,336,359,333,334,359,360,288,360,332,335,336, \ + 335,336,336,333,336,335,336,359,334,334,335,360,336,334,356,357, \ + 335,336,358,359,359,336,335,336,334,355,384,356,354,384,334,357, \ + 336,359,384,359,360,356,384,382,336,383,384,384,354,355,383,384, \ + 382,359,384,382,382,383,383,359,381,382,383,356,384,382,381,384, \ + 357,384,358,357,358,358,380,383,382,382,383,360,360,381,382,360, \ + 377,360,378,360,360,381,382,383,381,380,383,383,360,382,383,380, \ + 383,383,384,381,379,360,381,381,382,431,380,380,378,380,384,381, \ + 382,382,384,407,384,382,379,384,430,431,383,384,408,384,456,431, \ + 431,455,431,428,384,454,455,403,432,383,407,430,430,456,408,427, \ + 455,455,456,455,432,431,431,429,455,432,432,424,430,427,427,429, \ + 452,454,426,455,456,431,430,454,452,454,431,456,431,428,455,430, \ + 454,430,432,455,454,442,443,432,443,431,451,452,456,430,451,456, \ + 444,455,449,456,432,454,449,454,502,432,448,504,450,503,503,453, \ + 454,502,446,452,453,454,455,499,504,453,456,504,454,453,503,455, \ + 456,456,500,478,502,454,456,499,478,454,480,499,501,496,502,455, \ + 499,502,503,456,478,500,501,500,479,503,504,451,452,479,454,455, \ + 502,503,504,504,454,499,503,501,454,503,456,503,504,501,455,502, \ + 503,503,502,504,610,503,504,574,480,551,528,504,609,576,480,503, \ + 496,502,503,552,551,552,551,503,504,503,610,608,609,610,611,608, \ + 608,551,648,611,612,550,576,572,608,611,610,606,608,611,610,574, \ + 575,576,606,607,606,606,608,606,606,575,576,604,604,604,608,609, \ + 606,606,606,608,604,604,611,604,604,576,610,606,610,606,604,610, \ + 606,612,604,608,610,609,604,608,606,647,612,610,604,606,648,610, \ + 610,606,646,608,604,647,606,647,606,609,610,647,648,609,641,611, \ + 643,611,643,648,643,640,646,611,644,644,645,611,642,646,611,612, \ + 640,647,610,611,610,611,606,647,648,647,648,644,682,642,682,683, \ + 610,611,680,678,642,681,682,647,682,612,682,648,611,665,680,683, \ + 609,646,666,676,680,646,679,647,646,646,648,679,684,611,612,643, \ + 684,645,646,647,683,647,608,645,682,647,682,646,610,648,682,610, \ + 684,612,612,683,684,647,647,646,680,646,646,745,648,646,644,647, \ + 648,647,678,646,647,683,642,682,682,684,646,645,642,647,646,677, \ + 646,647,683,678,680,646,646,643,681,647,683,645,666,755,756,645, \ + 643,647,646,647,647,648,674,755,756,674,647,643,680,682,684,680, \ + 680,682,682,675,682,677,666,683,680,682,682,684,680,681,674,674 \ + +#define MPFR_MUL_THRESHOLD 19 +#define MPFR_EXP_2_THRESHOLD 411 +#define MPFR_EXP_THRESHOLD 45200 -#define MPFR_EXP_2_THRESHOLD 100 +/***************************** + * Threshold for PentiumPro * + *****************************/ +#elif defined (__i386) -/* 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 +#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,0,0,0,0,0,0,0,0, \ + 0,0,0,0,0,0,0,0,0,0,0,64,64,56,64,64, \ + 64,64,64,64,64,64,63,63,63,63,63,63,63,64,64,64, \ + 64,63,64,64,63,63,63,80,80,72,64,80,72,80,80,79, \ + 79,79,79,79,80,80,80,80,96,96,96,95,96,96,94,96, \ + 95,95,95,96,95,95,96,96,95,95,95,95,96,96,104,96, \ + 96,95,104,103,96,104,96,96,96,128,104,104,128,127,128,128, \ + 128,128,128,128,126,128,126,127,127,127,128,127,127,127,127,127, \ + 126,126,126,126,126,126,126,126,127,127,128,128,126,127,126,128, \ + 128,128,128,128,126,127,126,128,128,125,124,127,126,126,126,126, \ + 128,128,128,127,127,128,168,160,166,128,159,159,160,192,192,168, \ + 167,167,190,192,190,168,190,191,180,188,167,191,191,190,190,190, \ + 190,192,191,192,190,191,190,191,190,192,188,191,192,190,190,192, \ + 192,189,190,192,191,192,190,192,191,186,188,189,190,188,191,190, \ + 192,192,189,189,191,192,190,189,190,190,187,188,188,190,190,192, \ + 190,191,191,191,216,192,216,190,192,191,189,216,190,215,191,190, \ + 215,189,190,190,192,216,190,190,192,192,190,239,192,192,228,240, \ + 239,237,237,238,228,215,236,237,232,230,237,215,192,236,216,234, \ + 237,232,236,239,230,256,245,288,285,240,239,248,214,236,257,256, \ + 284,288,287,256,239,262,284,288,341,243,216,285,285,280,287,269, \ + 286,285,286,286,286,286,286,284,281,281,284,285,283,284,283,273, \ + 286,285,276,283,287,286,287,286,282,286,288,288,287,283,288,281, \ + 282,280,286,283,284,280,285,280,288,284,283,283,283,283,287,288, \ + 281,286,284,284,286,287,286,288,281,288,286,281,286,287,286,287, \ + 312,284,288,286,311,288,285,286,312,280,283,308,284,310,287,285, \ + 283,286,311,288,287,288,287,311,286,286,287,384,335,334,383,383, \ + 333,380,335,312,382,382,384,383,312,311,381,377,382,384,379,379, \ + 380,383,384,384,381,381,383,377,381,384,383,383,383,382,384,335, \ + 336,384,377,377,379,384,377,382,379,383,379,378,377,377,376,380, \ + 377,382,383,380,379,380,381,384,383,377,375,380,383,381,380,378, \ + 379,376,380,378,383,374,376,376,375,384,382,376,384,383,377,377, \ + 384,380,384,382,383,382,382,377,379,378,384,379,381,383,384,378, \ + 383,377,376,381,383,383,379,379,381,377,381,384,377,380,380,384, \ + 383,383,384,383,381,377,374,380,379,381,377,378,374,380,376,377, \ + 376,383,383,379,380,383,384,383,430,383,381,382,374,382,379,501, \ + 379,383,384,382,503,382,497,379,492,380,501,381,383,382,501,502, \ + 495,502,499,380,384,498,381,384,498,384,499,499,502,480,497,495, \ + 480,478,498,497,502,496,500,503,479,502,501,503,475,492,498,496, \ + 479,504,500,492,498,496,500,500,499,494,494,504,492,494,495,496, \ + 497,494,504,503,492,494,500,497,575,502,504,496,497,496,575,572, \ + 570,502,503,574,568,568,569,502,571,572,568,504,570,569,573,576, \ + 574,570,538,566,538,565,566,572,569,568,572,571,568,571,575,569, \ + 564,571,568,575,568,576,561,567,560,576,562,573,568,574,572,575, \ + 575,564,568,574,574,575,572,568,568,570,572,574,568,576,575,564, \ + 572,573,570,564,574,576,574,574,567,566,570,575,571,576,570,573, \ + 573,569,567,568,572,574,566,572,573,574,568,570,570,567,566,561, \ + 557,571,564,560,557,562,574,563,576,571,557,569,572,575,571,564, \ + 572,558,566,562,559,574,563,574,571,569,572,568,574,570,571,566, \ + 571,568,566,566,565,572,570,568,572,572,565,575,569,566,567,575, \ + 571,573,573,572,563,569,576,567,568,568,569,566,570,568,573,569, \ + 570,573,570,574,574,575,574,568,575,568,564,568,567,571,576,576, \ + 568,569,575,569,569,573,574,575,573,574,565,571,567,568,568,575, \ + 571,569,573,575,575,570,570,571,565,569,571,571,643,648,571,575, \ + 576,570,574,576,574,645,572,642,648,644,646,576,575,648,634,719, \ + 573,645,644,643,570,641,638,641,574,644,644,645,644,638,637,574, \ + 574,575,576,572,642,719,645,648,713,645,682,709,713,718,720,712, \ + 645,718,719,716,644,698,682,678,707,647,681,682,716,684,681,682, \ + 683,716,715,719,708,706,719,706,709,708,712,708,709,712,715,712, \ + 720,717,717,718,717,704,705,706,707,718,700,710,708,708,713,683, \ + 719,717,717,718,719,720,710,709,713,705,711,684,717,718,710,717 \ + +#define MPFR_MUL_THRESHOLD 11 +#define MPFR_EXP_2_THRESHOLD 528 +#define MPFR_EXP_THRESHOLD 47120 + +/***************************** + * Threshold for IA64 * + *****************************/ +#elif defined (__ia64) + +#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,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,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,128,0, \ + 128,124,124,124,124,124,120,124,120,124,120,124,120,124,124,124, \ + 124,124,124,124,144,124,144,140,140,140,140,136,136,136,136,136, \ + 136,136,136,136,136,136,136,136,136,136,136,136,140,139,140,152, \ + 152,152,160,156,160,156,160,164,156,156,160,156,144,160,147,160, \ + 160,159,160,160,160,168,168,168,160,164,176,168,172,168,156,168, \ + 168,164,168,176,172,172,160,175,168,172,176,172,176,175,176,184, \ + 176,175,176,180,176,180,184,184,168,180,184,184,184,171,172,207, \ + 184,184,184,208,200,207,176,207,200,200,208,206,208,200,208,206, \ + 200,200,206,207,206,207,208,207,207,206,208,207,208,208,208,208, \ + 208,207,224,207,208,240,215,215,240,215,240,239,216,215,216,240, \ + 224,223,224,220,222,220,224,223,224,223,224,231,224,223,232,228, \ + 256,255,231,231,256,231,232,232,232,255,256,255,238,264,238,238, \ + 256,255,256,248,256,264,240,239,240,240,248,271,248,255,272,248, \ + 264,255,256,255,256,252,256,256,272,255,256,255,256,263,264,264, \ + 264,263,264,264,263,264,264,271,256,271,271,271,272,272,285,270, \ + 285,271,280,271,280,280,280,272,280,287,269,279,284,271,280,271, \ + 271,271,285,286,271,272,272,280,272,279,272,278,280,271,286,284, \ + 271,280,272,277,284,272,336,281,312,279,280,278,280,280,280,280, \ + 284,280,348,280,272,334,272,284,285,287,286,279,336,323,331,334, \ + 332,331,332,335,286,346,336,332,334,336,334,336,334,341,358,347, \ + 336,336,334,335,334,346,344,347,347,360,371,348,355,382,334,356, \ + 336,355,347,384,336,358,358,345,357,347,346,347,348,359,371,359, \ + 358,382,346,383,347,357,360,358,357,357,360,370,406,394,382,347, \ + 406,347,407,408,407,406,365,419,356,395,356,359,358,406,360,406, \ + 359,359,408,419,395,432,360,420,408,425,408,395,430,395,371,432, \ + 370,401,432,396,384,419,384,406,359,378,379,378,382,380,392,384, \ + 377,384,383,395,407,383,384,455,455,371,371,404,381,405,395,431, \ + 432,432,408,400,384,383,383,455,455,377,455,438,432,419,420,444, \ + 398,424,392,469,432,427,431,430,404,396,406,384,454,451,464,404, \ + 428,432,432,429,405,432,444,407,452,473,430,453,443,452,456,430, \ + 454,431,407,430,407,416,455,456,468,456,468,443,431,443,442,460, \ + 419,448,467,449,448,478,428,448,479,455,467,431,450,478,431,491, \ + 480,442,440,458,478,442,442,432,430,467,467,467,469,467,455,479, \ + 453,479,451,478,503,443,454,479,473,476,480,473,477,480,479,489, \ + 491,491,491,480,476,454,503,499,500,502,504,460,491,455,466,491, \ + 480,477,477,476,473,502,502,504,527,490,467,500,489,502,501,503, \ + 515,474,528,480,496,498,492,480,479,504,504,480,492,504,503,522, \ + 515,491,503,540,491,499,503,552,492,503,500,504,502,526,551,528, \ + 526,514,516,528,528,506,551,503,509,491,496,502,503,514,503,501, \ + 548,503,504,552,512,515,516,504,506,509,551,548,502,491,504,552, \ + 520,526,528,551,502,521,526,520,514,523,539,549,503,545,528,538, \ + 504,533,504,520,511,515,528,504,538,516,514,526,514,528,521,599, \ + 551,599,515,520,550,528,526,527,597,548,552,624,535,598,540,528, \ + 534,530,596,532,623,539,617,540,542,551,552,550,617,549,600,624, \ + 624,550,551,547,596,616,622,551,550,551,552,646,646,648,624,647, \ + 622,619,623,622,647,599,600,672,646,647,622,623,624,643,647,647, \ + 672,641,622,599,671,617,646,623,622,650,644,647,648,672,647,648, \ + 622,641,646,647,648,659,624,644,646,672,647,623,647,648,664,645, \ + 644,647,646,622,646,647,668,621,624,647,670,644,626,659,647,624, \ + 648,647,647,635,682,695,641,665,646,634,645,646,672,670,646,693, \ + 624,694,647,648,624,620,660,648,646,660,688,694,695,667,672,666 \ + +#define MPFR_MUL_THRESHOLD 10 +#define MPFR_EXP_2_THRESHOLD 534 +#define MPFR_EXP_THRESHOLD 20877 + +/* __mips64? __mips? */ #endif -/* mpfr_mul threshold: mpn_mul of mpfr_mulhigh (Mulder Short product) */ -#if defined(__amd64) -# define MPFR_MUL_THRESHOLD 11 -#elif defined(__athlon) +/******************************* + * Default values of Threshold * + *******************************/ +#ifndef MPFR_MULHIGH_TAB +# define MPFR_MULHIGH_TAB -1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0 +#endif +#ifndef MPFR_MUL_THRESHOLD # define MPFR_MUL_THRESHOLD 40 -#else -# define MPFR_MUL_THRESHOLD 18 +#endif +#ifndef MPFR_EXP_2_THRESHOLD +# define MPFR_EXP_2_THRESHOLD 100 +#endif +#ifndef MPFR_EXP_THRESHOLD +# define MPFR_EXP_THRESHOLD 25000 #endif |