modified the default tuning parameters so they are within the bounds of the

ARITH-20 paper "Short Division of Long Integers"


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

2 files changed, 125 insertions, 125 deletions

diff --git a/src/x86/core2/mparam.h b/src/x86/core2/mparam.h
index 9c48fdeaf..ff04b2313 100644
--- a/src/x86/core2/mparam.h
+++ b/src/x86/core2/mparam.h
@@ -5,8 +5,8 @@
  -1,-1,-1,-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,28, \
- 30,28,30,28,28,32,30,30,30,32,32,34,32,32,32,32, \
- 33,35,44,40,35,41,40,42,41,47,48,48,47,51,56,48, \
+ 30,28,30,28,28,32,30,30,30,32,32,34,32,32,33,33, \
+ 34,35,44,40,36,41,40,42,41,47,48,48,47,51,56,48, \
  47,55,48,56,51,55,56,60,55,55,56,56,55,55,56,64, \
  63,59,60,64,59,59,64,64,63,63,60,68,63,67,60,64, \
  67,67,64,68,63,81,64,64,81,81,64,80,81,81,92,86, \
@@ -68,70 +68,70 @@
  761,713,714,714,715,715,716,716,765,717,718,750,751,751,768,736 \
 
 #define MPFR_SQRHIGH_TAB  \
- -1,0,-1,-1,0,0,0,0,0,0,0,0,-1,-1,0,8, \
- 9,9,10,10,11,12,12,13,13,13,14,14,15,15,16,16, \
- 17,17,18,18,19,19,20,20,21,21,22,22,23,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,36,37,37,38,42,39,39,40,40, \
- 41,41,42,42,43,43,44,44,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,62,63,63,64,64, \
- 65,74,66,66,67,67,68,68,69,78,70,70,74,71,72,72, \
- 73,73,74,74,75,75,76,76,77,77,78,78,79,79,80,80, \
- 81,84,82,82,83,83,84,84,85,85,92,92,87,87,88,88, \
- 89,89,90,96,91,91,92,92,93,96,100,100,95,95,96,96, \
- 97,97,98,98,99,99,100,100,101,101,114,102,103,103,104,104, \
- 105,105,114,106,107,123,108,108,117,109,110,110,111,111,112,112, \
- 113,113,114,114,115,115,116,116,117,117,118,118,119,119,120,132, \
- 141,121,122,122,123,135,140,144,141,125,126,126,127,127,128,128, \
- 129,129,130,135,131,131,132,132,133,158,134,134,135,135,136,136, \
- 137,137,138,138,169,139,140,140,141,141,142,142,143,143,144,144, \
- 145,145,146,171,177,147,153,148,149,159,150,150,151,171,177,177, \
- 153,153,154,159,180,165,156,156,157,177,183,168,159,159,170,165, \
- 161,161,162,162,163,163,164,164,165,165,166,166,167,167,168,168, \
- 169,169,170,170,171,171,172,172,173,173,174,174,175,175,176,176, \
- 177,177,178,178,179,179,180,180,181,181,182,182,183,183,184,184, \
- 185,185,186,186,187,187,188,188,189,189,190,190,191,191,192,192, \
- 193,193,194,194,195,195,196,196,197,197,198,198,199,199,200,200, \
- 201,201,202,202,203,210,225,204,205,205,206,206,207,207,208,208, \
- 209,209,210,210,211,211,212,212,213,213,214,214,215,215,216,216, \
- 217,217,218,218,219,219,220,220,221,221,222,222,223,223,224,224, \
- 225,225,226,226,227,227,228,228,229,229,230,230,231,231,232,232, \
- 233,249,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,283,266,284,285,267,268,268,269,269,270,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,285,285,286,295,332,287,288,288, \
- 289,309,320,320,321,291,292,292,293,293,294,324,295,295,296,296, \
- 297,297,298,298,299,299,300,300,301,301,302,302,303,333,304,304, \
- 345,305,306,306,307,307,348,338,339,309,310,310,311,311,312,312, \
- 333,323,324,354,355,345,336,316,317,337,338,338,319,339,320,340, \
- 365,365,344,333,323,345,346,324,325,347,348,348,349,327,328,328, \
- 384,329,330,330,331,364,332,354,366,366,356,356,357,335,336,336, \
- 337,337,338,338,339,383,384,340,341,341,342,342,343,343,344,344, \
- 345,345,346,346,347,347,348,348,349,382,383,350,351,351,352,352, \
- 353,353,402,354,355,355,356,356,357,357,358,358,359,419,420,420, \
- 361,361,362,362,363,363,364,364,365,365,366,366,367,367,368,368, \
- 369,369,370,370,371,371,372,372,373,373,374,374,375,375,376,376, \
- 377,377,378,378,379,379,380,380,381,381,382,382,383,383,384,384, \
- 385,385,399,490,387,387,388,388,389,389,390,390,391,391,392,392, \
- 393,393,420,394,395,395,396,396,397,397,398,398,399,399,400,400, \
- 401,401,402,402,507,507,508,404,405,509,510,510,407,407,408,473, \
- 474,474,527,436,437,411,412,412,413,491,492,492,415,415,416,416, \
- 417,417,418,418,419,419,420,420,421,463,492,492,521,479,480,424, \
- 425,425,426,426,427,427,428,484,429,429,430,472,473,473,474,432, \
- 433,433,434,504,491,491,492,436,437,507,508,508,481,467,468,468, \
- 469,483,484,512,513,471,486,500,501,515,516,488,489,447,448,490, \
- 509,509,510,510,481,526,527,512,513,528,544,544,545,455,456,456, \
- 517,487,488,488,489,489,490,460,461,461,462,492,508,508,509,509, \
- 510,510,511,526,527,467,468,528,544,469,470,515,546,531,517,472, \
- 473,473,474,474,475,535,581,476,477,477,478,478,479,479,480,480, \
- 481,481,482,482,483,547,548,484,485,485,486,566,535,487,488,488, \
- 489,489,490,490,491,491,492,492,493,493,494,494,495,495,496,496, \
- 497,561,498,578,579,579,580,580,581,501,502,598,599,503,504,504, \
- 505,505,506,506,507,507,508,508,509,509,510,510,511,511,512,512 \
+ -1,0,-1,-1,0,0,0,0,0,0,0,0,-1,-1,0,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,23,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,36,37,37,38,38,39,42,40,40,41,41, \
+ 42,42,43,43,44,44,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,62,63,63,64,64,65,65, \
+ 66,74,67,67,68,68,69,69,70,78,71,71,74,72,73,73, \
+ 74,74,75,75,76,76,77,77,78,78,79,79,80,80,81,81, \
+ 82,84,83,83,84,84,85,85,86,86,92,92,88,88,89,89, \
+ 90,90,91,96,92,92,93,93,94,96,100,100,96,96,97,97, \
+ 98,98,99,99,100,100,101,101,102,102,114,103,104,104,105,105, \
+ 106,106,114,107,108,123,109,109,117,110,111,111,112,112,113,113, \
+ 114,114,115,115,116,116,117,117,118,118,119,119,120,120,121,132, \
+ 141,122,123,123,124,135,140,144,141,126,127,127,128,128,129,129, \
+ 130,130,131,135,132,132,133,133,134,158,135,135,136,136,137,137, \
+ 138,138,139,139,169,140,141,141,142,142,143,143,144,144,145,145, \
+ 146,146,147,171,177,148,153,149,150,159,151,151,152,171,177,177, \
+ 154,154,155,159,180,165,157,157,158,177,183,168,160,160,170,165, \
+ 162,162,163,163,164,164,165,165,166,166,167,167,168,168,169,169, \
+ 170,170,171,171,172,172,173,173,174,174,175,175,176,176,177,177, \
+ 178,178,179,179,180,180,181,181,182,182,183,183,184,184,185,185, \
+ 186,186,187,187,188,188,189,189,190,190,191,191,192,192,193,193, \
+ 194,194,195,195,196,196,197,197,198,198,199,199,200,200,201,201, \
+ 202,202,203,203,204,210,225,205,206,206,207,207,208,208,209,209, \
+ 210,210,211,211,212,212,213,213,214,214,215,215,216,216,217,217, \
+ 218,218,219,219,220,220,221,221,222,222,223,223,224,224,225,225, \
+ 226,226,227,227,228,228,229,229,230,230,231,231,232,232,233,233, \
+ 234,249,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,283,267,284,285,268,269,269,270,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,285,285,286,286,287,295,332,288,289,289, \
+ 290,309,320,320,321,292,293,293,294,294,295,324,296,296,297,297, \
+ 298,298,299,299,300,300,301,301,302,302,303,303,304,333,305,305, \
+ 345,306,307,307,308,308,348,338,339,310,311,311,312,312,313,313, \
+ 333,323,324,354,355,345,336,317,318,337,338,338,320,339,321,340, \
+ 365,365,344,333,324,345,346,325,326,347,348,348,349,328,329,329, \
+ 384,330,331,331,332,364,333,354,366,366,356,356,357,336,337,337, \
+ 338,338,339,339,340,383,384,341,342,342,343,343,344,344,345,345, \
+ 346,346,347,347,348,348,349,349,350,382,383,351,352,352,353,353, \
+ 354,354,402,355,356,356,357,357,358,358,359,359,360,419,420,420, \
+ 362,362,363,363,364,364,365,365,366,366,367,367,368,368,369,369, \
+ 370,370,371,371,372,372,373,373,374,374,375,375,376,376,377,377, \
+ 378,378,379,379,380,380,381,381,382,382,383,383,384,384,385,385, \
+ 386,386,399,490,388,388,389,389,390,390,391,391,392,392,393,393, \
+ 394,394,420,395,396,396,397,397,398,398,399,399,400,400,401,401, \
+ 402,402,403,403,507,507,508,405,406,509,510,510,408,408,409,473, \
+ 474,474,527,436,437,412,413,413,414,491,492,492,416,416,417,417, \
+ 418,418,419,419,420,420,421,421,422,463,492,492,521,479,480,425, \
+ 426,426,427,427,428,428,429,484,430,430,431,472,473,473,474,433, \
+ 434,434,435,504,491,491,492,437,438,507,508,508,481,467,468,468, \
+ 469,483,484,512,513,471,486,500,501,515,516,488,489,448,449,490, \
+ 509,509,510,510,481,526,527,512,513,528,544,544,545,456,457,457, \
+ 517,487,488,488,489,489,490,461,462,462,463,492,508,508,509,509, \
+ 510,510,511,526,527,468,469,528,544,470,471,515,546,531,517,473, \
+ 474,474,475,475,476,535,581,477,478,478,479,479,480,480,481,481, \
+ 482,482,483,483,484,547,548,485,486,486,487,566,535,488,489,489, \
+ 490,490,491,491,492,492,493,493,494,494,495,495,496,496,497,497, \
+ 498,561,499,578,579,579,580,580,581,502,503,598,599,504,505,505, \
+ 506,506,507,507,508,508,509,509,510,510,511,511,512,512,513,513 \
 
 #define MPFR_MUL_THRESHOLD 11 /* limbs */
 #define MPFR_EXP_2_THRESHOLD 441 /* bits */
diff --git a/src/x86/mparam.h b/src/x86/mparam.h
index d45276ff1..3959cf7c2 100644
--- a/src/x86/mparam.h
+++ b/src/x86/mparam.h
@@ -69,70 +69,70 @@
  713,761,714,714,715,715,716,716,717,717,766,750,751,751,736,736 \
 
 #define MPFR_SQRHIGH_TAB  \
- -1,0,-1,-1,-1,-1,-1,-1,-1,-1,0,0,-1,-1,8,8, \
- 9,9,10,12,11,11,12,12,13,13,14,14,15,15,16,16, \
- 17,17,18,18,19,19,20,20,21,21,22,22,23,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,36,37,37,38,38,39,39,40,42, \
- 41,41,42,42,43,43,44,44,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,62,63,63,64,64, \
- 65,65,66,66,67,67,68,68,69,84,70,70,74,71,72,72, \
- 73,73,74,74,78,75,76,76,77,77,84,78,79,79,80,80, \
- 81,84,88,82,83,83,84,84,85,85,92,92,87,87,88,88, \
- 89,89,96,90,91,91,92,92,93,93,100,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,123,108,108,129,129,126,126,135,135,112,128, \
+ -1,0,-1,-1,-1,-1,-1,-1,-1,-1,0,0,-1,-1,9,9, \
+ 10,10,11,12,12,12,13,13,14,14,15,15,16,16,17,17, \
+ 18,18,19,19,20,20,21,21,22,22,23,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,36,37,37,38,38,39,39,40,40,41,42, \
+ 42,42,43,43,44,44,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,62,63,63,64,64,65,65, \
+ 66,66,67,67,68,68,69,69,70,84,71,71,74,72,73,73, \
+ 74,74,75,75,78,76,77,77,78,78,84,79,80,80,81,81, \
+ 82,84,88,83,84,84,85,85,86,86,92,92,88,88,89,89, \
+ 90,90,96,91,92,92,93,93,94,94,100,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,123,109,109,129,129,126,126,135,135,113,128, \
  129,129,134,134,123,135,128,140,141,129,134,134,135,135,140,132, \
- 133,141,122,122,123,135,136,140,153,141,126,126,127,159,128,128, \
- 129,129,135,135,141,131,132,132,133,133,134,134,135,135,136,136, \
- 137,137,138,138,159,139,140,140,141,141,142,142,143,143,144,144, \
- 145,165,146,146,147,147,148,148,149,149,150,150,151,171,152,152, \
- 153,153,154,159,155,155,156,156,157,157,158,158,159,159,170,170, \
- 161,161,162,162,163,163,188,164,165,165,166,166,167,167,168,186, \
- 187,169,170,170,171,171,172,172,173,173,174,174,175,175,176,176, \
- 177,177,178,178,179,179,180,180,181,181,182,182,183,183,184,184, \
- 185,185,186,186,187,187,188,188,189,189,190,190,191,191,192,192, \
- 193,193,194,194,195,195,196,196,197,197,198,198,199,199,200,200, \
- 201,201,202,202,203,203,204,204,205,205,206,206,207,207,208,208, \
- 209,209,210,210,211,211,212,212,213,213,214,214,215,215,216,216, \
- 217,217,218,218,219,261,248,220,221,249,222,222,223,223,224,224, \
- 225,225,226,226,227,227,228,228,229,229,230,230,231,231,248,232, \
- 233,233,234,234,235,235,236,236,261,285,270,238,239,239,240,248, \
- 249,249,242,242,243,251,260,244,261,245,246,246,247,247,248,248, \
- 249,249,250,250,251,251,252,252,285,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,284,285,267,268,268,269,296,297,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,285,321,295,286,287,287,288,288, \
- 289,289,320,320,321,321,292,292,293,313,314,294,295,295,296,296, \
- 297,297,298,298,309,299,300,300,301,301,302,332,333,333,304,384, \
- 375,305,306,306,307,307,308,308,309,309,320,310,311,311,312,312, \
- 313,363,394,384,375,375,316,376,357,317,348,348,369,319,320,320, \
- 321,321,366,366,378,323,324,324,402,369,359,381,382,382,383,383, \
+ 133,141,123,123,124,135,136,140,153,141,127,127,128,159,129,129, \
+ 130,130,135,135,141,132,133,133,134,134,135,135,136,136,137,137, \
+ 138,138,139,139,159,140,141,141,142,142,143,143,144,144,145,145, \
+ 146,165,147,147,148,148,149,149,150,150,151,151,152,171,153,153, \
+ 154,154,155,159,156,156,157,157,158,158,159,159,160,160,170,170, \
+ 162,162,163,163,164,164,188,165,166,166,167,167,168,168,169,186, \
+ 187,170,171,171,172,172,173,173,174,174,175,175,176,176,177,177, \
+ 178,178,179,179,180,180,181,181,182,182,183,183,184,184,185,185, \
+ 186,186,187,187,188,188,189,189,190,190,191,191,192,192,193,193, \
+ 194,194,195,195,196,196,197,197,198,198,199,199,200,200,201,201, \
+ 202,202,203,203,204,204,205,205,206,206,207,207,208,208,209,209, \
+ 210,210,211,211,212,212,213,213,214,214,215,215,216,216,217,217, \
+ 218,218,219,219,220,261,248,221,222,249,223,223,224,224,225,225, \
+ 226,226,227,227,228,228,229,229,230,230,231,231,232,232,248,233, \
+ 234,234,235,235,236,236,237,237,261,285,270,239,240,240,241,248, \
+ 249,249,243,243,244,251,260,245,261,246,247,247,248,248,249,249, \
+ 250,250,251,251,252,252,253,253,285,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,284,285,268,269,269,270,296,297,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,285,285,286,321,295,287,288,288,289,289, \
+ 290,290,320,320,321,321,293,293,294,313,314,295,296,296,297,297, \
+ 298,298,299,299,309,300,301,301,302,302,303,332,333,333,305,384, \
+ 375,306,307,307,308,308,309,309,310,310,320,311,312,312,313,313, \
+ 314,363,394,384,375,375,317,376,357,318,348,348,369,320,321,321, \
+ 322,322,366,366,378,324,325,325,402,369,359,381,382,382,383,383, \
  373,384,396,374,375,375,387,365,366,399,389,400,401,390,391,402, \
  381,381,382,404,405,405,384,373,374,374,375,386,387,387,388,388, \
  378,378,390,401,391,391,403,414,404,382,383,383,395,395,396,418, \
  401,401,378,402,403,427,428,404,405,417,382,418,419,419,420,384, \
- 409,421,422,410,423,423,436,436,437,401,402,366,427,463,464,368, \
- 369,369,370,370,455,371,372,456,373,433,434,434,435,471,472,472, \
- 473,377,474,378,379,451,380,380,381,381,382,382,383,383,384,384, \
- 398,398,399,438,465,387,427,440,441,389,455,390,391,391,392,392, \
- 393,393,394,420,395,395,396,396,397,397,398,398,399,399,400,400, \
- 401,401,402,402,455,403,404,508,405,405,406,406,407,433,434,447, \
- 474,435,436,410,411,411,412,412,413,413,414,492,415,454,455,416, \
- 417,417,418,418,419,419,420,420,421,421,422,464,465,423,424,424, \
- 425,425,426,426,427,455,456,484,485,429,430,472,473,431,432,432, \
- 433,461,434,434,435,477,436,436,437,437,438,438,509,453,468,510, \
- 441,441,512,456,471,527,528,472,543,445,544,446,447,447,448,504, \
- 449,509,510,450,451,451,452,527,453,483,514,544,545,455,456,546, \
- 502,517,518,518,504,519,535,460,461,551,552,507,508,463,464,509, \
- 510,525,526,526,527,542,543,543,544,544,545,515,516,546,472,472, \
- 473,563,474,474,475,535,551,476,477,582,478,553,479,479,480,480, \
- 481,545,546,530,531,547,516,564,597,549,550,486,487,551,488,536, \
- 537,489,490,490,491,491,492,492,493,493,494,494,495,495,496,496, \
- 497,497,578,546,499,499,500,500,501,501,502,598,599,503,504,504, \
- 505,505,506,506,507,507,508,508,509,509,510,510,511,511,512,512 \
+ 409,421,422,410,423,423,436,436,437,401,402,367,427,463,464,369, \
+ 370,370,371,371,455,372,373,456,374,433,434,434,435,471,472,472, \
+ 473,378,474,379,380,451,381,381,382,382,383,383,384,384,385,385, \
+ 398,398,399,438,465,388,427,440,441,390,455,391,392,392,393,393, \
+ 394,394,395,420,396,396,397,397,398,398,399,399,400,400,401,401, \
+ 402,402,403,403,455,404,405,508,406,406,407,407,408,433,434,447, \
+ 474,435,436,411,412,412,413,413,414,414,415,492,416,454,455,417, \
+ 418,418,419,419,420,420,421,421,422,422,423,464,465,424,425,425, \
+ 426,426,427,427,428,455,456,484,485,430,431,472,473,432,433,433, \
+ 434,461,435,435,436,477,437,437,438,438,439,439,509,453,468,510, \
+ 442,442,512,456,471,527,528,472,543,446,544,447,448,448,449,504, \
+ 450,509,510,451,452,452,453,527,454,483,514,544,545,456,457,546, \
+ 502,517,518,518,504,519,535,461,462,551,552,507,508,464,465,509, \
+ 510,525,526,526,527,542,543,543,544,544,545,515,516,546,473,473, \
+ 474,563,475,475,476,535,551,477,478,582,479,553,480,480,481,481, \
+ 482,545,546,530,531,547,516,564,597,549,550,487,488,551,489,536, \
+ 537,490,491,491,492,492,493,493,494,494,495,495,496,496,497,497, \
+ 498,498,578,546,500,500,501,501,502,502,503,598,599,504,505,505, \
+ 506,506,507,507,508,508,509,509,510,510,511,511,512,512,513,513 \
 
 #define MPFR_MUL_THRESHOLD 10 /* limbs */
 #define MPFR_EXP_2_THRESHOLD 32 /* bits */