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

1 files changed, 44 insertions, 44 deletions

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, \