Reorganized mparam_h.in in separate files.

Added mpfr_buildopt_tune_case function.



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

2 files changed, 283 insertions, 0 deletions

diff --git a/src/x86_64/core2/mparam.h b/src/x86_64/core2/mparam.h
new file mode 100644
index 000000000..4c7d57a85
--- /dev/null
+++ b/src/x86_64/core2/mparam.h
@@ -0,0 +1,144 @@
+/* Generated by MPFR's tuneup.c, 2010-09-24, gcc 4.4.4 */
+/* tarte.loria.fr with gmp-5.0.1 */
+
+#define MPFR_TUNE_CASE "64-bit Core2"
+#define MPFR_MULHIGH_TAB  \
+ -1,0,-1,-1,-1,0,0,0,0,0,0,0,0,0,8,10, \
+ 10,10,10,12,11,12,12,13,14,15,16,17,18,18,19,18, \
+ 23,24,24,24,24,24,28,26,28,28,30,24,28,24,24,26, \
+ 32,30,32,28,28,30,32,30,30,32,32,32,34,34,34,36, \
+ 47,47,46,48,47,47,48,46,47,47,48,48,47,47,52,52, \
+ 47,47,48,48,47,51,52,52,53,55,56,56,59,53,56,56, \
+ 55,61,64,64,63,63,60,68,69,69,64,64,67,69,80,72, \
+ 69,75,80,80,81,81,78,78,81,81,80,80,81,87,92,90, \
+ 80,92,87,81,91,94,92,92,90,90,88,91,92,92,87,93, \
+ 88,91,92,89,90,93,94,91,92,104,87,99,94,103,92,104, \
+ 90,99,103,103,104,104,93,93,100,103,116,101,102,99,100,139, \
+ 110,140,141,141,139,133,140,140,141,141,139,139,140,140,138,141, \
+ 141,141,138,138,139,139,140,136,141,141,134,138,135,135,136,140, \
+ 141,141,138,138,139,135,140,140,141,141,138,138,139,139,140,140, \
+ 141,153,154,158,159,151,140,156,165,165,186,186,187,159,164,188, \
+ 165,165,186,186,187,163,188,164,165,165,186,162,187,187,180,188, \
+ 184,184,180,185,186,186,187,187,188,188,184,184,185,165,201,201, \
+ 187,187,188,188,204,204,220,185,186,201,187,202,188,188,204,204, \
+ 220,185,201,201,187,187,188,188,204,214,220,220,216,211,212,187, \
+ 188,188,204,204,210,220,216,201,217,252,188,233,204,219,220,220, \
+ 203,251,240,240,235,211,212,212,219,243,280,220,233,281,282,282, \
+ 277,247,236,236,279,279,220,280,269,281,276,276,235,235,236,272, \
+ 273,279,274,280,281,275,282,270,277,277,278,278,279,279,280,280, \
+ 281,281,276,276,277,247,272,272,279,279,274,274,275,275,276,276, \
+ 270,270,278,278,279,300,280,280,330,281,282,275,304,276,277,305, \
+ 306,306,279,279,329,280,281,281,282,282,311,318,305,298,327,306, \
+ 328,328,329,329,330,330,282,282,304,304,305,305,306,306,328,328, \
+ 322,329,330,330,317,352,318,325,305,326,327,327,328,328,329,329, \
+ 305,329,330,330,323,323,324,348,325,317,318,318,327,327,328,328, \
+ 329,329,330,330,363,371,324,372,349,405,406,358,375,359,376,376, \
+ 377,377,378,378,371,371,372,364,349,349,366,406,407,407,408,352, \
+ 353,377,378,378,363,371,372,404,405,405,406,406,407,439,440,440, \
+ 437,437,375,375,439,439,440,440,378,378,406,406,407,407,408,408, \
+ 436,400,428,437,438,438,439,439,440,440,423,423,424,406,407,407, \
+ 408,408,436,436,419,437,429,438,439,439,440,440,432,423,406,406, \
+ 407,470,408,408,436,436,437,437,438,438,439,430,431,431,504,504, \
+ 439,429,440,440,431,431,472,432,463,503,504,434,435,465,436,436, \
+ 437,467,468,438,439,439,440,440,471,471,472,462,463,503,494,494, \
+ 455,485,466,496,437,497,488,438,439,439,440,440,471,471,472,502, \
+ 503,503,504,504,435,495,496,496,437,487,438,438,439,499,500,470, \
+ 486,486,487,498,499,488,467,500,501,501,502,502,503,503,504,471, \
+ 472,472,495,495,540,540,497,486,487,542,543,543,544,544,501,501, \
+ 480,502,503,503,493,493,538,472,495,495,496,540,541,497,498,487, \
+ 488,488,500,500,501,501,502,502,503,503,504,504,472,615,495,495, \
+ 497,497,498,498,499,583,584,500,501,501,502,502,503,503,504,504, \
+ 541,541,542,542,543,543,544,544,629,533,630,630,631,631,632,584, \
+ 621,621,622,538,611,623,624,504,589,589,590,542,543,615,616,544, \
+ 629,629,630,630,631,631,632,632,621,609,610,586,587,587,588,636, \
+ 632,632,633,633,582,634,635,635,636,584,637,611,612,638,639,613, \
+ 614,640,615,589,590,616,630,591,592,592,632,632,607,633,634,621, \
+ 609,609,610,636,611,611,612,625,626,639,627,627,615,615,629,629, \
+ 630,630,631,631,632,632,633,685,686,634,635,622,636,688,637,624, \
+ 627,711,628,712,727,727,728,728,631,631,632,632,661,661,662,704, \
+ 635,635,706,706,637,637,638,722,709,723,710,710,711,711,712,712, \
+ 727,727,728,686,631,631,632,632,731,731,732,732,733,663,664,734, \
+ 679,735,736,708,639,639,640,710,711,711,712,712,685,685,686,728, \
+ 704,704,705,735,736,706,707,707,708,708,709,709,710,710,711,711, \
+ 712,712,728,728,729,729,730,730,731,731,717,732,733,718,734,734, \
+ 720,705,706,736,677,707,723,723,679,709,725,680,711,726,712,712, \
+ 728,728,684,729,685,685,686,686,687,732,688,733,704,704,705,735, \
+ 705,705,706,706,707,707,724,708,709,709,710,710,711,711,712,712, \
+ 713,729,730,714,715,731,732,716,781,733,734,734,735,735,736,720, \
+ 705,705,706,818,819,707,820,708,709,725,726,822,711,727,824,824, \
+ 777,825,730,730,731,779,780,828,733,733,734,734,735,735,736,736 \
+
+#define MPFR_SQRHIGH_TAB  \
+ -1,0,0,0,0,0,0,4,5,5,7,6,7,7,8,8, \
+ 9,9,10,10,11,11,12,13,14,14,16,16,17,16,17,16, \
+ 17,17,21,18,19,19,20,20,21,21,22,22,23,23,24,24, \
+ 25,25,26,26,28,32,28,28,32,32,32,32,32,32,34,34, \
+ 33,33,34,34,35,35,36,36,37,39,38,38,39,39,40,40, \
+ 41,41,42,42,43,43,46,52,45,51,52,46,47,47,56,56, \
+ 51,51,52,56,51,51,52,64,55,59,56,64,63,55,56,56, \
+ 57,59,58,58,59,59,64,64,63,67,68,68,63,75,64,64, \
+ 68,68,72,72,67,67,68,68,69,72,70,70,71,71,72,72, \
+ 76,76,80,80,78,75,76,76,77,80,84,84,79,79,80,80, \
+ 84,84,88,88,83,83,84,84,85,88,92,92,99,99,88,88, \
+ 98,95,96,96,106,91,92,92,102,99,103,97,98,110,108,105, \
+ 105,105,114,110,99,99,104,116,117,117,122,110,115,111,116,116, \
+ 117,105,122,114,107,115,116,116,117,113,114,122,115,123,116,116, \
+ 117,113,114,114,123,115,116,116,117,117,118,122,119,123,164,156, \
+ 141,121,122,122,123,123,140,148,125,129,126,126,135,155,128,140, \
+ 129,129,135,155,141,141,147,147,148,148,164,154,140,135,141,156, \
+ 137,137,138,138,139,154,140,140,141,141,162,142,143,163,164,164, \
+ 145,155,156,156,147,147,148,163,154,154,155,155,196,156,162,157, \
+ 163,188,204,154,155,155,196,156,172,172,188,178,184,164,175,180, \
+ 161,179,180,180,163,163,164,164,171,219,184,178,179,203,204,192, \
+ 187,217,218,194,195,195,202,220,203,203,204,204,199,217,236,212, \
+ 195,219,220,220,203,251,252,252,217,217,218,248,219,219,220,220, \
+ 251,245,246,246,247,247,248,236,249,219,244,220,251,251,204,240, \
+ 249,249,243,250,251,244,245,245,260,267,268,247,262,220,249,256, \
+ 250,264,251,244,252,252,267,267,268,268,220,220,228,270,236,250, \
+ 251,251,259,266,267,267,268,268,220,220,242,235,236,236,251,244, \
+ 252,252,246,246,247,247,248,248,242,249,264,236,251,244,245,252, \
+ 265,265,266,266,251,267,252,252,245,245,326,262,311,247,248,248, \
+ 249,249,266,266,251,259,292,268,261,261,262,326,311,255,264,264, \
+ 265,249,266,266,267,243,292,268,293,293,310,294,311,311,248,280, \
+ 281,281,266,266,267,251,308,268,309,261,326,310,311,263,296,256, \
+ 311,266,294,267,259,259,260,260,261,261,262,325,263,326,264,327, \
+ 265,265,266,266,267,267,268,268,296,359,324,324,325,325,326,326, \
+ 327,282,292,292,293,311,312,294,322,376,278,323,360,324,325,343, \
+ 344,326,309,408,310,328,311,374,294,312,376,376,359,359,342,342, \
+ 309,339,340,390,391,311,312,312,323,323,324,324,325,325,326,326, \
+ 327,407,308,328,389,389,360,360,391,311,342,312,343,343,344,374, \
+ 375,325,406,406,327,327,328,328,439,439,440,360,391,391,392,392, \
+ 423,373,434,434,435,375,376,436,407,437,408,438,359,439,440,440, \
+ 431,343,344,344,356,499,390,390,391,391,436,392,437,437,438,438, \
+ 439,406,407,407,408,408,497,431,388,487,433,488,390,500,501,501, \
+ 502,502,503,437,504,504,439,406,440,407,408,408,420,497,487,432, \
+ 488,433,434,500,501,501,502,436,437,437,504,438,439,439,440,440, \
+ 437,437,438,438,439,439,440,440,501,501,502,502,503,503,504,504, \
+ 433,433,434,494,471,495,472,520,437,485,486,498,499,487,488,488, \
+ 501,501,502,502,503,503,504,504,481,529,434,518,495,495,472,496, \
+ 497,485,486,438,487,499,440,440,501,501,502,502,503,503,504,492, \
+ 502,502,503,503,504,439,440,440,493,519,520,533,534,495,535,496, \
+ 536,497,498,472,499,434,500,500,436,501,502,502,438,503,504,439, \
+ 440,531,532,532,494,520,534,534,535,535,497,536,472,472,499,486, \
+ 487,487,488,501,502,502,503,568,504,504,531,492,493,532,533,468, \
+ 487,487,488,488,503,503,504,504,519,519,520,520,535,535,536,494, \
+ 495,495,552,482,497,497,498,498,485,499,500,472,487,501,502,502, \
+ 503,503,504,504,533,533,534,436,535,535,536,522,523,495,496,524, \
+ 525,469,526,526,485,471,472,472,487,487,502,628,503,503,504,504, \
+ 584,584,600,600,496,616,527,632,528,498,529,499,500,500,501,531, \
+ 532,652,563,503,504,564,565,520,566,551,567,552,568,568,524,629, \
+ 630,600,631,631,632,662,558,558,499,664,620,500,531,501,502,502, \
+ 503,533,504,504,535,535,536,536,552,567,598,568,629,599,525,660, \
+ 529,561,546,530,531,531,532,532,629,565,630,630,631,663,536,536, \
+ 521,553,554,554,555,555,620,620,621,605,622,494,623,623,496,624, \
+ 561,593,626,562,563,563,564,564,565,597,582,566,663,615,632,632, \
+ 553,601,586,586,619,587,524,524,525,525,526,622,623,527,608,592 \
+
+#define MPFR_MUL_THRESHOLD 10 /* limbs */
+#define MPFR_SQR_THRESHOLD 13 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 1030 /* bits */
+#define MPFR_EXP_THRESHOLD 9603 /* bits */
+#define MPFR_SINCOS_THRESHOLD 25095 /* bits */
+#define MPFR_AI_THRESHOLD1 -12440 /* threshold for negative input of mpfr_ai */
+#define MPFR_AI_THRESHOLD2 1433
+#define MPFR_AI_THRESHOLD3 19860
diff --git a/src/x86_64/pentium4/mparam.h b/src/x86_64/pentium4/mparam.h
new file mode 100644
index 000000000..9a52d63f1
--- /dev/null
+++ b/src/x86_64/pentium4/mparam.h
@@ -0,0 +1,139 @@
+/* Generated by MPFR's tuneup.c, 2009-02-09, gcc 4.3 */
+/* crumble.loria.fr with gmp-4.2.4 */
+
+#define MPFR_TUNE_CASE "64-bit Pentium4"
+#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,18,19,19,24,26,0,0,24,26,28,27,26,28, \
+ 30,32,32,32,30,30,34,34,32,34,34,36,32,34,36,34, \
+ 35,0,0,36,35,0,36,48,0,0,48,48,51,0,48,52, \
+ 51,0,52,52,51,55,52,56,55,0,56,60,59,59,60,64, \
+ 63,63,64,64,67,67,68,72,63,71,72,60,67,67,60,72, \
+ 63,61,64,64,63,71,68,68,71,67,68,68,67,71,68,72, \
+ 68,68,72,72,76,76,68,68,72,72,70,103,104,71,72,96, \
+ 103,94,95,104,96,96,94,103,104,104,96,96,103,103,104,104, \
+ 120,120,103,103,104,104,120,111,103,112,104,104,120,120,109,103, \
+ 119,119,120,120,127,112,128,128,120,120,136,127,128,128,120,126, \
+ 121,129,126,134,135,135,136,120,113,113,114,118,127,127,136,120, \
+ 121,125,126,118,119,119,120,136,121,153,122,122,127,119,120,128, \
+ 165,153,162,134,163,159,136,136,153,153,134,158,135,135,136,136, \
+ 153,153,162,158,159,159,156,152,153,189,158,186,187,163,156,168, \
+ 189,159,165,165,176,176,172,172,183,173,164,174,165,165,176,176, \
+ 177,177,183,188,189,189,180,185,176,186,177,177,193,188,189,189, \
+ 200,200,201,201,177,207,188,198,199,189,200,200,186,201,207,207, \
+ 213,203,189,189,200,210,201,196,212,207,208,213,189,199,200,200, \
+ 203,209,216,204,199,223,206,200,213,225,208,208,203,203,216,204, \
+ 205,205,224,212,213,213,184,208,209,203,198,210,199,187,206,200, \
+ 201,189,208,208,203,185,216,198,187,199,200,212,213,213,202,208, \
+ 203,197,198,198,199,211,212,212,285,213,280,274,227,275,288,204, \
+ 284,284,278,285,307,216,273,308,309,309,275,219,213,311,305,284, \
+ 306,306,307,307,308,308,309,309,303,303,311,311,284,312,285,285, \
+ 307,286,287,308,309,309,303,303,304,332,305,305,306,299,328,300, \
+ 308,301,309,309,303,310,311,311,333,305,285,285,307,314,308,308, \
+ 321,305,354,322,331,355,332,308,309,333,334,334,303,303,304,312, \
+ 305,305,306,306,307,307,308,308,309,309,302,302,375,311,312,360, \
+ 353,305,330,354,307,355,380,308,357,309,358,358,359,311,312,312, \
+ 345,329,378,354,331,355,356,356,357,357,374,334,375,311,336,384, \
+ 356,329,330,357,331,358,404,332,369,333,334,334,335,353,354,354, \
+ 355,382,356,347,357,357,358,358,377,359,405,333,352,379,353,353, \
+ 354,354,355,355,356,356,357,357,358,376,359,377,369,360,379,370, \
+ 380,380,354,372,355,382,383,401,357,357,376,358,377,377,405,378, \
+ 379,379,380,380,381,381,402,402,353,403,404,404,405,405,376,376, \
+ 377,357,368,358,379,379,360,400,401,381,372,452,373,383,454,384, \
+ 405,405,456,356,357,357,358,378,379,379,490,370,381,381,492,402, \
+ 463,403,404,404,405,405,456,456,527,357,448,448,489,449,400,450, \
+ 453,453,454,454,455,455,456,456,468,490,491,491,492,404,405,482, \
+ 472,450,451,462,463,463,464,453,465,465,455,455,456,489,490,490, \
+ 491,491,492,492,405,526,483,527,484,484,452,452,486,453,454,454, \
+ 455,477,456,522,490,490,491,524,481,492,526,482,483,527,495,517, \
+ 521,533,522,474,499,523,524,524,489,489,490,526,527,527,528,528, \
+ 529,529,518,554,495,483,496,472,521,557,486,522,535,535,524,512, \
+ 525,561,526,526,491,527,528,528,529,517,518,554,531,519,544,520, \
+ 521,521,558,546,559,535,560,536,489,573,490,514,491,563,492,492, \
+ 528,489,555,555,491,491,492,596,597,545,546,546,560,599,600,600, \
+ 523,562,563,511,564,525,526,630,553,527,528,528,607,555,595,543, \
+ 544,531,532,571,559,559,599,560,535,535,562,562,563,537,564,564, \
+ 565,630,514,631,528,632,555,542,634,595,557,557,597,558,559,559, \
+ 571,599,530,530,559,545,546,616,561,547,548,534,633,563,564,564, \
+ 607,537,594,636,567,539,624,554,555,555,598,598,557,557,558,572, \
+ 559,559,560,574,603,561,562,632,563,563,578,592,593,607,580,608, \
+ 553,609,624,596,597,597,598,612,627,585,600,614,573,629,616,602, \
+ 599,599,585,585,616,616,587,632,603,603,634,634,635,605,636,621, \
+ 622,607,623,593,609,609,625,610,611,626,612,597,628,598,599,599, \
+ 600,630,631,616,602,632,633,603,634,634,635,635,636,636,607,637, \
+ 668,608,609,609,610,610,611,611,597,657,628,628,629,629,630,630, \
+ 609,625,562,626,627,563,564,628,629,629,630,630,631,599,664,632, \
+ 681,633,634,634,635,635,620,636,621,621,622,622,623,639,672,592, \
+ 609,641,594,594,595,627,596,564,629,597,598,598,631,599,600,600, \
+ 601,681,618,634,603,635,636,636,557,621,622,606,623,623,608,608 \
+
+#define MPFR_SQRHIGH_TAB  \
+ -1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,7,7,8,8, \
+ 9,9,10,10,11,11,12,12,13,13,14,14,15,15,16,16, \
+ 17,17,18,18,19,19,20,20,21,21,22,22,26,23,24,24, \
+ 25,25,26,26,27,27,28,28,29,29,30,30,31,31,32,32, \
+ 33,33,34,34,35,35,36,38,39,39,38,38,39,39,40,40, \
+ 41,41,42,42,43,43,44,46,45,45,46,46,47,47,48,48, \
+ 49,49,50,50,51,51,52,52,53,53,54,54,55,55,56,56, \
+ 57,57,58,58,59,59,60,60,61,61,62,68,63,63,64,64, \
+ 65,68,66,69,67,67,71,68,69,75,76,76,71,71,72,72, \
+ 73,82,74,80,78,75,76,76,77,83,78,81,82,79,80,80, \
+ 81,81,82,85,83,83,84,84,85,85,86,86,87,87,88,88, \
+ 89,92,90,93,94,91,92,92,93,93,94,94,95,95,96,96, \
+ 97,97,98,98,99,99,100,100,101,101,102,102,103,103,104,104, \
+ 105,105,106,106,107,107,108,112,109,109,110,118,111,111,112,112, \
+ 113,113,114,122,123,115,116,116,117,117,118,118,119,119,120,120, \
+ 121,121,122,122,123,123,124,124,125,125,126,126,127,127,128,128, \
+ 129,154,135,130,131,131,132,132,133,133,134,134,135,140,151,136, \
+ 142,137,138,143,144,154,155,150,151,156,152,142,153,158,144,144, \
+ 165,145,146,146,152,162,148,148,149,149,150,150,151,171,152,152, \
+ 153,153,154,154,155,155,156,156,157,157,158,158,159,159,160,160, \
+ 161,161,162,162,163,163,164,164,165,165,166,166,167,167,168,168, \
+ 169,169,170,170,171,183,172,172,173,173,174,174,175,187,194,182, \
+ 183,177,178,178,179,179,180,180,181,181,182,182,195,183,184,184, \
+ 185,197,186,186,187,187,188,188,189,189,190,190,191,191,192,204, \
+ 207,200,201,208,209,195,196,203,204,197,198,198,199,199,200,200, \
+ 201,215,216,230,217,210,211,218,212,205,206,206,207,207,208,208, \
+ 209,230,231,231,232,225,226,226,227,227,228,242,222,257,216,216, \
+ 217,245,246,218,219,240,241,234,235,235,236,264,230,258,224,224, \
+ 225,225,226,226,227,227,228,260,261,229,230,270,247,231,232,232, \
+ 233,233,234,234,235,235,236,236,237,237,238,238,239,239,240,240, \
+ 241,241,242,242,243,243,244,244,245,245,246,246,247,247,248,248, \
+ 249,249,250,250,251,251,252,252,253,253,254,254,255,255,256,256, \
+ 257,257,258,258,259,259,260,260,261,261,262,262,263,263,264,264, \
+ 265,265,266,266,267,267,268,268,269,269,279,270,271,271,272,272, \
+ 273,273,274,274,275,275,276,276,277,277,278,278,279,279,280,280, \
+ 281,281,282,282,283,283,284,284,294,285,286,286,287,287,288,288, \
+ 289,289,290,290,291,291,292,292,293,293,294,294,295,295,296,296, \
+ 297,297,298,298,299,299,300,300,301,301,302,302,303,303,304,304, \
+ 305,305,306,306,307,307,308,308,309,309,310,310,311,311,312,312, \
+ 313,313,314,314,315,315,316,316,317,317,318,318,319,319,320,320, \
+ 321,321,322,322,323,323,324,324,325,325,326,337,349,338,328,328, \
+ 329,329,330,330,331,331,332,332,333,333,334,334,335,335,336,336, \
+ 337,337,338,360,339,339,340,340,341,341,342,342,343,354,355,344, \
+ 345,345,368,368,369,369,359,348,393,382,383,361,362,362,363,363, \
+ 365,365,366,390,367,391,380,404,357,393,406,382,383,395,396,396, \
+ 385,409,386,410,387,399,388,412,413,401,390,366,367,403,404,416, \
+ 417,405,382,406,407,407,408,408,409,409,410,410,435,411,412,412, \
+ 413,413,414,378,439,427,428,392,393,441,442,430,479,455,444,432, \
+ 437,385,451,386,465,439,427,388,389,454,455,455,404,417,444,444, \
+ 393,393,394,446,460,460,461,487,410,475,398,476,477,464,400,465, \
+ 401,492,402,402,403,403,404,404,405,405,406,419,407,407,408,408, \
+ 409,409,410,410,411,411,412,412,413,413,414,414,415,415,416,416, \
+ 417,417,418,418,419,419,420,420,421,421,422,422,423,423,424,508, \
+ 425,425,426,426,427,427,428,428,429,429,430,430,431,431,432,432, \
+ 433,433,434,434,435,435,436,436,437,437,438,536,439,439,440,440, \
+ 441,441,442,442,443,443,444,444,445,445,446,446,447,447,448,476, \
+ 449,449,450,450,451,451,482,452,453,453,454,454,455,455,456,456, \
+ 457,457,458,458,459,459,460,460,461,461,462,462,463,463,464,464, \
+ 465,465,466,466,467,467,468,468,469,469,470,470,471,471,472,472, \
+ 473,473,474,474,475,475,476,476,477,477,478,478,479,479,480,480, \
+ 481,481,482,482,483,483,484,484,485,485,486,486,487,487,488,488, \
+ 489,489,490,490,491,491,492,492,493,493,494,494,495,495,496,496, \
+ 497,497,498,498,499,499,500,500,501,501,502,502,503,503,504,504, \
+ 505,505,506,506,507,507,508,508,509,509,510,510,511,511,512,512 \
+
+#define MPFR_MUL_THRESHOLD 8 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 519 /* bits */
+#define MPFR_EXP_THRESHOLD 6533 /* bits */