Better defaults threshold.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@3383 280ebfd0-de03-0410-8827-d642c229c3f4

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