From 95736ac3703a0f7695e870045e0433f48907814f Mon Sep 17 00:00:00 2001 From: zimmerma Date: Thu, 28 Jul 2011 17:17:24 +0000 Subject: 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 --- src/x86/core2/mparam.h | 132 ++++++++++++++++++++++++------------------------- src/x86/mparam.h | 118 +++++++++++++++++++++---------------------- 2 files changed, 125 insertions(+), 125 deletions(-) (limited to 'src/x86') 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 */ -- cgit v1.2.1