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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
|
/* Generated by MPFR's tuneup.c, 2009-02-18, gcc 4.1.2 */
/* gcc40.fsffrance.org (powerpc64-unknown-linux-gnu) with gmp-4.2.4 */
#define MPFR_TUNE_CASE "64-bit powerpc"
#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, \
26,28,26,27,28,32,32,32,35,36,35,35,35,35,36,40, \
39,39,44,40,39,39,40,40,43,43,44,44,43,43,44,48, \
51,47,48,48,51,47,56,52,51,51,52,52,59,57,60,56, \
57,63,56,64,63,63,72,64,71,71,72,72,71,69,72,72, \
71,71,72,80,77,79,72,80,71,79,72,80,87,87,88,80, \
80,80,87,87,79,79,80,80,84,105,88,82,92,104,93,87, \
88,88,104,104,105,105,103,88,104,104,105,102,103,103,101,104, \
105,105,103,100,101,104,105,105,112,103,104,104,105,111,112,109, \
116,116,117,117,127,124,116,116,117,117,124,115,122,116,117,117, \
117,125,122,122,123,123,128,128,129,129,126,138,127,131,132,128, \
129,129,130,134,147,147,152,140,141,141,138,146,139,139,140,140, \
141,141,146,146,147,147,144,144,153,141,158,146,147,163,164,152, \
153,161,150,162,163,159,164,160,165,165,170,170,171,175,152,164, \
174,164,175,180,156,171,172,177,188,158,159,189,165,165,171,211, \
177,187,188,213,174,189,210,180,176,201,207,177,213,213,189,204, \
205,205,206,211,212,207,188,213,189,189,210,210,211,206,212,212, \
208,213,189,209,210,205,211,206,212,212,213,208,209,209,235,215, \
209,209,210,216,211,211,212,212,213,213,220,214,209,227,216,216, \
211,211,212,236,213,237,232,232,239,239,240,234,235,235,236,230, \
237,237,232,232,233,233,234,234,235,235,236,236,237,237,238,238, \
239,257,240,240,235,235,236,260,261,237,268,256,275,275,276,264, \
235,249,257,264,237,237,252,259,309,260,261,254,311,311,312,312, \
264,264,272,293,259,259,260,260,261,261,311,311,312,305,285,285, \
293,272,308,301,309,309,261,310,276,276,305,312,299,348,307,300, \
294,315,302,309,310,310,311,311,305,305,306,306,321,300,343,301, \
313,321,330,306,315,347,308,332,341,357,342,310,343,343,312,312, \
337,305,306,306,347,347,348,348,325,317,326,326,311,343,312,312, \
321,321,346,346,339,347,348,348,357,357,342,366,335,343,384,384, \
377,321,338,338,347,339,348,380,357,381,382,350,351,375,376,376, \
347,347,348,348,340,340,341,341,342,342,343,343,344,344,345,381, \
382,346,347,347,348,348,349,376,350,359,378,351,352,415,416,389, \
345,345,346,346,347,383,384,384,376,412,377,377,378,378,379,379, \
380,380,381,381,373,382,383,383,384,384,403,376,395,377,378,396, \
419,419,380,400,381,381,382,382,383,383,404,374,375,375,376,376, \
377,377,378,378,419,389,420,400,401,381,382,382,383,423,454,384, \
405,415,416,456,387,427,398,418,419,399,420,420,401,441,402,422, \
423,413,414,454,415,415,416,416,417,407,418,398,419,419,420,420, \
420,420,443,454,444,455,456,456,457,435,447,436,437,415,438,416, \
417,450,451,418,419,463,442,420,432,454,488,444,489,445,446,446, \
458,458,459,459,427,438,461,439,451,440,419,452,486,453,454,454, \
455,455,445,445,446,490,491,447,448,448,449,482,461,450,451,484, \
461,461,474,450,451,487,464,488,489,489,466,478,479,491,492,456, \
481,481,482,494,507,519,520,460,461,497,486,474,487,535,536,488, \
513,525,454,526,455,527,528,528,469,505,482,494,519,519,496,508, \
509,521,486,546,523,523,512,488,489,513,514,490,563,527,528,492, \
515,502,555,542,491,556,557,492,558,519,520,559,495,534,561,535, \
562,510,511,563,564,564,630,552,553,631,632,528,529,633,634,634, \
635,635,636,636,520,520,560,534,535,561,627,562,537,550,629,564, \
617,526,527,618,619,632,633,633,621,634,609,609,636,636,546,611, \
557,627,628,614,573,629,630,630,603,631,562,632,619,619,634,634, \
635,635,622,636,567,623,624,596,611,625,626,626,641,627,628,614, \
643,643,630,616,617,617,618,618,619,633,634,620,635,621,622,622, \
707,609,624,624,625,639,612,612,627,641,642,628,629,643,602,616, \
614,629,630,615,616,616,617,707,708,633,634,634,635,620,621,636, \
607,622,623,623,624,639,625,670,686,701,702,627,643,643,644,644, \
630,705,706,706,707,632,633,633,709,619,620,710,711,636,697,652, \
698,638,639,624,625,685,686,626,702,627,703,643,689,629,630,630, \
705,705,690,690,691,707,708,708,629,677,630,630,631,631,632,632, \
633,697,698,634,635,699,700,684,701,701,702,702,703,639,704,672, \
705,641,706,690,707,707,708,708,709,693,710,710,775,695,712,712, \
713,777,778,778,763,715,716,780,717,701,702,686,703,703,704,704 \
#define MPFR_SQRHIGH_TAB \
-1,0,0,0,0,0,0,0,0,0,6,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, \
25,25,26,26,27,27,28,28,29,29,32,32,32,32,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,45,45,46,46,47,47,48,48, \
51,49,50,50,51,51,52,52,53,53,54,54,55,55,56,56, \
57,57,58,58,59,59,64,64,63,67,64,64,63,63,64,64, \
65,65,66,66,67,67,68,68,69,69,70,76,71,71,72,72, \
73,73,74,80,75,75,76,76,77,77,78,78,79,79,80,80, \
81,81,82,82,83,83,84,84,85,85,86,92,102,87,88,88, \
89,104,102,105,106,91,92,104,102,105,94,112,104,110,96,105, \
105,105,102,114,123,107,108,120,117,117,122,122,123,103,104,120, \
105,105,106,106,107,107,108,108,109,109,110,110,111,111,112,112, \
113,113,114,114,115,115,116,116,117,117,118,118,119,131,128,120, \
121,129,122,122,123,135,140,124,125,125,126,126,127,127,128,128, \
129,129,130,130,131,131,132,132,133,158,159,134,135,135,136,156, \
137,147,138,138,139,139,140,140,141,141,142,142,143,143,144,144, \
145,145,146,146,147,147,148,188,189,149,150,150,151,191,187,192, \
153,153,189,189,155,155,156,196,187,187,188,188,189,189,190,195, \
191,161,162,204,163,187,188,194,189,189,190,190,191,209,192,216, \
199,193,194,188,189,189,190,190,191,191,192,192,187,193,194,194, \
195,201,202,196,197,197,198,210,199,199,206,212,213,213,184,184, \
215,185,216,204,187,187,188,188,189,189,190,220,191,227,228,192, \
193,193,194,194,195,237,224,224,225,225,240,198,213,199,200,200, \
201,201,202,202,203,224,225,204,205,226,227,206,207,207,208,236, \
237,209,210,210,211,260,240,240,248,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,264,232, \
249,233,234,266,267,235,236,268,237,237,302,238,239,239,240,240, \
241,241,242,242,243,243,308,244,245,245,246,246,247,247,248,312, \
249,249,250,250,251,251,252,324,285,309,254,254,327,295,272,312, \
311,329,312,303,259,259,260,260,261,306,298,307,308,308,309,327, \
328,310,311,293,294,285,304,268,269,305,306,315,316,307,308,326, \
327,327,319,310,311,311,312,348,277,304,314,323,324,324,334,316, \
317,308,309,336,319,328,329,320,312,366,286,286,359,332,333,342, \
309,329,320,320,321,341,332,342,363,353,354,344,345,325,326,366, \
297,337,338,328,329,339,350,350,351,351,362,352,353,373,374,344, \
345,325,326,366,307,337,328,348,339,369,360,360,361,381,382,382, \
333,373,314,364,315,315,346,336,337,377,378,368,369,319,320,380, \
365,398,366,344,389,345,379,324,402,347,348,392,360,327,328,328, \
329,329,330,374,375,375,387,365,366,366,356,389,390,357,380,369, \
381,370,371,382,383,339,373,384,396,396,397,342,343,343,344,344, \
345,345,346,346,347,347,348,348,393,415,416,350,351,351,407,385, \
401,353,354,402,355,391,392,416,417,429,418,418,419,419,420,420, \
445,409,362,362,363,363,364,436,365,437,438,366,427,415,416,416, \
441,417,418,454,455,431,432,420,373,433,434,434,435,375,436,376, \
377,377,378,402,415,379,380,380,381,381,382,382,383,383,384,384, \
385,411,425,425,426,387,388,388,389,402,416,429,391,456,470,392, \
432,393,394,446,447,395,396,474,397,397,398,398,399,399,400,400, \
401,401,402,402,429,429,404,404,405,405,458,406,459,472,473,408, \
474,409,410,410,411,411,412,412,413,413,414,414,415,454,455,455, \
417,417,418,418,419,419,420,420,421,421,422,422,423,423,494,424, \
425,425,426,510,567,427,428,428,429,429,556,430,431,431,432,558, \
489,489,490,434,435,435,562,436,437,437,438,438,439,439,440,440, \
441,567,568,456,569,569,570,584,585,445,446,558,573,447,448,560, \
569,569,570,600,451,571,452,557,558,453,454,454,455,560,456,456, \
562,457,458,563,564,564,595,580,581,461,462,582,583,598,599,599, \
585,585,571,556,557,557,558,573,574,469,470,470,471,636,472,472, \
473,563,564,564,550,580,581,581,582,567,568,598,599,584,585,585, \
561,593,594,594,563,483,580,564,581,597,598,630,487,487,488,600, \
601,601,602,618,635,571,572,572,557,573,574,558,591,591,608,592, \
593,641,498,562,563,579,564,564,565,501,566,550,551,503,600,584, \
585,617,618,506,635,603,604,572,573,573,574,622,591,575,576,592 \
#define MPFR_MUL_THRESHOLD 6 /* limbs */
#define MPFR_EXP_2_THRESHOLD 744 /* bits */
#define MPFR_EXP_THRESHOLD 11929 /* bits */
|
