Up-to-date thresholds.

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

2 files changed, 208 insertions, 141 deletions

diff --git a/src/x86_64/core2/mparam.h b/src/x86_64/core2/mparam.h
index 4c7d57a85..86c0a2211 100644
--- a/src/x86_64/core2/mparam.h
+++ b/src/x86_64/core2/mparam.h
@@ -1,144 +1,211 @@
-/* Generated by MPFR's tuneup.c, 2010-09-24, gcc 4.4.4 */
-/* tarte.loria.fr with gmp-5.0.1 */
+/* Generated by MPFR's tuneup.c, 2010-10-13, gcc 4.3.2 */
+/* gcc14.fsffrance.org (Intel(R) Xeon(R) CPU X5450 @ 3.00GHz) with gmp 5.0.1 */
 
-#define MPFR_TUNE_CASE "64-bit Core2"
+#define MPFR_TUNE_CASE "src/x86_64/core2/mparam.h"
 #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 \
-
+ -1,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0, \
+ 10,10,10,12,12,12,13,13,14,15,16,17,17,18,18,20, \
+ 24,24,24,24,24,26,26,28,28,28,28,28,30,32,32,32, \
+ 30,28,32,32,32,32,32,36,36,32,32,36,38,48,48,48, \
+ 40,47,48,48,48,48,48,48,48,48,52,52,48,56,56,56, \
+ 56,48,48,48,56,60,60,52,64,64,56,56,56,60,60,60, \
+ 60,64,69,64,64,69,69,69,69,69,69,69,64,69,69,69, \
+ 80,75,80,80,81,80,81,81,81,80,80,81,81,87,92,93, \
+ 93,93,93,93,93,90,93,92,92,93,92,93,96,93,92,93, \
+ 92,93,104,105,104,93,104,105,105,102,105,104,105,105,102,117, \
+ 104,104,105,111,117,111,110,105,117,117,117,141,105,105,140,140, \
+ 141,141,141,141,141,141,141,141,141,141,141,140,141,141,141,140, \
+ 141,141,141,141,140,141,141,141,141,141,141,141,141,141,140,140, \
+ 141,141,141,141,141,141,141,141,141,141,165,141,153,153,141,141, \
+ 153,165,156,188,165,188,188,188,188,188,188,188,188,188,188,188, \
+ 188,188,188,184,188,188,184,188,188,188,188,188,188,188,188,188, \
+ 188,188,188,188,188,188,188,188,188,188,188,188,188,188,188,188, \
+ 188,188,188,204,188,204,188,188,204,204,204,220,204,204,220,204, \
+ 220,204,220,220,220,220,220,220,219,220,219,220,220,220,220,220, \
+ 220,220,220,236,220,219,220,220,236,236,220,236,236,236,236,236, \
+ 236,220,236,220,236,281,282,281,282,282,282,282,282,282,282,282, \
+ 282,282,282,282,282,282,282,281,282,282,282,280,282,282,282,282, \
+ 282,282,282,282,282,282,282,282,282,282,282,282,282,282,282,282, \
+ 282,282,282,282,282,282,282,282,281,282,282,282,282,282,282,282, \
+ 282,282,282,282,282,306,282,306,306,306,306,282,306,282,329,330, \
+ 330,330,330,330,305,329,330,330,330,330,330,330,329,330,330,330, \
+ 330,330,330,330,330,330,330,330,330,330,330,330,329,330,330,329, \
+ 330,330,330,330,330,330,330,329,330,330,330,330,330,329,330,330, \
+ 330,330,378,330,330,354,330,354,378,354,354,378,378,378,378,378, \
+ 378,354,378,378,354,378,378,354,377,377,354,378,376,378,378,378, \
+ 378,408,378,408,408,416,378,378,408,378,407,407,378,408,378,407, \
+ 408,408,408,440,408,416,440,408,438,440,407,408,440,440,440,440, \
+ 440,440,440,440,440,440,440,439,440,440,440,440,440,440,440,439, \
+ 439,439,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \
+ 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \
+ 440,440,440,440,440,440,472,440,440,440,440,440,440,440,440,440, \
+ 439,440,440,440,472,440,439,440,440,472,472,472,472,472,472,472, \
+ 472,472,472,472,472,472,472,472,472,472,504,504,472,503,504,472, \
+ 504,472,472,472,471,504,471,504,504,503,504,504,504,504,504,504, \
+ 504,504,504,504,504,504,504,504,504,544,504,504,544,503,503,503, \
+ 503,504,503,504,503,504,504,504,504,504,504,504,504,504,504,504, \
+ 504,544,544,544,504,544,544,544,544,544,544,544,544,544,544,544, \
+ 544,544,544,544,544,544,544,544,544,544,544,544,543,544,544,544, \
+ 544,544,544,544,544,544,544,544,544,504,544,544,544,544,616,632, \
+ 544,544,632,544,544,544,544,592,544,632,592,592,632,640,544,544, \
+ 544,592,544,640,632,640,592,592,640,592,640,592,616,615,640,616, \
+ 616,632,616,616,616,632,640,632,632,631,632,631,632,632,631,640, \
+ 632,640,640,632,640,640,640,632,640,640,632,640,640,632,632,640, \
+ 640,640,640,640,640,640,640,640,640,640,640,640,640,640,640,640, \
+ 640,640,640,640,640,632,640,640,640,639,640,640,640,640,640,640, \
+ 640,640,640,639,640,640,640,640,640,640,640,640,640,631,640,639, \
+ 632,640,640,640,640,640,640,640,640,688,688,639,712,688,640,639, \
+ 687,640,640,712,640,712,712,711,640,712,712,640,712,712,736,639, \
+ 712,712,736,712,712,712,712,727,712,736,727,736,736,736,736,736, \
+ 736,736,735,736,736,736,736,736,736,736,736,736,735,736,736,736, \
+ 736,736,736,736,736,736,736,736,712,736,712,712,736,712,736,712, \
+ 736,736,736,735,736,712,736,736,728,712,736,736,712,735,735,735, \
+ 735,736,730,736,736,735,736,736,735,736,736,735,736,736,736,736, \
+ 736,736,736,736,735,736,736,735,736,734,736,736,736,736,736,734, \
+ 736,736,736,736,736,735,736,736,736,736,736,736,736,736,736,736, \
+ 736,736,735,736,736,736,736,735,733,736,728,712,736,735,784,736, \
+ 735,736,728,735,736,736,735,736,736,728,736,736,728,736,736,783, \
+ 736,736,784,736,736,736,736,735,736,736,734,736,736,736,736,824, \
+ 824,824,824,832,832,832,832,832,832,832,824,832,832,832,824,823 \
+  
 #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 */
+ -1,0,0,0,0,0,0,4,5,5,6,7,8,8,8,8, \
+ 10,11,10,11,11,11,13,13,13,15,15,15,17,17,16,17, \
+ 18,21,20,21,23,23,24,25,25,23,23,24,25,25,25,24, \
+ 25,25,30,30,30,34,30,36,32,38,34,36,38,34,36,38, \
+ 38,38,40,40,40,40,40,40,40,38,40,40,42,42,44,40, \
+ 46,46,46,48,46,46,46,48,50,46,50,48,50,50,48,48, \
+ 50,60,60,60,64,60,60,60,60,64,60,64,62,68,68,72, \
+ 68,72,76,72,76,76,76,76,75,76,76,76,80,80,76,76, \
+ 76,80,68,80,80,72,76,76,79,76,76,76,72,72,76,80, \
+ 76,76,76,80,80,80,80,76,80,80,80,80,80,84,88,92, \
+ 92,92,84,92,92,96,96,92,92,96,92,92,92,92,92,92, \
+ 92,96,111,111,110,96,110,111,116,111,117,111,116,111,110,116, \
+ 123,116,117,116,117,111,117,116,117,123,116,117,116,135,117,135, \
+ 128,135,135,141,129,135,135,141,140,135,140,135,134,141,135,135, \
+ 140,135,134,147,135,135,135,147,141,147,141,135,147,135,135,135, \
+ 140,147,147,141,140,135,147,156,156,156,156,147,147,135,140,140, \
+ 141,140,141,141,141,141,140,141,140,147,180,147,180,155,147,172, \
+ 141,180,180,180,141,180,147,180,188,188,188,188,180,180,164,184, \
+ 172,180,180,188,156,188,180,180,180,196,195,196,180,180,187,188, \
+ 188,188,188,188,180,180,188,196,188,196,188,196,188,188,188,180, \
+ 184,187,188,188,196,180,180,196,196,196,188,196,188,196,196,196, \
+ 236,196,196,193,196,196,196,196,196,236,196,196,196,196,235,236, \
+ 196,236,196,236,236,236,220,236,236,233,236,236,236,236,236,236, \
+ 236,236,233,236,236,236,236,236,196,236,270,236,252,270,236,270, \
+ 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \
+ 270,270,270,270,270,270,282,270,270,282,282,270,270,282,270,270, \
+ 270,294,270,294,270,270,270,294,282,294,282,282,294,270,294,294, \
+ 294,294,293,294,294,294,293,294,294,294,294,294,282,294,270,270, \
+ 312,270,270,270,270,270,270,270,270,270,270,282,282,282,282,282, \
+ 270,282,282,270,294,282,282,281,282,294,294,294,294,282,294,294, \
+ 294,293,294,294,294,293,293,294,294,294,293,294,312,294,294,282, \
+ 360,294,294,360,312,360,294,360,294,294,294,294,360,312,360,328, \
+ 328,360,328,294,328,328,294,327,328,328,328,328,328,328,328,328, \
+ 328,328,328,328,328,392,391,392,360,328,360,359,360,360,360,360, \
+ 360,392,360,360,360,360,360,360,360,360,360,360,359,360,359,359, \
+ 360,360,360,360,360,360,360,359,360,360,392,360,360,360,392,392, \
+ 392,392,392,392,392,392,392,392,392,392,392,392,391,392,392,392, \
+ 392,359,392,392,392,392,392,391,392,392,392,392,392,392,392,392, \
+ 391,392,392,392,392,392,392,360,392,392,359,392,392,392,392,392, \
+ 392,392,392,392,392,392,391,392,392,391,392,391,392,392,391,392, \
+ 392,392,392,391,391,392,392,391,392,392,392,392,392,392,392,392, \
+ 392,391,472,392,472,392,392,471,472,472,472,472,472,472,472,472, \
+ 471,470,471,472,472,472,470,472,472,472,472,472,472,472,472,471, \
+ 503,504,440,440,504,501,503,503,472,504,470,504,504,504,471,504, \
+ 504,502,504,503,504,504,472,535,471,471,472,471,472,504,536,472, \
+ 472,471,472,472,470,471,534,472,472,472,535,472,536,536,504,472, \
+ 472,472,536,472,536,472,536,472,504,536,504,472,504,536,536,536, \
+ 536,503,504,535,536,535,504,535,535,504,504,535,535,535,536,568, \
+ 504,535,536,536,536,536,535,568,536,535,536,535,536,534,535,535, \
+ 536,536,536,536,533,534,535,536,536,536,535,568,536,536,535,536, \
+ 536,536,536,600,536,536,536,536,536,600,536,599,536,600,536,598, \
+ 600,600,598,600,600,600,599,568,567,600,599,568,600,600,600,568, \
+ 600,600,600,597,600,600,600,600,599,599,568,599,600,600,597,599, \
+ 600,600,600,600,600,600,599,600,600,600,600,600,600,600,536,600, \
+ 600,600,630,600,599,600,600,600,600,599,600,600,632,599,631,632, \
+ 631,632,632,631,632,631,630,536,600,632,600,600,632,632,600,600, \
+ 599,600,599,600,632,631,600,600,600,600,632,632,600,599,600,600, \
+ 600,600,598,600,600,600,600,600,568,568,632,568,664,664,568,600, \
+ 600,600,664,600,599,632,664,597,600,599,600,600,600,600,599,600, \
+ 600,600,600,599,600,600,599,600,600,600,600,600,599,664,600,600, \
+ 600,600,632,664,599,600,600,599,599,599,600,600,600,600,664,631, \
+ 632,600,599,629,599,631,632,632,632,600,632,632,632,631,632,632, \
+ 632,632,632,631,632,632,632,599,600,600,664,600,632,664,632,600, \
+ 600,600,600,600,631,664,632,664,663,664,664,664,664,664,600,664 \
+  
+#define MPFR_DIVHIGH_TAB  \
+ 0,1,2,3,4,5,6,7,8,9,10,11,10,13,12,13, \
+ 14,10,11,13,13,14,14,15,15,17,17,17,20,19,19,19, \
+ 20,20,23,19,24,23,23,23,23,22,21,28,25,23,25,28, \
+ 27,27,31,27,27,28,33,31,30,34,32,30,33,36,35,37, \
+ 39,38,34,43,39,35,39,37,42,39,37,41,40,43,39,41, \
+ 43,45,45,43,45,45,43,47,47,45,45,51,55,56,55,52, \
+ 52,54,60,59,56,63,60,55,55,58,55,58,56,64,64,59, \
+ 63,63,64,63,60,60,66,63,64,63,64,65,68,70,66,66, \
+ 65,67,71,71,70,71,71,73,69,74,74,71,72,73,71,80, \
+ 73,77,78,79,78,76,82,76,82,83,79,86,79,84,88,83, \
+ 92,92,94,94,92,84,95,95,95,96,94,91,92,92,95,95, \
+ 96,96,96,95,112,112,112,112,104,112,96,108,112,112,112,112, \
+ 112,112,110,104,112,112,112,112,110,111,112,120,112,112,112,112, \
+ 112,112,112,120,112,120,112,120,120,120,120,120,124,119,120,112, \
+ 128,128,120,128,128,120,128,128,120,128,128,120,128,120,124,128, \
+ 120,128,128,128,128,128,126,128,128,128,128,126,144,128,128,128, \
+ 128,135,138,137,138,137,136,135,150,150,142,147,136,138,156,147, \
+ 150,144,160,160,150,150,156,155,148,156,150,160,160,162,150,150, \
+ 160,150,168,156,162,156,168,160,162,172,158,160,162,160,160,157, \
+ 160,160,162,168,161,160,184,162,180,174,174,168,186,160,174,180, \
+ 184,184,186,184,184,186,184,184,180,190,186,184,192,192,188,184, \
+ 184,183,184,190,192,184,174,186,184,192,186,185,184,184,188,190, \
+ 184,184,192,180,180,184,192,186,186,192,185,186,186,184,186,192, \
+ 192,185,192,186,192,192,192,192,191,192,192,190,192,192,208,192, \
+ 208,216,216,197,196,196,216,208,216,208,216,222,208,222,208,222, \
+ 222,208,216,216,216,224,224,216,216,222,224,222,208,225,222,224, \
+ 224,224,222,222,222,222,224,224,216,216,224,221,224,240,224,224, \
+ 224,223,224,224,224,222,224,220,228,233,224,240,240,240,256,240, \
+ 256,256,240,240,240,256,256,256,240,240,256,256,240,252,256,256, \
+ 256,256,256,256,256,256,256,256,256,240,256,239,240,240,276,254, \
+ 256,256,256,256,255,256,276,256,254,256,256,282,276,256,254,256, \
+ 288,256,256,256,255,252,255,256,254,256,256,274,280,256,256,256, \
+ 256,280,273,276,282,287,276,274,276,276,273,282,276,270,276,272, \
+ 274,280,276,281,288,280,276,282,282,276,288,288,276,288,300,312, \
+ 304,300,288,300,312,312,312,312,296,312,312,312,312,312,316,300, \
+ 324,312,312,324,300,288,312,312,312,312,320,330,300,320,312,320, \
+ 320,300,324,324,324,312,312,324,328,320,312,312,324,312,320,336, \
+ 336,312,344,312,336,336,320,312,324,336,352,376,320,312,304,368, \
+ 372,372,376,328,324,312,372,316,368,368,368,336,370,328,318,368, \
+ 320,376,376,372,372,324,376,376,376,376,372,372,376,376,376,376, \
+ 372,372,368,368,376,372,368,376,376,376,372,376,376,376,376,368, \
+ 376,370,372,376,384,368,372,370,376,372,376,368,368,376,376,372, \
+ 376,376,376,376,376,372,376,376,376,376,376,370,376,376,384,368, \
+ 384,370,376,368,372,372,376,376,384,368,371,368,370,372,376,376, \
+ 360,372,376,376,376,376,372,368,376,372,376,376,368,372,368,376, \
+ 368,368,376,368,372,372,376,372,376,376,376,368,368,368,376,370, \
+ 368,373,376,376,376,376,376,376,376,376,376,376,376,376,384,376, \
+ 376,416,384,384,384,384,384,384,416,384,384,384,416,416,416,384, \
+ 408,408,416,408,408,408,416,416,432,416,416,416,416,408,408,416, \
+ 416,416,408,416,416,416,416,416,416,416,416,416,416,408,416,416, \
+ 416,440,440,432,408,440,448,440,440,432,432,432,416,440,416,416, \
+ 440,440,440,448,448,444,448,440,448,448,440,448,448,448,448,416, \
+ 480,440,432,464,464,464,432,432,432,440,440,432,464,432,448,448, \
+ 440,448,440,432,438,448,448,440,448,432,448,448,432,440,448,448, \
+ 448,448,448,448,448,448,448,448,448,448,448,447,448,440,448,440, \
+ 448,504,448,464,448,480,466,480,448,466,464,448,466,478,480,467, \
+ 466,480,464,480,480,480,480,480,540,480,504,480,540,480,552,479, \
+ 512,503,552,480,512,512,504,552,564,472,480,464,540,466,564,564, \
+ 480,512,552,564,564,480,564,564,564,564,564,564,560,564,564,480, \
+ 564,564,564,564,564,564,480,552,564,552,564,480,564,552,552,564, \
+ 512,564,564,564,564,564,564,552,552,552,560,561,564,564,564,564, \
+ 560,561,564,564,560,563,563,564,564,564,564,564,552,563,564,560, \
+ 564,552,564,560,560,562,564,564,564,564,564,552,564,564,552,564, \
+ 564,563,564,564,564,564,564,564,552,564,564,560,564,563,564,564 \
+  
+#define MPFR_MUL_THRESHOLD 21 /* limbs */
+#define MPFR_SQR_THRESHOLD 18 /* 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
+#define MPFR_EXP_THRESHOLD 9701 /* bits */
+#define MPFR_SINCOS_THRESHOLD 32604 /* bits */
+#define MPFR_AI_THRESHOLD1 -13222 /* threshold for negative input of mpfr_ai */
+#define MPFR_AI_THRESHOLD2 1438
+#define MPFR_AI_THRESHOLD3 21150
+/* Tuneup completed successfully, took 754 seconds */
diff --git a/src/x86_64/pentium4/mparam.h b/src/x86_64/pentium4/mparam.h
index 9a52d63f1..ad32f1000 100644
--- a/src/x86_64/pentium4/mparam.h
+++ b/src/x86_64/pentium4/mparam.h
@@ -1,7 +1,7 @@
 /* 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_TUNE_CASE "src/x86_64/pentium4/mparam.h"
 #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, \