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 | |
| 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
| -rw-r--r-- | src/amd/k8/mparam.h | 52 | ||||
| -rw-r--r-- | src/arm/mparam.h | 88 | ||||
| -rw-r--r-- | src/hppa/mparam.h | 70 | ||||
| -rw-r--r-- | src/ia64/mparam.h | 84 | ||||
| -rw-r--r-- | src/mulders.c | 2 | ||||
| -rw-r--r-- | src/powerpc32/mparam.h | 384 | ||||
| -rw-r--r-- | src/powerpc64/mparam.h | 80 | ||||
| -rw-r--r-- | src/sparc64/mparam.h | 84 | ||||
| -rw-r--r-- | src/x86/core2/mparam.h | 132 | ||||
| -rw-r--r-- | src/x86/mparam.h | 118 | ||||
| -rw-r--r-- | src/x86_64/core2/mparam.h | 56 | ||||
| -rw-r--r-- | src/x86_64/pentium4/mparam.h | 136 |
12 files changed, 643 insertions, 643 deletions
diff --git a/src/amd/k8/mparam.h b/src/amd/k8/mparam.h index aa4827bbc..b9bba3ed0 100644 --- a/src/amd/k8/mparam.h +++ b/src/amd/k8/mparam.h @@ -67,17 +67,17 @@ 831,832,832,832,832,832,832,832,831,832,832,832,831,832,831,832, \ 831,832,832,832,831,832,832,832,832,832,831,832,832,832,832,832, \ 831,832,832,832,831,832,832,832,832,832,832,832,832,832,832,831 \ - + #define MPFR_SQRHIGH_TAB \ -1,0,0,0,0,-1,-1,-1,-1,-1,7,7,8,9,9,11, \ 11,11,11,11,13,13,14,15,17,17,18,17,17,17,18,18, \ - 17,17,19,19,20,21,20,23,24,21,24,23,24,25,24,25, \ - 28,27,28,29,29,31,28,29,34,34,34,34,34,34,40,34, \ + 18,18,19,19,20,21,21,23,24,22,24,23,24,25,25,25, \ + 28,27,28,29,29,31,29,29,34,34,34,34,34,34,40,34, \ 34,40,40,40,42,42,40,40,40,40,40,42,42,48,46,48, \ - 42,46,48,48,46,50,46,49,54,54,56,46,54,48,56,48, \ - 50,50,50,52,52,56,56,58,54,56,58,64,56,64,58,64, \ - 58,64,66,58,68,68,62,72,68,66,66,72,64,72,68,72, \ - 72,80,66,72,72,72,72,80,80,84,80,80,80,80,80,80, \ + 42,46,48,48,46,50,46,49,54,54,56,47,54,48,56,49, \ + 50,50,51,52,52,56,56,58,54,56,58,64,56,64,58,64, \ + 58,64,66,59,68,68,62,72,68,66,66,72,64,72,68,72, \ + 72,80,67,72,72,72,72,80,80,84,80,80,80,80,80,80, \ 80,80,80,80,84,84,92,80,84,84,92,84,96,92,92,96, \ 92,96,92,96,96,92,96,96,100,104,96,96,96,100,96,96, \ 96,96,112,96,96,96,96,96,100,100,96,112,112,112,112,112, \ @@ -133,48 +133,48 @@ 560,584,728,560,728,560,584,728,560,608,728,728,560,560,696,728, \ 727,608,584,727,608,728,728,728,728,760,728,727,696,727,696,655, \ 728,759,759,760,696,728,759,726,760,632,759,760,757,760,695,727 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,3,2,5,6,7,8,9,10,11,12,13,14,15, \ + 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, \ 14,15,18,19,18,14,18,18,22,18,19,20,18,18,20,20, \ 22,22,23,22,26,26,23,26,24,30,28,28,28,28,30,30, \ 32,34,32,34,32,33,32,37,32,37,32,37,32,39,34,35, \ - 39,34,34,39,39,37,39,39,39,39,37,39,39,45,39,46, \ - 47,45,48,43,52,44,50,50,48,46,46,46,52,56,47,56, \ - 52,60,60,56,56,64,61,60,56,64,54,63,56,64,64,60, \ + 39,34,35,39,39,37,39,39,39,39,39,39,40,45,41,46, \ + 47,45,48,43,52,44,50,50,48,46,47,47,52,56,49,56, \ + 52,60,60,56,56,64,61,60,56,64,55,63,56,64,64,60, \ 64,64,64,63,64,60,64,64,64,64,64,64,64,68,78,66, \ - 68,69,78,74,78,67,67,74,78,74,74,78,79,78,78,79, \ - 78,78,78,78,78,78,78,78,88,78,78,92,87,88,88,88, \ + 68,69,78,74,78,68,69,74,78,74,74,78,79,78,78,79, \ + 78,78,78,78,78,78,78,78,88,78,79,92,87,88,88,88, \ 96,92,95,91,92,94,95,96,92,96,92,96,92,112,96,112, \ 112,96,94,112,112,112,112,112,112,112,112,112,112,112,112,112, \ 128,112,112,128,112,112,112,128,112,112,112,128,112,112,128,112, \ 112,112,128,112,112,120,128,128,128,128,128,128,128,128,128,128, \ 128,128,120,128,128,128,128,128,120,128,128,128,128,128,128,128, \ - 128,128,128,128,128,128,126,128,128,128,128,127,128,128,128,128, \ + 128,128,128,128,128,128,126,128,128,128,128,127,128,128,129,129, \ 148,148,144,143,140,141,140,148,148,141,136,148,148,157,156,148, \ 160,160,160,156,156,156,156,148,148,160,144,160,160,160,156,160, \ - 156,157,160,156,156,156,148,156,155,156,156,156,156,160,160,156, \ - 156,160,160,158,160,156,160,158,159,160,160,160,158,160,176,160, \ - 160,184,180,184,184,186,184,184,184,184,186,184,184,184,184,184, \ + 156,157,160,156,156,156,149,156,155,156,156,156,156,160,160,156, \ + 156,160,160,158,160,156,160,158,159,160,160,160,160,160,176,161, \ + 162,184,180,184,184,186,184,184,184,184,186,184,184,184,184,184, \ 185,184,184,186,192,184,185,186,184,184,183,183,184,184,186,184, \ 192,184,208,184,224,186,208,186,209,192,208,184,207,208,224,210, \ - 207,185,186,192,224,208,208,224,224,216,207,208,207,224,208,208, \ + 207,186,187,192,224,208,208,224,224,216,207,208,207,224,208,208, \ 224,216,216,208,224,216,224,224,216,224,224,224,224,224,224,224, \ 224,221,234,224,232,224,224,232,224,224,224,232,224,225,224,224, \ 224,224,224,224,224,224,224,224,224,256,224,256,224,232,224,224, \ - 224,224,224,232,224,222,224,256,222,224,224,224,224,224,224,224, \ - 224,256,232,256,240,233,240,232,248,234,233,256,240,256,256,256, \ + 224,224,224,232,224,222,224,256,222,224,224,224,224,224,225,225, \ + 226,256,232,256,240,233,240,232,248,234,233,256,240,256,256,256, \ 256,248,248,256,256,248,256,256,256,248,256,256,256,256,256,256, \ 256,256,256,256,256,256,248,256,248,256,248,248,256,256,256,256, \ - 256,256,280,256,256,296,280,280,256,256,296,280,280,256,256,256, \ + 256,256,280,256,256,296,280,280,256,256,296,280,280,256,257,257, \ 296,296,280,296,280,296,296,296,280,280,312,296,280,296,312,312, \ 312,312,312,312,312,312,312,312,312,296,296,312,296,296,312,312, \ 312,296,312,312,296,311,312,312,312,312,312,312,312,312,312,296, \ 296,312,312,296,312,312,312,312,312,312,312,296,296,312,312,312, \ 312,312,312,312,312,312,312,312,296,312,312,312,312,312,312,312, \ 312,312,312,312,311,311,312,312,312,312,312,312,312,311,312,312, \ - 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ - 320,320,319,320,320,320,320,360,372,320,360,320,319,320,320,320, \ + 312,312,312,312,312,312,312,312,312,312,312,312,312,312,313,313, \ + 320,320,319,320,320,320,320,360,372,320,360,320,320,320,321,321, \ 368,344,368,368,369,372,368,370,372,368,352,352,360,370,376,360, \ 360,360,360,368,360,368,372,360,370,368,368,367,368,368,360,372, \ 368,368,370,372,372,372,370,368,368,368,368,368,368,368,369,372, \ @@ -190,13 +190,13 @@ 448,440,448,448,448,448,448,448,448,448,448,440,445,448,448,448, \ 448,439,433,448,496,448,448,440,448,440,440,448,448,496,480,448, \ 448,448,448,468,448,496,448,448,448,468,448,496,448,467,448,448, \ - 448,496,496,496,448,448,468,496,448,448,468,448,480,496,480,448, \ + 448,496,496,496,448,448,468,496,448,448,468,448,480,496,480,449, \ 468,512,496,496,512,496,496,480,496,512,496,512,496,512,496,512, \ 512,480,495,496,496,496,480,496,512,496,480,480,512,497,512,496, \ 512,512,496,496,496,512,496,496,512,512,512,496,480,560,496,496, \ 496,496,512,512,512,496,496,512,512,496,496,496,496,480,560,560, \ 512,496,496,560,576,496,496,560,560,496,560,512,496,560,560,560, \ - 560,496,512,560,560,496,512,496,496,576,560,512,512,512,496,560, \ + 560,496,512,560,560,496,512,496,496,576,560,512,512,512,497,560, \ 512,560,512,512,560,512,560,512,576,512,576,575,560,560,592,512, \ 560,512,576,567,512,592,592,560,592,576,592,560,592,576,560,624 \ diff --git a/src/arm/mparam.h b/src/arm/mparam.h index 12f15aa9c..79ed4712b 100644 --- a/src/arm/mparam.h +++ b/src/arm/mparam.h @@ -67,27 +67,27 @@ 792,792,792,792,728,728,760,760,760,728,792,792,760,792,792,760, \ 760,760,824,792,824,792,824,792,824,792,824,824,824,824,824,824, \ 823,824,824,824,792,792,824,792,824,792,792,792,824,824,792,856 \ - + #define MPFR_SQRHIGH_TAB \ -1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \ - 0,0,0,0,11,11,13,13,13,13,15,15,15,15,17,16, \ - 17,17,19,18,19,19,20,20,21,21,23,22,23,23,24,24, \ - 25,25,27,26,27,27,29,28,29,29,31,30,31,31,33,32, \ - 33,33,35,34,35,35,37,36,37,37,39,38,39,39,41,40, \ - 41,41,43,42,43,43,47,44,45,45,47,46,47,47,49,48, \ - 49,49,51,50,51,51,53,52,53,53,55,54,55,55,57,56, \ - 57,57,59,58,59,59,61,60,61,61,63,62,63,63,67,64, \ - 65,65,67,67,67,67,69,68,69,69,71,70,73,71,75,72, \ - 73,73,75,77,75,75,82,76,82,82,82,82,82,82,82,82, \ - 82,82,86,86,90,90,90,84,90,90,90,90,90,90,90,94, \ + 0,0,0,0,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,41, \ + 42,42,43,43,44,44,47,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,67,65, \ + 66,66,67,67,68,68,69,69,70,70,71,71,73,72,75,73, \ + 74,74,75,77,76,76,82,77,82,82,82,82,82,82,82,82, \ + 82,82,86,86,90,90,90,85,90,90,90,90,90,90,90,94, \ 90,94,98,94,98,98,98,98,98,98,98,98,98,98,98,102, \ 106,106,106,102,106,106,106,106,106,106,106,110,106,114,114,110, \ 110,114,114,114,114,114,114,118,114,114,114,118,122,122,122,118, \ - 122,122,122,122,122,122,122,126,130,130,126,118,130,120,130,120, \ - 122,122,122,122,123,124,125,124,126,126,126,128,127,128,130,130, \ - 130,132,130,132,134,132,141,136,141,138,147,144,147,144,147,144, \ - 147,150,147,150,153,150,153,156,153,156,159,156,159,156,147,144, \ - 147,150,147,150,147,150,153,156,153,156,159,156,159,156,159,162, \ + 122,122,122,122,122,122,122,126,130,130,126,119,130,120,130,121, \ + 122,122,123,123,124,124,125,125,126,126,127,128,128,128,130,130, \ + 130,132,131,132,134,132,141,136,141,138,147,144,147,144,147,144, \ + 147,150,147,150,153,150,153,156,153,156,159,156,159,156,147,145, \ + 147,150,147,150,148,150,153,156,153,156,159,156,159,156,159,162, \ 159,162,159,162,159,162,165,168,165,168,165,168,171,174,171,174, \ 171,174,177,174,171,180,177,174,177,180,183,180,183,180,183,186, \ 183,186,183,186,183,180,189,180,195,180,183,180,183,180,183,186, \ @@ -133,68 +133,68 @@ 647,648,647,648,647,648,647,648,648,648,648,648,647,648,648,648, \ 648,648,648,648,648,664,648,648,648,664,616,664,663,664,663,664, \ 608,664,616,664,616,664,616,664,608,632,616,616,680,632,616,632 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,2,2,5,6,7,8,9,10,11,12,13,14,15, \ + 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, \ 16,17,18,17,18,17,13,16,16,16,19,18,19,19,20,20, \ 23,24,21,24,25,24,27,25,24,26,25,28,27,29,31,31, \ 29,31,32,32,32,33,29,34,33,33,34,37,32,36,37,37, \ 39,36,36,38,41,41,41,42,42,43,43,45,44,44,44,43, \ 45,45,48,44,47,48,47,52,47,49,51,52,49,52,53,49, \ - 55,57,53,56,57,57,57,59,58,62,56,59,54,63,63,60, \ - 56,65,64,66,64,60,67,67,61,68,66,66,67,69,65,71, \ - 70,73,69,68,73,72,73,69,75,75,69,74,75,73,73,78, \ + 55,57,53,56,57,57,57,59,58,62,56,59,56,63,63,60, \ + 58,65,64,66,64,60,67,67,62,68,66,66,67,69,65,71, \ + 70,73,69,68,73,72,73,69,75,75,71,74,75,73,73,78, \ 76,75,77,81,80,80,77,77,81,84,85,84,84,80,81,86, \ - 83,85,85,86,88,88,84,91,87,89,89,93,91,89,88,95, \ - 96,95,91,91,91,92,96,92,99,99,96,96,97,96,101,100, \ - 98,107,100,106,104,101,99,100,105,107,109,103,110,107,104,108, \ - 106,109,111,112,114,109,116,109,116,114,113,117,116,114,115,112, \ - 113,116,120,120,121,118,117,122,125,117,120,119,125,120,119,121, \ - 125,125,121,124,125,125,125,125,127,125,125,128,127,131,127,128, \ - 129,130,129,130,130,132,132,133,133,133,133,144,136,143,145,148, \ + 83,85,85,86,88,88,85,91,87,89,89,93,91,89,89,95, \ + 96,95,91,91,92,92,96,93,99,99,96,96,97,96,101,100, \ + 98,107,100,106,104,101,101,101,105,107,109,103,110,107,105,108, \ + 106,109,111,112,114,109,116,109,116,114,113,117,116,114,115,113, \ + 114,116,120,120,121,118,117,122,125,118,120,119,125,120,121,121, \ + 125,125,123,124,125,125,125,125,127,126,127,128,128,131,129,129, \ + 130,130,131,131,132,132,133,133,134,134,135,144,136,143,145,148, \ 143,144,152,152,152,148,149,152,152,152,151,149,160,152,152,152, \ - 151,151,152,152,168,152,152,150,152,151,152,159,150,160,160,152, \ + 151,151,152,152,168,152,152,150,152,151,152,159,152,160,160,153, \ 167,176,159,160,168,160,159,168,167,167,167,168,175,160,178,166, \ - 165,168,176,168,167,176,168,176,179,168,184,184,180,176,184,168, \ + 165,168,176,168,167,176,168,176,179,168,184,184,180,176,184,169, \ 175,175,182,174,175,176,183,184,184,176,192,178,184,183,182,183, \ 183,183,184,191,183,186,184,192,184,184,191,199,199,200,200,192, \ 192,192,200,208,199,197,200,202,207,208,208,198,210,208,199,209, \ 215,208,208,216,208,216,204,215,200,208,211,200,206,207,216,208, \ - 200,207,208,208,216,208,208,207,214,209,216,216,212,208,218,215, \ + 202,207,208,208,216,208,208,207,214,209,216,216,212,208,218,215, \ 214,216,216,211,216,215,216,216,216,224,216,224,218,216,224,218, \ 230,224,224,238,222,232,224,226,236,222,228,232,232,238,240,240, \ - 224,240,230,239,240,239,240,239,240,232,240,230,232,240,232,240, \ - 240,239,238,240,240,240,246,258,240,237,238,238,240,255,240,258, \ - 240,254,258,252,253,257,257,252,258,258,252,258,246,254,252,264, \ - 263,257,262,266,256,266,252,258,264,258,258,270,266,262,258,257, \ - 258,258,272,258,264,265,284,304,263,266,264,288,304,304,270,282, \ + 226,240,230,239,240,239,240,239,240,232,240,231,232,240,233,240, \ + 240,239,238,240,240,240,246,258,240,238,239,239,240,255,241,258, \ + 242,254,258,252,253,257,257,252,258,258,252,258,248,254,252,264, \ + 263,257,262,266,256,266,253,258,264,258,258,270,266,262,258,257, \ + 258,258,272,259,264,265,284,304,263,266,264,288,304,304,270,282, \ 300,304,288,288,288,294,288,292,302,300,286,304,302,288,300,304, \ 302,298,304,288,304,304,304,300,288,304,316,304,300,314,288,300, \ 312,302,304,304,306,302,303,300,304,304,311,304,316,300,336,318, \ 304,318,304,312,316,300,304,308,304,312,320,318,320,336,304,316, \ - 299,336,318,318,318,304,340,336,320,304,304,336,324,348,304,316, \ + 299,336,318,318,318,304,340,336,320,304,304,336,324,348,305,316, \ 334,316,352,336,336,336,318,336,340,336,354,318,320,352,352,352, \ 318,336,328,318,352,336,358,330,342,360,366,366,350,334,348,336, \ 354,350,348,340,336,352,352,352,336,352,332,350,366,336,351,366, \ 352,366,352,352,352,336,336,348,353,336,351,366,366,360,366,346, \ 350,362,366,352,366,366,352,364,353,356,348,366,368,352,365,348, \ 353,366,350,366,352,352,364,372,354,352,372,352,362,352,368,365, \ - 352,354,366,372,366,368,364,370,368,368,366,372,368,368,366,366, \ - 368,405,374,364,366,384,372,366,366,368,366,390,366,400,372,400, \ + 354,354,366,372,366,368,364,370,368,368,366,372,368,368,366,366, \ + 368,405,374,364,366,384,372,366,366,368,367,390,368,400,372,400, \ 371,392,413,399,380,400,404,417,415,386,384,400,392,400,405,407, \ 399,421,408,400,406,408,415,421,416,400,419,415,406,416,412,408, \ 422,408,416,431,416,421,404,416,400,416,417,431,415,392,424,424, \ 415,432,421,416,432,432,408,399,415,416,400,424,422,408,420,431, \ - 423,432,417,416,415,432,413,414,432,424,424,416,416,432,415,408, \ - 416,424,416,430,415,431,423,432,423,424,424,420,415,431,415,436, \ - 420,430,424,430,428,419,421,424,428,431,464,430,424,439,428,448, \ + 423,432,417,416,415,432,413,414,432,424,424,416,416,432,415,409, \ + 416,424,416,430,415,431,423,432,423,424,424,420,416,431,417,436, \ + 420,430,424,430,428,420,421,424,428,431,464,430,424,439,428,448, \ 432,431,432,433,436,440,464,469,468,453,431,440,448,440,449,463, \ 464,439,440,468,480,447,448,463,468,440,472,470,480,464,470,480, \ 464,471,471,464,479,460,464,461,488,478,468,480,479,464,488,463, \ - 449,478,464,469,464,471,488,465,478,488,477,480,481,472,480,488, \ + 450,478,464,469,464,471,488,465,478,488,477,480,481,472,480,488, \ 496,468,480,479,488,480,488,469,463,488,480,480,464,477,480,481, \ 504,472,480,516,504,504,504,478,480,479,488,516,480,483,485,516, \ - 488,488,488,516,504,488,481,484,480,516,512,528,504,479,532,503, \ + 488,488,488,516,504,488,481,484,480,516,512,528,504,480,532,503, \ 488,504,516,536,488,528,516,488,532,516,528,501,512,504,516,504, \ 528,492,520,516,516,504,525,496,516,520,516,512,520,532,528,516, \ 516,524,512,508,520,528,516,532,532,516,533,516,528,504,528,516, \ diff --git a/src/hppa/mparam.h b/src/hppa/mparam.h index 7d6a92bf2..f45b4b2b5 100644 --- a/src/hppa/mparam.h +++ b/src/hppa/mparam.h @@ -67,20 +67,20 @@ 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ 832,831,832,832,832,832,832,831,832,832,832,832,832,832,832,832, \ 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \ - + #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,0,0,0,0,0,0,6,8,7,8,9, \ - 9,9,10,11,12,11,12,13,14,13,14,15,16,15,16,17, \ - 18,17,18,19,20,19,20,21,22,21,22,25,24,23,24,25, \ - 26,25,26,27,28,27,28,29,30,29,30,31,32,31,32,33, \ - 34,33,34,35,36,35,36,37,38,37,38,39,40,39,40,41, \ - 42,41,42,43,44,47,44,47,48,47,52,51,52,51,52,51, \ - 52,51,52,55,56,51,56,55,56,55,56,59,60,59,60,63, \ + -1,0,0,0,0,0,0,0,0,0,0,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,23,25,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,41, \ + 42,42,43,43,44,47,45,47,48,47,52,51,52,51,52,51, \ + 52,51,52,55,56,52,56,55,56,55,56,59,60,59,60,63, \ 60,63,64,63,64,67,68,63,64,67,68,67,68,71,72,71, \ 72,74,68,71,72,71,72,75,76,75,76,79,80,79,80,79, \ - 80,79,80,83,84,75,76,77,78,79,80,79,80,79,80,83, \ + 80,79,80,83,84,76,77,77,78,79,80,79,80,80,81,83, \ 84,83,84,87,88,87,88,93,92,93,96,93,96,99,96,99, \ - 98,99,102,105,102,105,104,105,96,99,96,99,96,99,96,99, \ + 98,99,102,105,102,105,104,105,96,99,96,99,96,99,97,99, \ 102,99,102,99,102,105,102,105,108,105,108,105,108,111,114,111, \ 114,117,114,117,116,117,114,117,116,117,122,117,122,123,122,123, \ 126,123,126,129,126,129,128,129,132,129,132,141,132,141,140,141, \ @@ -92,7 +92,7 @@ 189,188,189,188,189,188,189,188,189,188,189,188,189,188,189,200, \ 201,200,201,200,201,200,201,200,201,200,201,212,213,212,213,212, \ 213,212,213,212,213,212,213,224,225,212,213,224,225,224,225,224, \ - 225,188,189,188,189,188,189,188,189,189,201,200,201,200,195,200, \ + 225,188,189,188,189,188,189,189,190,190,201,200,201,200,195,200, \ 201,200,201,200,201,200,201,200,201,200,201,212,213,212,213,212, \ 213,212,213,212,213,212,213,224,225,224,213,224,225,224,225,224, \ 225,224,225,225,223,224,225,236,237,236,237,236,237,236,237,237, \ @@ -133,32 +133,32 @@ 592,615,616,615,616,615,616,615,616,615,616,616,616,616,616,615, \ 616,615,624,623,624,623,624,623,624,623,624,623,624,631,624,631, \ 632,631,624,631,632,647,648,647,648,647,648,647,648,647,648,647 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,2,2,5,6,7,8,7,10,11,10,11,14,15, \ - 14,15,14,15,10,15,14,12,14,14,14,16,16,16,18,20, \ + 0,1,2,3,4,5,6,7,8,7,10,11,10,11,14,15, \ + 14,15,14,15,12,15,14,13,14,14,15,16,16,16,18,20, \ 22,20,22,23,26,24,26,23,26,23,30,27,26,27,26,31, \ 30,31,30,28,34,31,34,32,30,35,34,31,34,36,38,35, \ - 34,36,34,39,38,40,38,43,38,40,42,43,42,43,42,40, \ - 42,48,46,48,46,48,46,48,50,48,46,48,46,52,54,52, \ + 34,36,35,39,38,40,38,43,38,40,42,43,42,43,42,41, \ + 42,48,46,48,46,48,46,48,50,48,47,48,48,52,54,52, \ 50,52,54,56,54,56,54,56,58,56,62,59,58,60,62,63, \ 62,64,62,64,66,64,62,64,62,72,66,71,66,64,74,68, \ - 70,67,66,71,70,72,74,72,70,76,74,79,78,76,74,79, \ - 74,83,78,84,74,79,82,80,78,79,78,84,82,80,82,87, \ - 86,84,86,84,86,84,90,88,90,88,86,86,90,88,90,88, \ - 90,92,90,104,90,92,94,92,94,96,98,96,94,104,98,104, \ - 98,104,100,104,98,102,104,104,100,104,104,104,104,104,108,112, \ + 70,67,67,71,70,72,74,72,70,76,74,79,78,76,74,79, \ + 74,83,78,84,76,79,82,80,78,79,79,84,82,80,82,87, \ + 86,84,86,84,86,84,90,88,90,88,87,87,90,88,90,89, \ + 90,92,91,104,92,92,94,93,94,96,98,96,96,104,98,104, \ + 98,104,100,104,100,102,104,104,102,104,104,104,104,104,108,112, \ 112,110,128,112,128,128,128,112,128,128,128,128,128,128,128,128, \ 128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \ - 128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \ - 128,130,140,142,140,142,140,142,140,142,148,144,140,142,142,142, \ - 140,142,140,142,140,144,140,144,142,144,144,144,160,144,144,144, \ + 128,128,128,128,128,128,128,128,128,128,128,128,128,128,129,129, \ + 130,130,140,142,140,142,140,142,140,142,148,144,140,142,142,142, \ + 140,142,140,142,140,144,141,144,142,144,144,144,160,144,145,145, \ 148,158,148,160,160,158,156,158,160,160,156,160,156,158,156,160, \ 160,160,160,182,156,160,164,182,182,182,182,184,182,184,182,182, \ 184,182,182,182,182,186,184,184,186,186,184,182,184,184,182,186, \ 182,185,182,185,184,185,186,185,182,185,182,185,184,184,184,182, \ - 182,182,180,182,182,182,182,182,182,184,184,182,182,184,184,185, \ - 184,185,186,186,186,198,196,198,196,208,196,198,196,208,196,208, \ + 182,182,180,182,182,182,182,182,182,184,184,183,184,184,185,185, \ + 186,186,187,187,188,198,196,198,196,208,196,198,196,208,196,208, \ 200,208,208,206,196,208,208,208,208,208,208,208,208,208,208,208, \ 208,208,208,208,208,208,216,208,208,208,208,208,216,208,224,224, \ 216,224,224,224,224,224,216,224,224,224,256,224,256,224,224,224, \ @@ -166,14 +166,14 @@ 256,254,256,254,256,256,256,254,256,254,256,254,256,254,256,254, \ 256,256,256,254,256,256,256,254,256,256,256,256,256,256,256,254, \ 256,254,256,256,256,254,256,256,256,254,256,256,256,254,256,254, \ - 256,254,280,256,256,254,280,282,282,282,280,256,280,256,282,256, \ + 256,254,280,256,256,254,280,282,282,282,280,256,280,256,282,257, \ 282,282,282,288,280,281,280,282,282,280,282,282,280,281,280,282, \ 282,282,280,282,281,282,282,288,282,282,282,288,282,288,288,288, \ - 282,282,282,288,280,288,282,282,282,282,282,288,282,288,280,288, \ - 282,282,282,288,282,288,288,288,288,288,288,288,288,288,288,288, \ - 288,304,296,304,304,304,304,302,304,302,312,302,296,302,304,304, \ + 282,282,282,288,280,288,282,282,282,282,282,288,282,288,281,288, \ + 282,282,283,288,284,288,288,288,288,288,288,288,288,288,289,289, \ + 290,304,296,304,304,304,304,302,304,302,312,302,296,302,304,304, \ 312,304,312,302,304,370,312,304,372,304,312,304,304,370,372,370, \ - 304,371,372,371,372,370,372,370,370,370,372,370,370,370,372,370, \ + 306,371,372,371,372,370,372,370,370,370,372,370,370,370,372,370, \ 371,370,372,371,372,370,372,370,370,370,372,370,370,370,370,370, \ 370,370,372,370,370,370,372,370,372,370,372,370,370,370,372,370, \ 370,370,370,370,372,370,372,370,372,370,372,370,370,372,372,370, \ @@ -181,13 +181,13 @@ 372,370,368,370,370,370,372,372,369,370,372,370,372,370,371,370, \ 371,370,372,370,369,370,372,370,372,370,372,371,372,370,371,370, \ 372,370,370,371,372,370,372,370,372,370,370,372,372,370,372,372, \ - 372,370,372,370,370,372,372,372,372,416,376,416,376,416,376,418, \ - 376,416,384,416,384,416,416,416,392,416,400,416,392,416,416,416, \ + 372,370,372,371,372,372,373,373,374,416,376,416,376,416,377,418, \ + 378,416,384,416,384,416,416,416,392,416,400,416,392,416,416,416, \ 404,416,416,416,416,416,416,416,416,416,416,416,416,416,416,416, \ 416,416,416,416,418,418,416,416,416,420,416,416,418,416,418,416, \ 416,416,418,416,418,416,416,416,432,416,416,416,416,416,432,416, \ - 416,416,416,418,416,416,416,418,416,420,418,416,416,416,464,416, \ - 468,420,464,418,464,468,464,420,464,468,464,468,464,468,468,512, \ + 416,416,416,418,416,416,416,418,416,420,418,416,416,416,464,417, \ + 468,420,464,419,464,468,464,421,464,468,464,468,464,468,468,512, \ 512,508,512,468,512,468,464,510,468,510,512,512,512,512,512,512, \ 512,512,512,512,512,512,512,508,512,512,512,512,512,512,512,512, \ 512,512,512,512,512,512,512,512,512,508,512,508,512,512,512,512, \ diff --git a/src/ia64/mparam.h b/src/ia64/mparam.h index b57d12b10..95269c502 100644 --- a/src/ia64/mparam.h +++ b/src/ia64/mparam.h @@ -67,23 +67,23 @@ 784,760,784,784,784,783,784,784,782,784,832,831,784,784,784,784, \ 784,831,832,831,832,784,784,784,832,784,856,831,832,832,856,856, \ 784,856,832,831,832,832,856,856,856,856,856,856,856,856,856,856 \ - + #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,0,-1,-1,-1,6,6,6,8,7,8,8, \ - 10,9,10,11,12,11,12,12,14,13,14,15,16,15,16,16, \ - 18,17,18,18,20,20,20,20,22,22,22,24,24,24,24,24, \ - 29,25,26,27,29,29,30,31,32,33,30,31,32,33,34,35, \ - 36,37,38,35,36,35,38,37,40,41,42,41,42,43,44,45, \ - 46,41,48,43,44,51,46,47,54,47,48,51,52,49,50,51, \ - 52,49,50,55,52,55,54,57,56,57,58,59,60,57,62,59, \ + -1,0,0,0,0,0,-1,-1,-1,6,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,23,24,24,24,25,25, \ + 29,26,27,27,29,29,30,31,32,33,31,31,32,33,34,35, \ + 36,37,38,35,36,36,38,37,40,41,42,41,42,43,44,45, \ + 46,42,48,43,44,51,46,47,54,47,48,51,52,49,50,51, \ + 52,50,51,55,52,55,54,57,56,57,58,59,60,57,62,59, \ 60,65,62,67,68,65,66,67,68,65,66,63,64,69,66,71, \ 68,69,70,75,72,73,74,75,76,77,78,79,80,73,82,75, \ 84,77,78,83,80,81,82,83,84,85,86,87,88,89,90,89, \ - 90,93,94,95,96,97,98,97,100,85,88,87,90,89,88,91, \ - 92,89,90,91,92,93,100,97,98,93,94,99,96,97,98,99, \ - 100,101,102,99,100,99,106,101,102,103,104,103,106,105,106,109, \ - 108,105,110,107,108,107,116,111,116,119,116,113,128,115,112,113, \ - 114,113,114,115,128,115,126,117,128,135,130,126,124,119,126,126, \ + 90,93,94,95,96,97,98,97,100,86,88,87,90,89,89,91, \ + 92,90,91,91,92,93,100,97,98,94,95,99,96,97,98,99, \ + 100,101,102,99,100,100,106,101,102,103,104,103,106,105,106,109, \ + 108,106,110,107,108,108,116,111,116,119,116,113,128,115,113,113, \ + 114,114,115,115,128,116,126,117,128,135,130,126,124,120,126,126, \ 132,135,134,130,136,127,130,134,148,127,130,155,136,143,134,155, \ 132,135,166,155,156,161,144,134,148,143,166,149,156,167,166,159, \ 154,167,168,173,154,167,166,173,154,167,168,155,178,167,160,179, \ @@ -98,10 +98,10 @@ 228,235,238,251,252,239,240,251,220,239,246,251,250,257,238,236, \ 252,257,240,251,235,263,240,242,250,248,238,251,246,263,249,251, \ 252,263,262,275,249,248,262,251,252,281,264,275,261,260,264,260, \ - 233,233,273,236,237,237,238,236,237,239,240,240,240,239,246,245, \ - 248,241,247,242,243,248,249,245,252,248,249,251,261,257,255,260, \ - 259,263,262,255,259,263,262,260,259,263,256,269,265,257,256,260, \ - 267,263,273,260,274,272,280,275,268,263,262,287,288,284,283,284, \ + 234,234,273,236,237,237,238,237,238,239,240,240,240,240,246,245, \ + 248,242,247,243,244,248,249,245,252,248,249,251,261,257,255,260, \ + 259,263,262,255,259,263,262,260,259,263,256,269,265,257,257,260, \ + 267,263,273,260,274,272,280,275,268,263,263,287,288,284,283,284, \ 288,284,299,287,288,281,299,284,296,284,299,287,274,300,299,275, \ 299,300,315,308,304,300,315,314,315,316,320,316,304,300,315,300, \ 320,316,299,332,304,316,315,300,328,316,331,332,336,332,331,311, \ @@ -133,56 +133,56 @@ 600,615,616,599,600,599,600,599,600,599,600,599,600,599,600,599, \ 600,615,616,599,600,615,632,599,600,615,616,599,600,599,632,631, \ 600,615,632,599,632,631,632,631,664,647,616,631,664,647,632,663 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,2,2,5,6,7,8,9,10,11,12,13,14,15, \ + 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15, \ 16,17,18,19,20,21,22,23,24,25,22,27,24,21,25,22, \ 28,24,24,25,24,25,29,31,28,30,28,27,28,28,30,31, \ 31,37,38,37,36,38,38,38,36,39,41,37,36,38,36,35, \ 44,43,46,43,42,40,42,43,46,44,46,41,40,45,46,47, \ - 49,45,48,48,52,45,50,52,44,45,54,51,52,49,50,50, \ - 52,52,56,56,55,53,53,54,52,58,62,58,54,56,58,57, \ + 49,45,48,48,52,45,50,52,46,46,54,51,52,49,50,50, \ + 52,52,56,56,55,53,53,54,54,58,62,58,56,56,58,57, \ 68,65,68,65,66,60,64,62,64,62,68,73,68,70,72,73, \ - 64,75,76,71,76,77,72,85,84,77,70,85,76,81,84,84, \ - 84,85,84,77,84,81,76,77,84,83,80,85,84,86,84,83, \ - 84,85,88,91,90,84,84,85,84,87,92,87,108,99,88,100, \ - 104,103,96,104,104,104,112,109,104,103,104,101,96,107,96,104, \ - 96,100,100,104,104,112,104,109,112,109,110,112,112,116,116,120, \ - 104,114,112,117,120,120,112,109,120,116,124,115,112,117,112,112, \ + 66,75,76,71,76,77,72,85,84,77,71,85,76,81,84,84, \ + 84,85,84,77,84,81,77,77,84,83,80,85,84,86,84,83, \ + 84,85,88,91,90,84,85,85,86,87,92,87,108,99,89,100, \ + 104,103,96,104,104,104,112,109,104,103,104,101,96,107,97,104, \ + 98,100,100,104,104,112,104,109,112,109,110,112,112,116,116,120, \ + 106,114,112,117,120,120,112,109,120,116,124,115,112,117,113,113, \ 120,124,120,120,120,117,120,123,120,127,128,144,124,133,124,136, \ - 132,131,128,127,136,125,144,144,132,144,144,152,144,127,144,144, \ + 132,131,128,127,136,125,144,144,132,144,144,152,144,128,144,144, \ 144,139,132,153,150,151,140,145,152,151,152,143,152,164,144,151, \ - 152,152,152,149,144,159,152,152,148,151,152,152,160,144,144,155, \ + 152,152,152,149,144,159,152,152,148,151,152,152,160,144,145,155, \ 152,159,168,171,160,160,168,165,155,163,158,152,152,160,160,167, \ - 152,160,164,159,168,170,162,162,164,159,168,168,168,176,166,168, \ - 168,166,176,168,168,168,168,176,176,171,176,176,176,172,184,168, \ + 154,160,164,159,168,170,162,162,164,159,168,168,168,176,166,168, \ + 168,166,176,168,168,168,168,176,176,171,176,176,176,172,184,169, \ 192,172,192,172,192,172,176,186,176,192,192,198,192,200,198,191, \ 192,198,198,198,216,192,212,216,192,192,192,213,216,191,216,215, \ - 208,216,215,191,196,192,208,208,216,198,198,208,200,216,216,192, \ + 208,216,215,191,196,192,208,208,216,198,198,208,200,216,216,193, \ 216,216,216,208,208,216,216,208,216,222,216,215,208,232,232,233, \ 240,221,234,220,216,240,240,216,216,240,224,232,208,239,240,224, \ - 218,219,233,240,240,216,233,234,240,232,222,240,224,233,216,233, \ + 218,219,233,240,240,216,233,234,240,232,222,240,224,233,217,233, \ 224,232,240,232,246,222,240,240,236,233,240,240,240,240,230,234, \ 240,234,240,240,240,228,245,240,238,240,240,232,240,238,240,240, \ - 240,240,240,234,240,240,240,240,256,240,240,240,240,246,240,246, \ - 288,288,256,256,256,288,288,288,258,294,246,288,288,256,254,263, \ - 288,256,257,256,263,265,288,257,252,256,256,264,256,264,288,266, \ - 256,312,312,280,288,287,288,288,288,280,288,282,288,294,288,288, \ + 240,240,240,235,240,240,240,240,256,240,240,240,240,246,241,246, \ + 288,288,256,256,256,288,288,288,258,294,247,288,288,256,254,263, \ + 288,256,257,256,263,265,288,257,254,256,256,264,256,264,288,266, \ + 258,312,312,280,288,287,288,288,288,280,288,282,288,294,288,288, \ 288,292,288,281,288,288,288,281,294,303,288,304,288,288,288,292, \ 304,288,288,282,280,288,312,320,280,304,288,282,328,288,304,288, \ 288,288,288,289,288,288,312,288,318,329,288,288,304,318,318,294, \ - 288,318,304,318,306,312,336,319,329,320,304,330,324,311,336,318, \ + 290,318,304,318,306,312,336,319,329,320,304,330,324,311,336,318, \ 342,318,330,320,324,319,304,336,329,336,352,335,320,326,352,336, \ 336,329,326,324,324,336,327,316,336,336,336,336,342,328,318,335, \ 320,336,336,324,320,335,342,336,336,352,342,336,352,326,336,336, \ 336,352,336,328,342,328,342,336,328,352,384,352,336,329,352,336, \ 384,352,384,351,352,336,384,384,336,384,384,384,352,352,342,352, \ 384,384,351,351,384,372,384,360,352,368,383,384,368,383,384,372, \ - 384,384,352,384,384,384,352,384,384,392,384,384,384,384,352,372, \ + 384,384,352,384,384,384,352,384,384,392,384,384,384,384,353,372, \ 384,384,384,381,384,384,384,384,384,396,384,396,384,384,384,384, \ 384,396,384,384,384,399,384,384,384,384,384,396,384,383,384,432, \ 384,383,384,384,384,396,416,384,384,431,400,384,396,418,426,384, \ - 424,432,432,432,432,396,416,384,384,401,432,416,416,432,384,432, \ + 424,432,432,432,432,396,416,384,384,401,432,416,416,432,385,432, \ 416,408,432,448,448,416,432,415,416,431,416,428,396,420,394,396, \ 432,432,432,400,432,432,416,432,432,432,432,430,448,432,444,433, \ 416,420,468,428,430,430,430,432,432,432,432,432,450,432,416,432, \ @@ -194,10 +194,10 @@ 492,469,464,472,480,470,480,469,476,480,464,480,488,468,472,480, \ 488,501,472,480,512,468,480,467,480,472,480,480,464,468,480,496, \ 480,472,504,500,480,480,496,480,472,480,480,496,480,512,480,480, \ - 576,498,503,500,480,502,480,504,497,480,504,480,504,480,480,576, \ + 576,498,503,500,480,502,480,504,497,480,504,480,504,480,481,576, \ 512,491,512,532,576,496,501,499,576,534,508,533,576,500,492,492, \ 534,500,528,500,528,511,576,526,564,576,576,504,528,576,576,500, \ - 528,584,576,576,562,512,500,576,576,528,576,576,576,576,536,515, \ + 528,584,576,576,562,512,501,576,576,528,576,576,576,576,536,515, \ 532,562,576,561,576,576,576,536,576,576,560,528,568,576,576,576 \ #define MPFR_MUL_THRESHOLD 54 /* limbs */ diff --git a/src/mulders.c b/src/mulders.c index 4e18db354..fa9528234 100644 --- a/src/mulders.c +++ b/src/mulders.c @@ -204,7 +204,7 @@ mpfr_divhigh_n (mpfr_limb_ptr qp, mpfr_limb_ptr np, mpfr_limb_ptr dp, MPFR_TMP_DECL(marker); k = divhigh_ktab[n]; - MPFR_ASSERTD ((n+4)/2 <= k && k < n); /* bounds from [1] */ + MPFR_ASSERTD ((n+4)/2 <= k && k <= n); /* bounds from [1] */ /* for k=n, we use a full division (mpn_divrem) */ diff --git a/src/powerpc32/mparam.h b/src/powerpc32/mparam.h index 63e225e2d..9909c1767 100644 --- a/src/powerpc32/mparam.h +++ b/src/powerpc32/mparam.h @@ -3,202 +3,202 @@ /* used MPFR svn revision 7238 */ #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,0,0,0,0,0,0,0,0,0,0,0,0,0, \ - 0,0,0,0,0,0,0,0,0,0,40,40,40,40,40,40, \ - 40,40,40,40,40,44,48,48,48,48,48,48,48,48,48,48, \ - 48,48,48,48,52,52,52,52,52,52,52,52,52,52,52,64, \ - 64,64,64,64,74,74,74,75,74,75,75,75,75,75,75,75, \ - 75,75,75,75,75,75,75,75,75,75,75,75,75,75,75,75, \ - 75,93,93,93,93,93,93,93,93,93,93,93,93,93,93,93, \ - 105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \ - 105,105,124,124,124,124,124,124,124,124,124,124,124,124,124,124, \ - 124,124,124,124,124,124,140,140,140,140,140,140,140,140,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ - 156,156,156,156,156,156,156,156,186,186,186,186,186,186,186,186, \ - 186,186,186,186,186,186,186,186,186,186,186,186,186,186,210,210, \ - 210,210,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,233,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,280,280,280,280,280,280,280,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ - 312,312,312,312,312,312,312,312,312,344,344,344,344,344,344,312, \ - 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \ - 344,344,344,344,344,344,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ - 376,376,376,376,376,376,376,376,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,407,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ - 408,408,408,408,408,408,408,408,408,408,408,408,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,584,584,584,584,584,584,584,584,584,584,584, \ - 584,584,584,584,584,584,584,584,583,584,583,584,584,584,584,584, \ - 592,584,592,584,592,592,592,592,592,584,592,592,592,584,584,584, \ - 584,584,584,584,584,584,584,584,584,584,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,591,592,591,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,591,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ - 592,592,592,592,592,592,592,592,592,592,592,592,592,592,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,735,736,735,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ - 736,736,736,736,736,736,736,736,736,736,736,736,736,832,832,736, \ - 832,831,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ - 832,832,831,832,832,832,832,832,832,832,832,832,832,832,832,832, \ - 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \ + -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,0,0,0,0, \ + 0,0,0,0,0,0,0,0,0,0,40,40,40,40,40,40, \ + 40,40,40,40,40,44,48,48,48,48,48,48,48,48,48,48, \ + 48,48,48,48,52,52,52,52,52,52,52,52,52,52,52,64, \ + 64,64,64,64,74,74,74,75,74,75,75,75,75,75,75,75, \ + 75,75,75,75,75,75,75,75,75,75,75,75,75,75,75,75, \ + 75,93,93,93,93,93,93,93,93,93,93,93,93,93,93,93, \ + 105,105,105,105,105,105,105,105,105,105,105,105,105,105,105,105, \ + 105,105,124,124,124,124,124,124,124,124,124,124,124,124,124,124, \ + 124,124,124,124,124,124,140,140,140,140,140,140,140,140,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,156,156,156,156,156,156,156,156, \ + 156,156,156,156,156,156,156,156,186,186,186,186,186,186,186,186, \ + 186,186,186,186,186,186,186,186,186,186,186,186,186,186,210,210, \ + 210,210,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,233,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,234,234,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,280,280,280,280,280,280,280,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,312,312,312,312,312,312,312, \ + 312,312,312,312,312,312,312,312,312,344,344,344,344,344,344,312, \ + 344,344,344,344,344,344,344,344,344,344,344,344,344,344,344,344, \ + 344,344,344,344,344,344,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,376,376,376,376,376,376,376,376, \ + 376,376,376,376,376,376,376,376,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,407,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ + 408,408,408,408,408,408,408,408,408,408,408,408,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,584,584,584,584,584,584,584,584,584,584,584, \ + 584,584,584,584,584,584,584,584,583,584,583,584,584,584,584,584, \ + 592,584,592,584,592,592,592,592,592,584,592,592,592,584,584,584, \ + 584,584,584,584,584,584,584,584,584,584,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,591,592,591,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,591,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,592,592, \ + 592,592,592,592,592,592,592,592,592,592,592,592,592,592,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,735,736,735,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ + 736,736,736,736,736,736,736,736,736,736,736,736,736,832,832,736, \ + 832,831,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \ + 832,832,831,832,832,832,832,832,832,832,832,832,832,832,832,832, \ + 832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \ #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,0,0,0,0,0,0,6,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,23,23,24,24, \ - 26,26,26,28,28,28,30,32,32,32,32,32,32,32,34,34, \ - 36,36,36,36,36,40,40,40,40,40,40,40,42,42,42,44, \ - 44,44,46,46,46,46,46,46,46,46,46,46,56,56,56,56, \ - 56,56,56,56,60,64,64,64,64,64,64,64,64,64,64,64, \ - 64,64,64,68,68,72,72,72,72,72,72,72,72,76,76,76, \ - 76,76,76,76,68,72,72,72,72,72,76,76,76,76,76,76, \ - 76,76,76,76,76,76,76,76,87,90,93,93,93,93,93,93, \ - 93,96,99,99,99,99,93,96,93,93,96,99,99,102,99,99, \ - 105,102,105,105,105,105,108,108,108,111,111,111,111,111,117,117, \ - 117,117,117,117,117,117,123,123,123,123,123,123,123,126,126,129, \ - 129,123,129,129,129,129,129,129,129,129,129,129,129,129,129,129, \ - 129,123,123,123,123,123,123,123,126,129,129,129,129,129,129,129, \ - 129,129,129,129,129,129,164,164,164,164,164,164,164,164,164,164, \ - 172,172,172,172,172,172,156,156,156,156,156,156,156,156,156,163, \ - 164,164,164,164,164,171,171,171,172,172,172,172,172,172,172,180, \ - 180,179,180,180,180,180,180,180,180,180,180,180,180,180,180,180, \ - 180,180,180,180,198,198,198,198,180,198,198,198,210,210,210,210, \ - 210,210,210,210,210,210,210,222,222,222,222,222,222,222,222,222, \ - 222,222,222,222,234,234,234,234,234,234,234,234,234,234,234,234, \ - 234,234,246,246,246,246,246,246,246,246,246,246,246,246,246,246, \ - 258,246,246,258,258,258,258,258,258,258,258,258,258,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ - 270,270,270,270,270,270,270,270,270,270,270,270,270,270,312,270, \ - 312,312,312,270,270,270,270,270,270,270,270,328,328,312,328,328, \ - 328,328,328,328,328,328,328,344,344,312,328,344,328,328,328,328, \ - 328,328,328,328,328,328,328,328,328,328,328,327,328,328,328,328, \ - 328,344,328,328,328,328,328,328,344,344,344,344,344,344,344,344, \ - 344,344,344,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,328,328,360,328,328,328, \ - 328,328,360,328,328,328,328,328,328,328,328,344,344,344,344,344, \ - 344,344,344,344,344,344,344,344,344,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ - 408,408,408,408,408,408,408,408,408,408,440,440,440,440,440,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,472,472,440, \ - 440,471,504,472,472,472,472,472,472,472,472,472,472,472,472,472, \ - 472,472,472,472,472,472,472,472,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,504,504,504,504,536,536,536,536,536,536,536, \ - 536,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ - 536,536,536,536,536,536,536,536,536,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 504,504,504,504,568,568,504,504,504,504,504,504,504,504,504,504, \ - 504,504,504,504,504,600,600,600,600,600,600,600,536,536,536,535, \ - 535,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ - 536,536,536,536,536,536,536,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,567,568,568,568,568,568,568, \ - 568,568,568,568,568,567,568,568,568,568,568,568,600,600,600,599, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ - 568,568,568,568,568,568,568,568,568,568,568,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,599,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ - 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600 \ + -1,0,0,0,0,0,0,0,0,0,0,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,23,23,24,24,25,25, \ + 26,26,27,28,28,28,30,32,32,32,32,32,32,32,34,34, \ + 36,36,36,36,36,40,40,40,40,40,40,40,42,42,42,44, \ + 44,44,46,46,46,46,46,46,46,46,47,47,56,56,56,56, \ + 56,56,56,56,60,64,64,64,64,64,64,64,64,64,64,64, \ + 64,64,64,68,68,72,72,72,72,72,72,72,72,76,76,76, \ + 76,76,76,76,68,72,72,72,72,72,76,76,76,76,76,76, \ + 76,76,76,76,76,76,77,77,87,90,93,93,93,93,93,93, \ + 93,96,99,99,99,99,93,96,93,93,96,99,99,102,99,99, \ + 105,102,105,105,105,105,108,108,108,111,111,111,111,111,117,117, \ + 117,117,117,117,117,117,123,123,123,123,123,123,123,126,126,129, \ + 129,123,129,129,129,129,129,129,129,129,129,129,129,129,129,129, \ + 129,123,123,123,123,123,123,123,126,129,129,129,129,129,129,129, \ + 129,129,129,129,129,129,164,164,164,164,164,164,164,164,164,164, \ + 172,172,172,172,172,172,156,156,156,156,156,156,156,156,156,163, \ + 164,164,164,164,164,171,171,171,172,172,172,172,172,172,172,180, \ + 180,179,180,180,180,180,180,180,180,180,180,180,180,180,180,180, \ + 180,180,180,180,198,198,198,198,180,198,198,198,210,210,210,210, \ + 210,210,210,210,210,210,210,222,222,222,222,222,222,222,222,222, \ + 222,222,222,222,234,234,234,234,234,234,234,234,234,234,234,234, \ + 234,234,246,246,246,246,246,246,246,246,246,246,246,246,246,246, \ + 258,246,246,258,258,258,258,258,258,258,258,258,258,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,270,270, \ + 270,270,270,270,270,270,270,270,270,270,270,270,270,270,312,270, \ + 312,312,312,270,270,270,270,270,270,270,270,328,328,312,328,328, \ + 328,328,328,328,328,328,328,344,344,312,328,344,328,328,328,328, \ + 328,328,328,328,328,328,328,328,328,328,328,327,328,328,328,328, \ + 328,344,328,328,328,328,328,328,344,344,344,344,344,344,344,344, \ + 344,344,344,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,328,328,360,328,328,328, \ + 328,328,360,328,328,328,328,328,328,328,328,344,344,344,344,344, \ + 344,344,344,344,344,344,344,344,344,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 360,360,360,360,360,360,360,360,360,360,360,360,360,360,360,360, \ + 408,408,408,408,408,408,408,408,408,408,440,440,440,440,440,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,472,472,440, \ + 440,471,504,472,472,472,472,472,472,472,472,472,472,472,472,472, \ + 472,472,472,472,472,472,472,472,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,504,504,504,504,536,536,536,536,536,536,536, \ + 536,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ + 536,536,536,536,536,536,536,536,536,568,568,568,568,568,568,568, \ + 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ + 504,504,504,504,568,568,504,504,504,504,504,504,504,504,504,504, \ + 504,504,504,504,504,600,600,600,600,600,600,600,536,536,536,535, \ + 535,536,536,536,536,536,536,536,536,536,536,536,536,536,536,536, \ + 536,536,536,536,536,536,536,568,568,568,568,568,568,568,568,568, \ + 568,568,568,568,568,568,568,568,568,567,568,568,568,568,568,568, \ + 568,568,568,568,568,567,568,568,568,568,568,568,600,600,600,599, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \ + 568,568,568,568,568,568,568,568,568,568,568,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,599,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600, \ + 600,600,600,600,600,600,600,600,600,600,600,600,600,600,600,600 \ #define MPFR_DIVHIGH_TAB \ - 0,1,2,3,2,5,6,7,8,7,10,9,12,13,12,9, \ - 12,12,12,12,12,12,15,15,16,15,16,16,16,19,20,20, \ - 20,19,17,18,19,19,21,21,20,23,23,24,25,25,24,24, \ - 24,25,27,27,27,27,28,29,31,31,31,31,32,35,31,32, \ - 32,36,33,35,35,35,35,36,36,37,40,38,39,39,41,40, \ - 40,41,41,48,42,48,47,44,47,47,47,48,48,48,48,48, \ - 50,51,50,50,51,52,52,52,52,55,56,55,54,63,56,64, \ - 63,64,64,64,64,64,62,64,64,63,64,64,72,64,72,64, \ - 64,72,72,71,72,71,71,70,80,71,70,71,80,71,72,80, \ - 72,79,80,80,80,80,80,80,80,79,80,80,80,80,79,80, \ - 80,88,85,95,83,96,96,88,96,96,95,95,96,96,96,96, \ - 96,95,96,104,96,96,96,94,96,95,104,96,96,95,104,104, \ - 96,104,100,104,104,104,104,104,103,104,104,103,104,104,104,104, \ - 104,106,128,110,108,128,128,128,128,128,128,128,128,128,128,128, \ - 128,128,128,128,127,128,128,128,127,124,128,128,126,126,128,125, \ - 128,128,127,128,128,128,128,128,128,127,128,128,148,128,146,128, \ - 128,148,144,147,150,148,150,148,148,150,147,150,144,148,150,148, \ - 150,150,160,148,160,148,148,150,148,149,150,150,160,148,150,148, \ - 148,150,147,150,150,150,148,148,160,150,150,150,150,156,156,156, \ - 154,156,160,160,160,156,159,156,156,160,160,160,160,160,160,160, \ - 160,168,176,192,186,192,186,186,186,192,192,184,192,186,184,192, \ - 185,186,191,192,192,191,186,192,192,192,192,192,192,192,192,192, \ - 192,190,192,192,190,192,192,192,186,192,192,192,192,192,192,192, \ - 192,192,192,192,192,192,192,191,192,192,190,192,192,208,208,208, \ - 192,208,208,208,208,207,208,208,208,208,207,208,206,208,200,208, \ - 208,208,204,208,208,208,208,208,208,208,208,208,208,208,208,208, \ - 208,209,210,211,210,248,256,216,216,248,254,256,256,248,255,256, \ - 256,256,256,255,256,256,256,255,256,256,256,248,256,256,248,256, \ - 256,255,256,256,254,256,256,256,248,255,256,256,256,256,254,256, \ - 256,248,256,247,256,256,256,256,256,256,256,255,255,255,256,256, \ - 256,254,256,256,253,255,256,256,256,255,256,256,256,253,256,288, \ - 256,256,296,256,256,296,300,296,296,288,300,299,312,312,312,312, \ - 288,312,294,311,312,312,299,300,312,296,312,300,300,296,295,299, \ - 312,300,310,312,296,312,310,312,312,311,312,312,311,312,312,312, \ - 312,312,311,312,312,312,310,311,312,310,312,312,310,311,311,312, \ - 312,312,312,312,299,300,300,312,312,312,311,312,312,312,312,312, \ - 312,312,312,312,310,300,311,310,312,312,312,312,308,300,312,312, \ - 312,310,311,310,311,311,312,300,312,312,312,311,312,312,312,312, \ - 311,312,312,312,312,312,312,312,312,312,311,312,312,312,312,312, \ - 312,313,313,320,320,372,320,320,320,372,372,371,371,372,324,372, \ - 371,371,372,370,369,371,371,372,372,372,372,372,370,370,372,370, \ - 371,372,370,372,372,372,372,372,371,371,372,372,370,372,372,372, \ - 370,372,372,372,370,372,372,370,372,370,370,371,372,371,384,372, \ - 371,384,368,372,384,370,383,372,384,383,384,384,384,384,384,372, \ - 372,384,372,372,369,370,372,370,372,368,372,372,372,372,371,370, \ - 372,372,371,416,384,384,384,416,415,383,383,416,384,384,372,372, \ - 416,370,371,372,372,415,372,417,415,416,384,384,384,416,416,417, \ - 417,416,384,416,416,384,415,415,416,384,414,416,414,416,416,417, \ - 384,408,416,416,416,408,416,416,414,416,417,417,417,416,414,416, \ - 415,416,416,416,414,416,408,415,415,417,414,407,415,416,416,415, \ - 416,416,417,416,416,415,416,416,416,416,415,416,416,416,419,415, \ - 416,416,415,414,415,416,417,412,416,417,416,416,415,416,416,416, \ - 416,417,418,419,420,419,420,420,420,444,432,430,496,443,496,496, \ - 432,432,432,468,468,468,468,444,495,466,496,496,496,494,496,496, \ - 496,468,512,494,496,496,496,496,468,496,493,496,492,496,496,512, \ - 496,496,496,495,495,495,496,496,496,496,496,512,496,496,512,496, \ - 496,493,496,496,496,509,496,512,512,496,512,496,512,512,496,495, \ - 496,512,511,511,512,512,512,511,512,511,495,496,511,511,512,511, \ - 512,512,493,495,495,495,512,493,495,560,496,496,496,496,496,560, \ - 496,560,492,496,560,495,494,496,496,495,496,495,496,560,511,496, \ - 512,509,512,495,494,496,511,496,560,496,512,512,511,496,575,512, \ - 560,496,496,495,585,511,621,495,621,511,622,624,623,511,624,620, \ - 624,623,511,620,620,624,591,623,624,622,623,620,624,613,624,624, \ - 560,623,624,624,624,621,622,623,624,623,576,624,624,624,624,620 \ + 0,1,2,3,4,5,6,7,8,7,10,9,12,13,12,9, \ + 12,12,12,12,12,12,15,15,16,15,16,16,16,19,20,20, \ + 20,19,19,19,20,20,21,21,22,23,23,24,25,25,25,25, \ + 26,26,27,27,28,28,29,29,31,31,31,31,32,35,33,33, \ + 34,36,35,35,36,36,37,37,38,38,40,39,40,40,41,41, \ + 42,42,43,48,44,48,47,45,47,47,47,48,48,48,49,49, \ + 50,51,51,51,52,52,53,53,54,55,56,55,56,63,57,64, \ + 63,64,64,64,64,64,62,64,64,63,64,64,72,64,72,65, \ + 66,72,72,71,72,71,71,70,80,71,71,71,80,72,73,80, \ + 74,79,80,80,80,80,80,80,80,79,80,80,80,80,81,81, \ + 82,88,85,95,84,96,96,88,96,96,95,95,96,96,96,96, \ + 96,95,96,104,96,96,96,94,96,95,104,96,96,96,104,104, \ + 98,104,100,104,104,104,104,104,103,104,104,103,104,104,105,105, \ + 106,106,128,110,108,128,128,128,128,128,128,128,128,128,128,128, \ + 128,128,128,128,127,128,128,128,127,124,128,128,126,126,128,125, \ + 128,128,127,128,128,128,128,128,128,127,128,128,148,128,146,129, \ + 130,148,144,147,150,148,150,148,148,150,147,150,144,148,150,148, \ + 150,150,160,148,160,148,148,150,148,149,150,150,160,148,150,148, \ + 148,150,147,150,150,150,149,149,160,150,151,151,152,156,156,156, \ + 154,156,160,160,160,156,159,157,158,160,160,160,160,160,161,161, \ + 162,168,176,192,186,192,186,186,186,192,192,184,192,186,184,192, \ + 185,186,191,192,192,191,186,192,192,192,192,192,192,192,192,192, \ + 192,190,192,192,190,192,192,192,186,192,192,192,192,192,192,192, \ + 192,192,192,192,192,192,192,191,192,192,191,192,192,208,208,208, \ + 194,208,208,208,208,207,208,208,208,208,207,208,206,208,201,208, \ + 208,208,204,208,208,208,208,208,208,208,208,208,208,208,209,209, \ + 210,210,211,211,212,248,256,216,216,248,254,256,256,248,255,256, \ + 256,256,256,255,256,256,256,255,256,256,256,248,256,256,248,256, \ + 256,255,256,256,254,256,256,256,248,255,256,256,256,256,254,256, \ + 256,248,256,247,256,256,256,256,256,256,256,255,255,255,256,256, \ + 256,254,256,256,253,255,256,256,256,255,256,256,256,253,256,288, \ + 256,256,296,256,256,296,300,296,296,288,300,299,312,312,312,312, \ + 288,312,294,311,312,312,299,300,312,296,312,300,300,296,295,299, \ + 312,300,310,312,296,312,310,312,312,311,312,312,311,312,312,312, \ + 312,312,311,312,312,312,310,311,312,310,312,312,310,311,311,312, \ + 312,312,312,312,299,300,300,312,312,312,311,312,312,312,312,312, \ + 312,312,312,312,310,300,311,310,312,312,312,312,308,300,312,312, \ + 312,310,311,310,311,311,312,301,312,312,312,311,312,312,312,312, \ + 311,312,312,312,312,312,312,312,312,312,311,312,312,312,313,313, \ + 314,314,315,320,320,372,320,320,320,372,372,371,371,372,324,372, \ + 371,371,372,370,369,371,371,372,372,372,372,372,370,370,372,370, \ + 371,372,370,372,372,372,372,372,371,371,372,372,370,372,372,372, \ + 370,372,372,372,370,372,372,370,372,370,370,371,372,371,384,372, \ + 371,384,368,372,384,370,383,372,384,383,384,384,384,384,384,372, \ + 372,384,372,372,369,370,372,370,372,368,372,372,372,372,371,370, \ + 372,372,371,416,384,384,384,416,415,383,383,416,384,384,372,372, \ + 416,370,371,372,372,415,373,417,415,416,384,384,384,416,416,417, \ + 417,416,384,416,416,384,415,415,416,384,414,416,414,416,416,417, \ + 386,408,416,416,416,408,416,416,414,416,417,417,417,416,414,416, \ + 415,416,416,416,414,416,408,415,415,417,414,407,415,416,416,415, \ + 416,416,417,416,416,415,416,416,416,416,415,416,416,416,419,415, \ + 416,416,415,414,415,416,417,413,416,417,416,416,416,416,417,417, \ + 418,418,419,419,420,420,421,421,422,444,432,430,496,443,496,496, \ + 432,432,432,468,468,468,468,444,495,466,496,496,496,494,496,496, \ + 496,468,512,494,496,496,496,496,468,496,493,496,492,496,496,512, \ + 496,496,496,495,495,495,496,496,496,496,496,512,496,496,512,496, \ + 496,493,496,496,496,509,496,512,512,496,512,496,512,512,496,495, \ + 496,512,511,511,512,512,512,511,512,511,495,496,511,511,512,511, \ + 512,512,493,495,495,495,512,493,495,560,496,496,496,496,496,560, \ + 496,560,492,496,560,495,494,496,496,495,496,495,496,560,511,496, \ + 512,509,512,495,494,496,511,496,560,496,512,512,511,496,575,512, \ + 560,496,496,495,585,511,621,495,621,511,622,624,623,511,624,620, \ + 624,623,511,620,620,624,591,623,624,622,623,620,624,613,624,624, \ + 560,623,624,624,624,621,622,623,624,623,576,624,624,624,624,620 \ #define MPFR_MUL_THRESHOLD 8 /* limbs */ #define MPFR_SQR_THRESHOLD 1 /* limbs */ diff --git a/src/powerpc64/mparam.h b/src/powerpc64/mparam.h index dc742bed5..258bb0e1c 100644 --- a/src/powerpc64/mparam.h +++ b/src/powerpc64/mparam.h @@ -67,30 +67,30 @@ 832,831,832,829,829,832,832,832,824,831,832,831,832,828,832,831, \ 832,832,832,824,831,826,830,831,824,832,831,832,831,830,832,832, \ 832,824,832,829,831,830,832,832,832,830,832,830,832,831,831,832 \ - + #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,0,0,0,0,0,6,6,7,7,8,9, \ - 9,9,10,10,12,11,12,13,13,13,14,14,15,16,16,16, \ - 17,17,18,19,19,19,20,20,21,22,22,22,23,23,24,24, \ - 32,32,26,32,34,32,32,32,32,34,32,32,34,32,34,34, \ - 34,34,34,38,38,36,36,38,38,38,40,38,40,39,40,40, \ - 41,42,42,42,44,44,44,44,46,46,46,48,48,64,64,64, \ + -1,0,0,0,0,0,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,23,23,24,24,25,25, \ + 32,32,27,32,34,32,32,32,32,34,32,32,34,32,34,34, \ + 34,34,35,38,38,36,37,38,38,38,40,39,40,40,41,41, \ + 42,42,43,43,44,44,45,45,46,46,47,48,48,64,64,64, \ 64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64, \ 64,64,64,64,64,64,64,64,64,64,64,68,68,68,68,68, \ - 72,72,72,68,67,68,68,68,72,72,96,96,96,96,96,96, \ + 72,72,72,68,68,68,69,69,72,72,96,96,96,96,96,96, \ 96,96,96,96,96,96,96,96,96,96,96,96,99,99,99,99, \ 96,96,96,96,99,99,99,96,99,96,114,111,152,96,96,129, \ 95,96,134,114,99,98,158,105,112,117,147,105,108,123,132,105, \ 129,122,99,99,111,111,111,111,105,111,117,108,108,110,111,111, \ - 111,108,108,111,111,117,111,111,111,111,117,123,117,111,117,117, \ + 111,108,108,111,111,117,111,111,111,111,117,123,117,112,117,117, \ 123,120,123,126,123,129,129,129,129,129,123,123,123,123,128,129, \ - 129,129,122,123,123,123,135,128,129,129,129,129,129,128,129,129, \ - 135,129,132,134,132,135,134,135,133,134,135,134,135,136,148,140, \ - 139,140,139,140,140,140,140,148,147,148,147,148,148,148,148,148, \ - 155,156,146,147,148,148,148,156,152,164,152,155,156,156,156,164, \ + 129,129,123,123,124,124,135,128,129,129,129,129,129,128,129,129, \ + 135,130,132,134,132,135,134,135,134,134,135,135,136,136,148,140, \ + 139,140,139,140,140,140,141,148,147,148,147,148,148,148,148,148, \ + 155,156,147,147,148,148,149,156,152,164,152,155,156,156,156,164, \ 155,156,156,156,163,164,164,162,163,164,164,171,172,172,172,170, \ 171,172,172,172,172,171,172,171,172,171,172,171,172,188,172,172, \ - 176,188,188,188,172,172,188,172,188,196,196,187,188,176,176,195, \ + 176,188,188,188,172,172,188,173,188,196,196,187,188,176,177,195, \ 196,204,204,195,196,188,187,188,252,188,252,252,252,252,252,252, \ 252,252,252,252,252,252,252,252,252,252,252,252,252,252,252,252, \ 251,252,252,252,252,252,252,252,256,256,256,252,252,252,252,250, \ @@ -102,7 +102,7 @@ 284,268,268,284,284,284,284,284,284,284,284,284,284,284,284,268, \ 268,268,268,268,268,267,268,268,268,268,268,268,268,268,268,268, \ 268,268,268,268,284,268,268,268,268,268,268,284,268,284,268,268, \ - 268,267,268,268,268,268,268,268,284,284,378,284,378,378,378,378, \ + 268,267,268,268,268,268,269,269,284,284,378,284,378,378,378,378, \ 284,377,378,378,284,378,378,378,378,378,378,378,378,378,378,378, \ 378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \ 378,378,378,378,378,378,378,378,378,378,378,378,378,402,378,378, \ @@ -133,28 +133,28 @@ 760,760,760,760,760,760,760,760,759,759,760,760,760,760,760,760, \ 760,760,760,760,760,760,760,760,760,760,760,760,760,760,760,760, \ 760,760,760,760,760,760,760,760,760,760,760,760,760,760,760,760 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,2,2,5,6,5,6,7,8,7,8,9,10,11, \ - 9,9,9,10,13,12,13,12,13,14,14,14,15,16,17,18, \ - 19,20,21,19,20,21,19,23,22,23,21,22,23,23,24,24, \ - 24,26,26,27,27,28,28,28,28,29,30,30,30,33,31,33, \ - 32,33,34,35,35,36,36,37,36,37,37,38,38,40,40,40, \ - 40,41,41,50,53,51,51,52,51,54,53,51,53,53,55,56, \ - 55,56,56,56,56,56,56,56,56,56,55,56,56,56,56,56, \ - 56,63,64,63,64,64,64,64,64,64,64,71,64,71,72,71, \ - 71,71,71,72,71,71,71,72,72,72,71,71,72,72,72,72, \ - 72,73,75,79,80,76,76,79,80,80,80,79,79,80,79,80, \ - 80,88,88,112,112,112,112,112,112,112,112,112,112,112,112,112, \ + 0,1,2,3,4,5,6,5,6,7,8,7,8,9,10,11, \ + 10,10,11,11,13,12,13,13,14,14,15,15,16,16,17,18, \ + 19,20,21,19,20,21,21,23,22,23,23,23,24,24,25,25, \ + 26,26,27,27,28,28,29,29,30,30,31,31,32,33,33,33, \ + 34,34,35,35,36,36,37,37,38,38,39,39,40,40,41,41, \ + 42,42,43,50,53,51,51,52,51,54,53,51,53,53,55,56, \ + 55,56,56,56,56,56,56,56,56,56,55,56,56,56,57,57, \ + 58,63,64,63,64,64,64,64,64,64,64,71,64,71,72,71, \ + 71,71,71,72,71,71,71,72,72,72,71,71,72,72,73,73, \ + 74,74,75,79,80,76,77,79,80,80,80,79,80,80,81,81, \ + 82,88,88,112,112,112,112,112,112,112,112,112,112,112,112,112, \ 112,112,112,112,112,112,112,112,112,112,112,112,112,112,112,112, \ 112,112,112,112,112,112,112,112,112,112,112,112,112,112,112,112, \ - 128,128,112,128,112,128,112,128,136,143,144,110,112,112,112,112, \ - 112,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \ + 128,128,112,128,112,128,112,128,136,143,144,111,112,112,113,113, \ + 114,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, \ 128,128,128,128,128,128,128,128,128,128,128,128,144,128,144,144, \ 144,144,144,144,144,144,144,144,144,144,144,144,143,144,144,144, \ - 144,144,144,144,143,144,142,144,144,144,144,144,143,144,143,144, \ - 144,152,160,152,148,160,159,160,160,160,160,160,159,160,158,159, \ - 160,160,160,158,159,160,160,160,176,159,160,176,158,176,174,176, \ + 144,144,144,144,143,144,142,144,144,144,144,144,144,144,145,145, \ + 146,152,160,152,148,160,159,160,160,160,160,160,159,160,158,159, \ + 160,160,160,158,159,160,160,160,176,159,160,176,160,176,174,176, \ 176,176,176,204,175,176,208,176,208,208,208,208,208,208,208,208, \ 208,208,208,208,209,208,207,208,208,208,224,208,209,210,206,216, \ 208,216,210,216,210,216,208,224,224,224,224,224,208,216,216,224, \ @@ -166,12 +166,12 @@ 256,256,256,256,256,256,256,256,256,256,256,256,256,256,256,256, \ 254,255,256,255,256,256,256,256,252,253,254,255,256,256,256,256, \ 256,256,256,256,256,256,256,256,256,256,256,256,256,256,256,256, \ - 256,256,256,256,256,256,256,256,255,256,256,256,256,256,256,256, \ - 256,257,257,280,280,287,280,280,279,288,280,280,288,280,288,288, \ + 256,256,256,256,256,256,256,256,255,256,256,256,256,256,257,257, \ + 258,258,259,280,280,287,280,280,279,288,280,280,288,280,288,288, \ 288,288,280,279,288,280,287,288,280,288,288,288,280,288,288,278, \ - 279,288,288,288,280,279,280,288,280,280,280,280,287,288,280,288, \ - 288,288,288,286,288,288,288,288,287,286,288,287,287,288,288,288, \ - 288,295,296,312,311,304,304,319,320,305,312,312,312,310,304,318, \ + 279,288,288,288,280,279,280,288,280,280,280,280,287,288,281,288, \ + 288,288,288,286,288,288,288,288,287,286,288,287,288,288,289,289, \ + 290,295,296,312,311,304,304,319,320,305,312,312,312,310,304,318, \ 312,319,318,320,312,318,312,320,320,320,304,312,312,320,312,319, \ 312,311,320,311,344,320,320,317,320,344,320,336,344,320,344,344, \ 319,344,320,344,343,320,344,343,351,351,320,351,344,352,344,341, \ @@ -190,15 +190,15 @@ 440,440,440,438,440,439,432,448,437,448,440,432,440,440,440,440, \ 438,448,448,440,440,448,440,440,440,439,440,440,440,440,448,448, \ 448,440,437,440,440,440,440,440,440,448,440,448,448,448,448,448, \ - 440,448,448,447,448,448,448,448,448,448,446,448,511,504,480,448, \ + 442,448,448,447,448,448,448,448,448,448,447,448,511,504,480,449, \ 504,504,512,502,512,503,512,504,504,512,501,504,504,512,512,512, \ 504,503,500,504,512,511,512,512,512,511,512,512,512,504,512,512, \ 512,512,512,504,504,512,503,510,512,504,512,512,511,511,512,512, \ 512,512,512,512,512,511,512,501,512,512,504,502,504,504,504,512, \ 512,512,504,504,504,511,504,512,512,511,504,512,504,512,512,510, \ 504,504,512,512,512,504,504,512,504,511,512,511,510,512,508,512, \ - 512,504,512,512,504,512,511,512,512,512,512,504,512,512,504,512, \ - 512,512,559,510,512,512,512,512,510,512,512,512,510,512,512,512 \ + 512,504,512,512,504,512,511,512,512,512,512,504,512,512,505,512, \ + 512,512,559,510,512,512,512,512,510,512,512,512,512,512,513,513 \ #define MPFR_MUL_THRESHOLD 7 /* limbs */ #define MPFR_SQR_THRESHOLD 17 /* limbs */ diff --git a/src/sparc64/mparam.h b/src/sparc64/mparam.h index b61362408..35949b8b0 100644 --- a/src/sparc64/mparam.h +++ b/src/sparc64/mparam.h @@ -67,21 +67,21 @@ 791,792,792,792,791,792,791,792,792,792,791,792,791,792,792,792, \ 792,792,792,791,792,792,792,792,791,792,792,792,791,792,792,792, \ 792,791,792,792,792,792,792,792,792,792,792,791,791,792,791,792 \ - + #define MPFR_SQRHIGH_TAB \ - -1,0,0,0,0,-1,5,5,5,7,7,7,7,7,9,9, \ - 11,11,11,11,11,11,13,13,13,13,15,14,15,16,16,17, \ - 18,20,18,18,19,20,21,20,21,24,22,24,25,26,24,25, \ - 27,28,27,28,29,30,30,31,30,29,33,31,32,33,34,35, \ - 36,34,34,35,36,37,38,39,40,40,38,39,39,41,42,43, \ - 44,47,48,49,50,44,48,49,50,51,47,48,47,48,49,50, \ - 51,52,53,50,53,54,53,52,53,54,55,56,57,58,56,58, \ - 57,62,58,58,61,60,61,62,61,64,63,62,63,64,65,64, \ + -1,0,0,0,0,-1,5,5,6,7,7,7,8,8,9,9, \ + 11,11,11,11,12,12,13,13,14,14,15,15,16,16,17,17, \ + 18,20,19,19,20,20,21,21,22,24,23,24,25,26,25,25, \ + 27,28,27,28,29,30,30,31,30,30,33,31,32,33,34,35, \ + 36,34,35,35,36,37,38,39,40,40,39,39,40,41,42,43, \ + 44,47,48,49,50,44,48,49,50,51,47,48,48,48,49,50, \ + 51,52,53,51,53,54,53,53,54,54,55,56,57,58,57,58, \ + 58,62,59,59,61,60,61,62,62,64,63,63,64,64,65,65, \ 67,72,72,72,72,72,72,74,72,76,76,76,76,76,76,78, \ - 76,80,82,80,75,80,80,82,82,84,82,80,84,84,84,86, \ - 88,88,86,88,88,84,84,84,85,88,86,86,88,88,88,90, \ - 90,89,90,92,96,96,96,94,96,96,98,94,104,96,96,98, \ - 98,100,117,100,99,100,117,116,118,117,117,119,120,116,116,119, \ + 76,80,82,80,76,80,80,82,82,84,82,80,84,84,84,86, \ + 88,88,86,88,88,84,85,85,86,88,87,87,88,88,89,90, \ + 90,90,91,92,96,96,96,94,96,96,98,95,104,96,97,98, \ + 98,100,117,100,100,100,117,116,118,117,117,119,120,116,116,119, \ 119,119,116,117,116,119,126,117,116,119,119,121,120,125,124,119, \ 125,119,131,127,128,131,134,131,132,134,128,126,129,143,133,134, \ 131,144,135,137,135,131,128,137,137,140,143,141,137,137,130,138, \ @@ -90,10 +90,10 @@ 165,167,167,164,167,164,161,164,173,158,164,164,173,166,161,164, \ 169,174,173,162,170,168,173,176,173,171,180,173,174,174,173,167, \ 171,170,174,173,182,176,165,176,176,194,167,182,184,188,191,172, \ - 189,169,170,171,180,180,182,173,177,185,174,182,189,188,185,176, \ - 179,180,180,180,179,185,188,182,183,188,190,188,198,194,189,192, \ + 189,170,171,171,180,180,182,173,177,185,175,182,189,188,185,177, \ + 179,180,180,180,180,185,188,182,183,188,190,188,198,194,189,192, \ 198,194,196,200,201,188,190,195,201,204,191,213,207,212,213,213, \ - 225,212,213,213,213,225,216,197,197,218,222,224,225,224,224,224, \ + 225,212,213,213,213,225,216,197,198,218,222,224,225,224,224,224, \ 225,228,227,230,225,212,213,237,237,212,237,237,218,242,237,243, \ 225,225,237,237,243,242,237,230,231,228,237,237,249,236,336,336, \ 336,336,336,336,336,336,336,336,336,336,336,336,336,336,336,336, \ @@ -111,7 +111,7 @@ 456,360,360,360,360,456,360,366,365,360,366,366,456,456,366,366, \ 456,378,456,366,456,456,455,378,372,366,366,366,366,377,384,378, \ 456,366,378,378,456,456,472,464,471,471,472,472,456,456,472,456, \ - 456,456,456,472,456,456,472,456,456,456,464,342,456,471,472,472, \ + 456,456,456,472,456,456,472,456,456,456,464,343,456,471,472,472, \ 456,471,472,472,456,348,472,456,456,456,455,455,456,456,455,456, \ 456,456,456,455,456,456,455,456,456,456,456,455,456,456,455,464, \ 456,456,456,455,456,456,455,456,456,456,456,455,456,464,472,472, \ @@ -133,30 +133,30 @@ 536,552,536,536,552,552,544,544,551,552,566,568,567,552,568,568, \ 567,567,568,568,567,567,566,536,512,560,512,512,560,567,568,568, \ 567,575,568,568,568,584,568,568,600,584,600,598,599,599,600,600 \ - + #define MPFR_DIVHIGH_TAB \ - 0,1,2,2,2,5,6,5,6,7,8,9,8,11,10,11, \ - 12,10,14,10,11,12,13,14,15,15,14,14,15,15,15,17, \ - 18,19,18,21,20,20,20,21,23,22,27,27,27,27,31,31, \ - 27,27,31,31,29,30,31,31,30,30,31,30,30,35,31,39, \ - 38,35,34,35,35,38,39,39,38,37,42,39,43,43,39,47, \ + 0,1,2,3,4,5,6,5,6,7,8,9,8,11,10,11, \ + 12,10,14,11,12,12,13,14,15,15,15,15,16,16,17,17, \ + 18,19,19,21,20,20,21,21,23,22,27,27,27,27,31,31, \ + 27,27,31,31,29,30,31,31,30,30,31,31,32,35,33,39, \ + 38,35,35,35,36,38,39,39,38,38,42,39,43,43,41,47, \ 44,43,54,54,54,54,54,54,54,54,54,54,54,54,54,54, \ - 54,54,60,60,55,54,54,54,60,58,60,54,54,58,60,60, \ + 54,54,60,60,55,54,54,54,60,58,60,55,56,58,60,60, \ 62,58,60,60,60,60,63,62,68,68,68,68,68,68,76,76, \ 67,68,76,76,68,68,76,76,76,76,76,73,75,74,76,73, \ - 73,76,76,76,84,84,76,84,81,84,84,86,84,86,84,92, \ - 90,84,86,92,84,84,92,84,84,108,92,108,108,108,92,92, \ - 108,108,92,108,108,108,92,108,108,108,120,120,120,108,120,120, \ + 74,76,76,76,84,84,77,84,81,84,84,86,84,86,84,92, \ + 90,84,86,92,84,84,92,85,86,108,92,108,108,108,92,92, \ + 108,108,92,108,108,108,93,108,108,108,120,120,120,108,120,120, \ 108,120,120,120,108,108,108,108,120,108,120,120,108,108,120,120, \ 120,120,120,120,108,120,120,120,120,120,120,120,120,120,120,120, \ - 120,136,120,120,120,120,120,120,136,136,120,120,136,134,120,120, \ + 120,136,120,120,120,120,120,120,136,136,120,120,136,134,121,121, \ 136,136,136,136,136,130,136,136,136,136,136,136,135,136,136,152, \ 136,136,152,136,136,136,152,152,136,136,152,152,136,136,152,152, \ 152,152,152,152,152,152,152,152,152,152,152,152,152,152,152,152, \ - 152,152,152,152,153,168,152,151,152,168,168,152,152,152,152,152, \ + 152,152,152,152,153,168,152,151,152,168,168,152,152,152,153,153, \ 168,168,168,168,168,168,168,166,167,168,167,168,168,168,168,168, \ - 168,168,184,168,168,168,184,184,167,184,184,184,184,167,184,184, \ - 168,172,184,184,184,184,184,184,176,216,176,184,184,184,200,184, \ + 168,168,184,168,168,168,184,184,167,184,184,184,184,168,184,184, \ + 170,172,184,184,184,184,184,184,176,216,176,184,184,184,200,184, \ 184,216,184,184,216,184,184,184,184,216,216,184,216,216,216,216, \ 216,216,216,240,216,216,240,240,216,216,240,240,216,216,216,240, \ 216,216,240,240,216,216,240,240,216,240,240,239,216,216,240,240, \ @@ -164,23 +164,23 @@ 240,240,240,240,237,240,240,240,240,240,240,240,237,240,240,240, \ 240,240,240,240,240,238,240,240,240,240,240,240,240,240,240,240, \ 238,240,240,240,240,240,240,240,240,240,240,240,240,238,240,239, \ - 272,272,240,240,272,238,240,239,240,272,240,240,272,272,240,271, \ + 272,272,240,240,272,238,240,239,240,272,240,240,272,272,241,271, \ 272,272,272,272,272,272,272,272,272,272,272,271,272,269,272,272, \ 272,272,272,272,269,269,272,270,272,272,272,272,272,272,272,272, \ 272,272,272,272,269,271,272,272,301,272,269,272,272,272,272,272, \ - 272,269,272,272,272,272,272,271,269,271,272,272,272,272,272,272, \ - 272,304,303,304,304,303,303,304,302,304,303,304,304,304,303,303, \ + 272,269,272,272,272,272,272,271,270,271,272,272,272,272,273,273, \ + 274,304,303,304,304,303,303,304,302,304,303,304,304,304,303,303, \ 304,304,303,304,303,304,303,304,304,304,304,303,301,301,304,303, \ 304,304,304,304,304,304,304,304,303,304,304,303,301,302,304,303, \ - 304,304,303,304,302,304,304,303,302,336,304,304,336,336,304,304, \ + 304,304,303,304,302,304,304,303,302,336,304,304,336,336,305,305, \ 336,336,336,336,336,336,336,336,336,336,336,336,336,336,336,336, \ 336,336,336,336,335,336,336,336,336,336,336,336,336,336,336,336, \ 336,336,336,336,336,336,336,336,336,336,336,336,336,336,336,336, \ - 336,336,336,368,336,336,336,334,336,336,336,336,336,336,336,336, \ - 336,400,368,368,400,400,400,368,399,368,367,368,400,400,368,368, \ + 336,336,336,368,336,336,336,334,336,336,336,336,336,336,337,337, \ + 338,400,368,368,400,400,400,368,399,368,367,368,400,400,368,368, \ 400,400,400,368,400,399,368,399,365,366,368,368,400,400,368,367, \ 368,400,368,368,366,368,368,368,400,400,368,400,400,400,367,368, \ - 361,368,368,368,400,400,368,368,368,368,368,368,400,398,368,368, \ + 362,368,368,368,400,400,368,368,368,368,368,368,400,398,369,369, \ 400,399,400,400,400,399,400,400,400,400,399,400,400,400,399,400, \ 400,400,400,400,400,398,400,400,400,400,432,397,399,400,401,432, \ 399,400,432,397,400,400,400,398,400,400,400,432,400,400,429,432, \ @@ -188,14 +188,14 @@ 432,432,432,432,432,432,432,432,432,432,432,432,432,432,432,480, \ 432,432,432,480,432,432,432,432,432,432,480,480,432,432,432,480, \ 480,432,432,480,432,432,432,480,432,432,432,432,480,432,432,480, \ - 432,432,432,432,431,432,432,480,432,432,432,432,431,432,432,432, \ - 432,480,480,480,480,476,480,480,480,444,480,479,480,474,480,480, \ + 432,432,432,432,431,432,432,480,432,432,432,432,432,432,433,433, \ + 434,480,480,480,480,476,480,480,480,444,480,479,480,474,480,480, \ 480,480,480,480,477,480,480,480,480,480,480,480,480,478,480,479, \ 477,478,480,480,477,480,480,480,476,476,476,480,477,480,480,480, \ 480,478,480,480,480,478,480,480,480,480,480,480,478,480,480,480, \ 480,480,480,480,480,480,480,480,480,480,480,480,480,479,480,480, \ - 478,478,480,480,480,478,480,480,544,478,480,480,480,480,480,543, \ - 480,544,496,544,543,542,544,544,544,544,544,544,542,544,542,544, \ + 478,478,480,480,480,478,480,480,544,478,480,480,480,480,481,543, \ + 482,544,496,544,543,542,544,544,544,544,544,544,542,544,542,544, \ 544,544,542,544,544,543,542,543,543,542,542,544,544,544,544,542, \ 561,544,544,544,544,544,544,557,561,544,608,559,559,560,560,608, \ 561,562,558,561,559,598,608,586,564,575,585,575,573,574,608,587 \ 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 */ 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 */ |