diff options
author | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-07-28 17:17:24 +0000 |
---|---|---|
committer | zimmerma <zimmerma@280ebfd0-de03-0410-8827-d642c229c3f4> | 2011-07-28 17:17:24 +0000 |
commit | 95736ac3703a0f7695e870045e0433f48907814f (patch) | |
tree | 68b92a71e4d2e807708e677f5624fd7c4547e232 /src/x86_64 | |
parent | b88cba227b46c8674736893f9a2859ceab586e0e (diff) | |
download | mpfr-95736ac3703a0f7695e870045e0433f48907814f.tar.gz |
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
Diffstat (limited to 'src/x86_64')
-rw-r--r-- | src/x86_64/core2/mparam.h | 56 | ||||
-rw-r--r-- | src/x86_64/pentium4/mparam.h | 136 |
2 files changed, 96 insertions, 96 deletions
diff --git a/src/x86_64/core2/mparam.h b/src/x86_64/core2/mparam.h index eecf34047..ce342ea10 100644 --- a/src/x86_64/core2/mparam.h +++ b/src/x86_64/core2/mparam.h @@ -4,7 +4,7 @@ #define MPFR_MULHIGH_TAB \ -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, \ + 10,10,11,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, \ @@ -67,18 +67,18 @@ 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,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, \ + -1,0,0,0,0,0,0,5,6,6,7,7,8,8,9,9, \ + 10,11,11,11,12,12,13,13,14,15,15,15,17,17,17,17, \ + 18,21,20,21,23,23,24,25,25,23,23,24,25,25,25,25, \ + 26,26,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,41, \ + 46,46,46,48,46,46,46,48,50,46,50,48,50,50,49,49, \ 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, \ + 76,76,76,80,80,80,80,77,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, \ @@ -133,46 +133,46 @@ 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, \ + 20,20,23,19,24,23,23,23,23,22,23,28,25,24,25,28, \ + 27,27,31,27,28,28,33,31,30,34,32,31,33,36,35,37, \ + 39,38,35,43,39,36,39,37,42,39,39,41,40,43,41,41, \ + 43,45,45,43,45,45,45,47,47,46,47,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, \ + 66,67,71,71,70,71,71,73,70,74,74,71,72,73,73,80, \ + 74,77,78,79,78,76,82,77,82,83,79,86,80,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, \ + 112,112,112,120,112,120,112,120,120,120,120,120,124,119,120,113, \ 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, \ + 122,128,128,128,128,128,126,128,128,128,128,127,144,128,129,129, \ + 130,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, \ + 192,186,192,187,192,192,192,192,191,192,192,191,192,192,208,193, \ 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, \ + 224,223,224,224,224,222,224,221,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, \ + 288,256,256,256,255,252,255,256,254,256,256,274,280,256,257,257, \ + 258,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, \ + 336,312,344,312,336,336,320,312,324,336,352,376,320,312,305,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, \ @@ -181,15 +181,15 @@ 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, \ + 370,373,376,376,376,376,376,376,376,376,376,376,376,376,384,377, \ + 378,416,384,384,384,384,384,384,416,384,384,384,416,416,416,385, \ 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, \ + 440,440,440,448,448,444,448,440,448,448,440,448,448,448,448,417, \ 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,448,448,448,448,448,448,448,448,448,448,447,448,440,448,441, \ 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, \ diff --git a/src/x86_64/pentium4/mparam.h b/src/x86_64/pentium4/mparam.h index 5172e6cd0..7a38b558c 100644 --- a/src/x86_64/pentium4/mparam.h +++ b/src/x86_64/pentium4/mparam.h @@ -2,16 +2,16 @@ /* crumble.loria.fr with gmp-4.2.4 */ -#define MPFR_MULHIGH_TAB \ +#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, \ + 0,0,0,19,20,20,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, \ + 35,0,0,36,36,0,37,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, \ + 68,68,72,72,76,76,69,69,72,72,71,103,104,72,73,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, \ @@ -68,71 +68,71 @@ 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, \ +#define MPFR_SQRHIGH_TAB \ + -1,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,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,23,23,26,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,38,39,39,39,39,40,40,41,41, \ + 42,42,43,43,44,44,45,46,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,68,64,64,65,65, \ + 66,68,67,69,68,68,71,69,70,75,76,76,72,72,73,73, \ + 74,82,75,80,78,76,77,77,78,83,79,81,82,80,81,81, \ + 82,82,83,85,84,84,85,85,86,86,87,87,88,88,89,89, \ + 90,92,91,93,94,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,108,109,112,110,110,111,118,112,112,113,113, \ + 114,114,115,122,123,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,129, \ + 130,154,135,131,132,132,133,133,134,134,135,135,136,140,151,137, \ + 142,138,139,143,144,154,155,150,151,156,152,143,153,158,145,145, \ + 165,146,147,147,152,162,149,149,150,150,151,151,152,171,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,171,172,183,173,173,174,174,175,175,176,187,194,182, \ + 183,178,179,179,180,180,181,181,182,182,183,183,195,184,185,185, \ + 186,197,187,187,188,188,189,189,190,190,191,191,192,192,193,204, \ + 207,200,201,208,209,196,197,203,204,198,199,199,200,200,201,201, \ + 202,215,216,230,217,210,211,218,212,206,207,207,208,208,209,209, \ + 210,230,231,231,232,225,226,226,227,227,228,242,222,257,217,217, \ + 218,245,246,219,220,240,241,234,235,235,236,264,230,258,225,225, \ + 226,226,227,227,228,228,229,260,261,230,231,270,247,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,270,270,279,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,294,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,326,327,337,349,338,329,329, \ + 330,330,331,331,332,332,333,333,334,334,335,335,336,336,337,337, \ + 338,338,339,360,340,340,341,341,342,342,343,343,344,354,355,345, \ + 346,346,368,368,369,369,359,349,393,382,383,361,362,362,363,363, \ + 365,365,366,390,367,391,380,404,358,393,406,382,383,395,396,396, \ + 385,409,386,410,387,399,388,412,413,401,390,367,368,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 \ + 413,413,414,379,439,427,428,392,393,441,442,430,479,455,444,432, \ + 437,386,451,387,465,439,427,389,390,454,455,455,404,417,444,444, \ + 394,394,395,446,460,460,461,487,410,475,399,476,477,464,401,465, \ + 402,492,403,403,404,404,405,405,406,406,407,419,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,424,425,508, \ + 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,438,439,536,440,440,441,441, \ + 442,442,443,443,444,444,445,445,446,446,447,447,448,448,449,476, \ + 450,450,451,451,452,452,482,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,513,513 \ #define MPFR_MUL_THRESHOLD 8 /* limbs */ #define MPFR_EXP_2_THRESHOLD 519 /* bits */ |