done make tune for amd64 with gmp-4.1.4

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

1 files changed, 65 insertions, 65 deletions

diff --git a/mparam_h.in b/mparam_h.in
index 4099ccac8..dd274574f 100644
--- a/mparam_h.in
+++ b/mparam_h.in
@@ -105,73 +105,73 @@ MA 02111-1307, USA. */
 
 #define MPFR_MULHIGH_TAB  \
  -1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
+ 14,13,0,10,0,0,0,0,0,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 \
+ 0,0,0,0,0,0,0,0,0,0,0,32,0,0,32,0, \
+ 0,0,36,0,0,36,0,0,37,0,0,38,0,39,40,0, \
+ 41,42,0,42,44,43,44,46,45,46,52,64,48,64,64,52, \
+ 63,64,63,64,64,63,64,64,63,64,63,64,64,63,64,63, \
+ 64,68,64,68,64,68,76,68,72,68,72,68,72,68,72,80, \
+ 72,70,75,80,76,84,76,80,76,80,76,84,80,84,80,92, \
+ 84,88,80,88,86,80,84,82,92,84,92,88,96,88,92,90, \
+ 88,92,93,88,92,127,128,128,128,128,127,127,127,126,127,128, \
+ 126,127,128,127,128,126,128,126,127,128,127,127,128,127,128,127, \
+ 126,127,128,128,128,128,127,136,127,128,127,128,135,127,128,135, \
+ 127,128,135,136,144,135,127,127,135,136,127,128,126,127,128,126, \
+ 127,128,135,136,128,132,136,128,127,136,140,135,136,134,136,136, \
+ 135,136,134,135,142,148,143,144,133,152,142,152,144,148,160,142, \
+ 136,152,150,160,160,148,152,160,159,152,156,159,160,151,160,164, \
+ 152,158,175,158,158,157,158,160,160,168,160,165,164,167,164,167, \
+ 160,176,166,176,165,160,167,192,183,184,176,179,176,168,175,176, \
+ 182,200,175,192,200,183,183,184,192,191,183,184,183,199,200,192, \
+ 183,180,200,182,189,180,187,200,208,257,191,190,257,200,254,208, \
+ 255,254,254,255,255,254,255,256,253,252,255,253,255,254,256,258, \
+ 252,253,254,255,253,254,255,254,263,254,254,255,256,254,254,255, \
+ 255,254,257,253,253,254,264,254,256,255,256,255,260,254,255,255, \
+ 253,254,255,256,254,254,263,263,254,254,255,255,255,264,255,256, \
+ 255,264,255,258,263,264,263,262,262,276,256,263,258,276,275,272, \
+ 264,259,275,272,259,288,281,255,256,275,287,258,284,262,255,262, \
+ 254,255,265,288,254,287,299,257,288,255,257,263,254,257,324,267, \
+ 258,259,264,261,262,256,276,286,262,262,263,274,261,276,276,275, \
+ 274,275,276,282,384,275,276,276,383,288,380,382,382,379,379,382, \
+ 383,384,382,380,379,383,379,379,383,380,384,381,381,383,379,379, \
+ 379,379,383,384,382,383,382,382,381,384,379,383,380,381,383,384, \
+ 381,382,381,379,383,383,379,379,381,379,382,384,384,380,381,383, \
+ 379,384,380,384,382,379,382,383,380,381,381,383,382,382,384,379, \
+ 382,377,382,382,379,379,379,382,380,381,382,380,380,379,380,379, \
+ 380,383,380,383,382,380,381,379,380,382,379,382,382,383,384,384, \
+ 382,380,384,382,383,382,379,379,390,407,401,380,381,382,383,384, \
+ 398,408,383,383,400,384,395,386,381,384,408,407,382,383,384,395, \
+ 430,406,383,402,384,383,432,404,383,383,383,431,398,408,403,406, \
+ 394,396,396,389,431,407,431,430,383,384,404,428,400,443,404,403, \
+ 401,453,430,404,431,431,407,396,426,400,431,429,407,444,432,456, \
+ 431,408,407,408,427,431,408,403,431,454,428,431,419,456,407,431, \
+ 456,437,417,428,425,455,453,430,452,454,454,432,430,455,432,430, \
+ 452,451,430,452,455,430,428,479,430,432,439,448,449,476,456,431, \
+ 478,431,446,450,449,455,472,478,479,357,382,358,375,360,361,364, \
+ 369,369,367,365,379,370,369,371,386,368,366,374,378,369,376,375, \
+ 374,369,379,378,390,380,392,372,381,375,384,396,385,379,376,387, \
+ 378,391,385,392,393,381,380,380,381,387,382,384,405,385,384,406, \
+ 402,387,388,386,394,399,401,405,396,407,390,397,396,395,409,409, \
+ 397,440,396,403,414,411,406,396,411,397,407,405,417,420,416,421, \
+ 404,403,405,402,415,422,412,428,410,425,413,408,421,417,409,408, \
+ 414,436,425,415,424,411,415,413,426,413,422,427,415,415,416,451, \
+ 429,417,423,418,424,429,420,432,421,422,449,422,423,423,433,425, \
+ 425,425,427,427,443,446,429,449,435,438,434,439,453,442,443,444, \
+ 455,439,437,435,437,441,447,446,457,444,453,438,452,462,446,445, \
+ 449,471,446,451,463,451,471,458,464,449,452,453,457,458,473,460, \
+ 450,464,469,458,465,458,457,458,453,483,456,463,470,517,474,467, \
+ 458,458,466,540,490,504,477,493,478,524,490,520,463,491,477,509, \
+ 519,502,490,507,517,521,504,525,527,524,537,536,543,551,565,645, \
+ 600,564,568,571,682,586,601,573,663,495,708,762,765,767,763,767, \
+ 757,660,767,775,763,785,759,764,764,757,757,763,778,767,758,763, \
+ 761,758,767,762,763,764,788,767,757,765,767,758,757,773,760,760, \
+ 759,761,758,765,758,763,760,763,759,763,761,757,760,766,791,760, \
+ 763,782,760,761,760,763,764,764,764,766,764,759,757,758,763,763 \
   
-#define MPFR_MUL_THRESHOLD 8
-#define MPFR_EXP_2_THRESHOLD 470
-#define MPFR_EXP_THRESHOLD 43009
+#define MPFR_MUL_THRESHOLD 4
+#define MPFR_EXP_2_THRESHOLD 524
+#define MPFR_EXP_THRESHOLD 22876
 
 /*****************************
  * Threshold for Athlon      *