n_pow_ui.c revision 1.1.1.3 1 1.1 mrg /* mpz_n_pow_ui -- mpn raised to ulong.
2 1.1 mrg
3 1.1 mrg THE FUNCTIONS IN THIS FILE ARE FOR INTERNAL USE ONLY. THEY'RE ALMOST
4 1.1 mrg CERTAIN TO BE SUBJECT TO INCOMPATIBLE CHANGES OR DISAPPEAR COMPLETELY IN
5 1.1 mrg FUTURE GNU MP RELEASES.
6 1.1 mrg
7 1.1.1.2 mrg Copyright 2001, 2002, 2005, 2012 Free Software Foundation, Inc.
8 1.1 mrg
9 1.1 mrg This file is part of the GNU MP Library.
10 1.1 mrg
11 1.1 mrg The GNU MP Library is free software; you can redistribute it and/or modify
12 1.1.1.3 mrg it under the terms of either:
13 1.1.1.3 mrg
14 1.1.1.3 mrg * the GNU Lesser General Public License as published by the Free
15 1.1.1.3 mrg Software Foundation; either version 3 of the License, or (at your
16 1.1.1.3 mrg option) any later version.
17 1.1.1.3 mrg
18 1.1.1.3 mrg or
19 1.1.1.3 mrg
20 1.1.1.3 mrg * the GNU General Public License as published by the Free Software
21 1.1.1.3 mrg Foundation; either version 2 of the License, or (at your option) any
22 1.1.1.3 mrg later version.
23 1.1.1.3 mrg
24 1.1.1.3 mrg or both in parallel, as here.
25 1.1 mrg
26 1.1 mrg The GNU MP Library is distributed in the hope that it will be useful, but
27 1.1 mrg WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
28 1.1.1.3 mrg or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
29 1.1.1.3 mrg for more details.
30 1.1 mrg
31 1.1.1.3 mrg You should have received copies of the GNU General Public License and the
32 1.1.1.3 mrg GNU Lesser General Public License along with the GNU MP Library. If not,
33 1.1.1.3 mrg see https://www.gnu.org/licenses/. */
34 1.1 mrg
35 1.1 mrg #include "gmp.h"
36 1.1 mrg #include "gmp-impl.h"
37 1.1 mrg #include "longlong.h"
38 1.1 mrg
39 1.1 mrg
40 1.1 mrg /* Change this to "#define TRACE(x) x" for some traces. */
41 1.1 mrg #define TRACE(x)
42 1.1 mrg
43 1.1 mrg
44 1.1 mrg /* Use this to test the mul_2 code on a CPU without a native version of that
45 1.1 mrg routine. */
46 1.1 mrg #if 0
47 1.1 mrg #define mpn_mul_2 refmpn_mul_2
48 1.1 mrg #define HAVE_NATIVE_mpn_mul_2 1
49 1.1 mrg #endif
50 1.1 mrg
51 1.1 mrg
52 1.1 mrg /* mpz_pow_ui and mpz_ui_pow_ui want to share almost all of this code.
53 1.1 mrg ui_pow_ui doesn't need the mpn_mul based powering loop or the tests on
54 1.1 mrg bsize==2 or >2, but separating that isn't easy because there's shared
55 1.1 mrg code both before and after (the size calculations and the powers of 2
56 1.1 mrg handling).
57 1.1 mrg
58 1.1 mrg Alternatives:
59 1.1 mrg
60 1.1 mrg It would work to just use the mpn_mul powering loop for 1 and 2 limb
61 1.1 mrg bases, but the current separate loop allows mul_1 and mul_2 to be done
62 1.1 mrg in-place, which might help cache locality a bit. If mpn_mul was relaxed
63 1.1 mrg to allow source==dest when vn==1 or 2 then some pointer twiddling might
64 1.1 mrg let us get the same effect in one loop.
65 1.1 mrg
66 1.1 mrg The initial powering for bsize==1 into blimb or blimb:blimb_low doesn't
67 1.1 mrg form the biggest possible power of b that fits, only the biggest power of
68 1.1 mrg 2 power, ie. b^(2^n). It'd be possible to choose a bigger power, perhaps
69 1.1 mrg using mp_bases[b].big_base for small b, and thereby get better value
70 1.1 mrg from mpn_mul_1 or mpn_mul_2 in the bignum powering. It's felt that doing
71 1.1 mrg so would be more complicated than it's worth, and could well end up being
72 1.1 mrg a slowdown for small e. For big e on the other hand the algorithm is
73 1.1 mrg dominated by mpn_sqr so there wouldn't much of a saving. The current
74 1.1 mrg code can be viewed as simply doing the first few steps of the powering in
75 1.1 mrg a single or double limb where possible.
76 1.1 mrg
77 1.1 mrg If r==b, and blow_twos==0, and r must be realloc'ed, then the temporary
78 1.1 mrg copy made of b is unnecessary. We could just use the old alloc'ed block
79 1.1 mrg and free it at the end. But arranging this seems like a lot more trouble
80 1.1 mrg than it's worth. */
81 1.1 mrg
82 1.1 mrg
83 1.1 mrg /* floor(sqrt(GMP_NUMB_MAX)), ie. the biggest value that can be squared in
84 1.1 mrg a limb without overflowing.
85 1.1 mrg FIXME: This formula is an underestimate when GMP_NUMB_BITS is odd. */
86 1.1 mrg
87 1.1 mrg #define GMP_NUMB_HALFMAX (((mp_limb_t) 1 << GMP_NUMB_BITS/2) - 1)
88 1.1 mrg
89 1.1 mrg
90 1.1 mrg /* The following are for convenience, they update the size and check the
91 1.1 mrg alloc. */
92 1.1 mrg
93 1.1 mrg #define MPN_SQR(dst, alloc, src, size) \
94 1.1 mrg do { \
95 1.1 mrg ASSERT (2*(size) <= (alloc)); \
96 1.1 mrg mpn_sqr (dst, src, size); \
97 1.1 mrg (size) *= 2; \
98 1.1 mrg (size) -= ((dst)[(size)-1] == 0); \
99 1.1 mrg } while (0)
100 1.1 mrg
101 1.1 mrg #define MPN_MUL(dst, alloc, src, size, src2, size2) \
102 1.1 mrg do { \
103 1.1 mrg mp_limb_t cy; \
104 1.1 mrg ASSERT ((size) + (size2) <= (alloc)); \
105 1.1 mrg cy = mpn_mul (dst, src, size, src2, size2); \
106 1.1 mrg (size) += (size2) - (cy == 0); \
107 1.1 mrg } while (0)
108 1.1 mrg
109 1.1 mrg #define MPN_MUL_2(ptr, size, alloc, mult) \
110 1.1 mrg do { \
111 1.1 mrg mp_limb_t cy; \
112 1.1 mrg ASSERT ((size)+2 <= (alloc)); \
113 1.1 mrg cy = mpn_mul_2 (ptr, ptr, size, mult); \
114 1.1 mrg (size)++; \
115 1.1 mrg (ptr)[(size)] = cy; \
116 1.1 mrg (size) += (cy != 0); \
117 1.1 mrg } while (0)
118 1.1 mrg
119 1.1 mrg #define MPN_MUL_1(ptr, size, alloc, limb) \
120 1.1 mrg do { \
121 1.1 mrg mp_limb_t cy; \
122 1.1 mrg ASSERT ((size)+1 <= (alloc)); \
123 1.1 mrg cy = mpn_mul_1 (ptr, ptr, size, limb); \
124 1.1 mrg (ptr)[size] = cy; \
125 1.1 mrg (size) += (cy != 0); \
126 1.1 mrg } while (0)
127 1.1 mrg
128 1.1 mrg #define MPN_LSHIFT(ptr, size, alloc, shift) \
129 1.1 mrg do { \
130 1.1 mrg mp_limb_t cy; \
131 1.1 mrg ASSERT ((size)+1 <= (alloc)); \
132 1.1 mrg cy = mpn_lshift (ptr, ptr, size, shift); \
133 1.1 mrg (ptr)[size] = cy; \
134 1.1 mrg (size) += (cy != 0); \
135 1.1 mrg } while (0)
136 1.1 mrg
137 1.1 mrg #define MPN_RSHIFT_OR_COPY(dst, src, size, shift) \
138 1.1 mrg do { \
139 1.1 mrg if ((shift) == 0) \
140 1.1 mrg MPN_COPY (dst, src, size); \
141 1.1 mrg else \
142 1.1 mrg { \
143 1.1 mrg mpn_rshift (dst, src, size, shift); \
144 1.1 mrg (size) -= ((dst)[(size)-1] == 0); \
145 1.1 mrg } \
146 1.1 mrg } while (0)
147 1.1 mrg
148 1.1 mrg
149 1.1 mrg /* ralloc and talloc are only wanted for ASSERTs, after the initial space
150 1.1 mrg allocations. Avoid writing values to them in a normal build, to ensure
151 1.1 mrg the compiler lets them go dead. gcc already figures this out itself
152 1.1 mrg actually. */
153 1.1 mrg
154 1.1 mrg #define SWAP_RP_TP \
155 1.1 mrg do { \
156 1.1 mrg MP_PTR_SWAP (rp, tp); \
157 1.1 mrg ASSERT_CODE (MP_SIZE_T_SWAP (ralloc, talloc)); \
158 1.1 mrg } while (0)
159 1.1 mrg
160 1.1 mrg
161 1.1 mrg void
162 1.1 mrg mpz_n_pow_ui (mpz_ptr r, mp_srcptr bp, mp_size_t bsize, unsigned long int e)
163 1.1 mrg {
164 1.1 mrg mp_ptr rp;
165 1.1 mrg mp_size_t rtwos_limbs, ralloc, rsize;
166 1.1 mrg int rneg, i, cnt, btwos, r_bp_overlap;
167 1.1 mrg mp_limb_t blimb, rl;
168 1.1 mrg mp_bitcnt_t rtwos_bits;
169 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
170 1.1 mrg mp_limb_t blimb_low, rl_high;
171 1.1 mrg #else
172 1.1 mrg mp_limb_t b_twolimbs[2];
173 1.1 mrg #endif
174 1.1 mrg TMP_DECL;
175 1.1 mrg
176 1.1 mrg TRACE (printf ("mpz_n_pow_ui rp=0x%lX bp=0x%lX bsize=%ld e=%lu (0x%lX)\n",
177 1.1.1.2 mrg PTR(r), bp, bsize, e, e);
178 1.1.1.2 mrg mpn_trace ("b", bp, bsize));
179 1.1 mrg
180 1.1 mrg ASSERT (bsize == 0 || bp[ABS(bsize)-1] != 0);
181 1.1.1.2 mrg ASSERT (MPN_SAME_OR_SEPARATE2_P (PTR(r), ALLOC(r), bp, ABS(bsize)));
182 1.1 mrg
183 1.1 mrg /* b^0 == 1, including 0^0 == 1 */
184 1.1 mrg if (e == 0)
185 1.1 mrg {
186 1.1 mrg PTR(r)[0] = 1;
187 1.1 mrg SIZ(r) = 1;
188 1.1 mrg return;
189 1.1 mrg }
190 1.1 mrg
191 1.1 mrg /* 0^e == 0 apart from 0^0 above */
192 1.1 mrg if (bsize == 0)
193 1.1 mrg {
194 1.1 mrg SIZ(r) = 0;
195 1.1 mrg return;
196 1.1 mrg }
197 1.1 mrg
198 1.1 mrg /* Sign of the final result. */
199 1.1 mrg rneg = (bsize < 0 && (e & 1) != 0);
200 1.1 mrg bsize = ABS (bsize);
201 1.1 mrg TRACE (printf ("rneg %d\n", rneg));
202 1.1 mrg
203 1.1 mrg r_bp_overlap = (PTR(r) == bp);
204 1.1 mrg
205 1.1 mrg /* Strip low zero limbs from b. */
206 1.1 mrg rtwos_limbs = 0;
207 1.1 mrg for (blimb = *bp; blimb == 0; blimb = *++bp)
208 1.1 mrg {
209 1.1 mrg rtwos_limbs += e;
210 1.1 mrg bsize--; ASSERT (bsize >= 1);
211 1.1 mrg }
212 1.1 mrg TRACE (printf ("trailing zero rtwos_limbs=%ld\n", rtwos_limbs));
213 1.1 mrg
214 1.1 mrg /* Strip low zero bits from b. */
215 1.1 mrg count_trailing_zeros (btwos, blimb);
216 1.1 mrg blimb >>= btwos;
217 1.1 mrg rtwos_bits = e * btwos;
218 1.1 mrg rtwos_limbs += rtwos_bits / GMP_NUMB_BITS;
219 1.1 mrg rtwos_bits %= GMP_NUMB_BITS;
220 1.1 mrg TRACE (printf ("trailing zero btwos=%d rtwos_limbs=%ld rtwos_bits=%lu\n",
221 1.1.1.2 mrg btwos, rtwos_limbs, rtwos_bits));
222 1.1 mrg
223 1.1 mrg TMP_MARK;
224 1.1 mrg
225 1.1 mrg rl = 1;
226 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
227 1.1 mrg rl_high = 0;
228 1.1 mrg #endif
229 1.1 mrg
230 1.1 mrg if (bsize == 1)
231 1.1 mrg {
232 1.1 mrg bsize_1:
233 1.1 mrg /* Power up as far as possible within blimb. We start here with e!=0,
234 1.1.1.2 mrg but if e is small then we might reach e==0 and the whole b^e in rl.
235 1.1.1.2 mrg Notice this code works when blimb==1 too, reaching e==0. */
236 1.1 mrg
237 1.1 mrg while (blimb <= GMP_NUMB_HALFMAX)
238 1.1.1.2 mrg {
239 1.1.1.2 mrg TRACE (printf ("small e=0x%lX blimb=0x%lX rl=0x%lX\n",
240 1.1.1.2 mrg e, blimb, rl));
241 1.1.1.2 mrg ASSERT (e != 0);
242 1.1.1.2 mrg if ((e & 1) != 0)
243 1.1.1.2 mrg rl *= blimb;
244 1.1.1.2 mrg e >>= 1;
245 1.1.1.2 mrg if (e == 0)
246 1.1.1.2 mrg goto got_rl;
247 1.1.1.2 mrg blimb *= blimb;
248 1.1.1.2 mrg }
249 1.1 mrg
250 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
251 1.1 mrg TRACE (printf ("single power, e=0x%lX b=0x%lX rl=0x%lX\n",
252 1.1.1.2 mrg e, blimb, rl));
253 1.1 mrg
254 1.1 mrg /* Can power b once more into blimb:blimb_low */
255 1.1 mrg bsize = 2;
256 1.1 mrg ASSERT (e != 0);
257 1.1 mrg if ((e & 1) != 0)
258 1.1 mrg {
259 1.1 mrg umul_ppmm (rl_high, rl, rl, blimb << GMP_NAIL_BITS);
260 1.1 mrg rl >>= GMP_NAIL_BITS;
261 1.1 mrg }
262 1.1 mrg e >>= 1;
263 1.1 mrg umul_ppmm (blimb, blimb_low, blimb, blimb << GMP_NAIL_BITS);
264 1.1 mrg blimb_low >>= GMP_NAIL_BITS;
265 1.1 mrg
266 1.1 mrg got_rl:
267 1.1 mrg TRACE (printf ("double power e=0x%lX blimb=0x%lX:0x%lX rl=0x%lX:%lX\n",
268 1.1.1.2 mrg e, blimb, blimb_low, rl_high, rl));
269 1.1 mrg
270 1.1 mrg /* Combine left-over rtwos_bits into rl_high:rl to be handled by the
271 1.1.1.2 mrg final mul_1 or mul_2 rather than a separate lshift.
272 1.1.1.2 mrg - rl_high:rl mustn't be 1 (since then there's no final mul)
273 1.1.1.2 mrg - rl_high mustn't overflow
274 1.1.1.2 mrg - rl_high mustn't change to non-zero, since mul_1+lshift is
275 1.1.1.2 mrg probably faster than mul_2 (FIXME: is this true?) */
276 1.1 mrg
277 1.1 mrg if (rtwos_bits != 0
278 1.1.1.2 mrg && ! (rl_high == 0 && rl == 1)
279 1.1.1.2 mrg && (rl_high >> (GMP_NUMB_BITS-rtwos_bits)) == 0)
280 1.1.1.2 mrg {
281 1.1.1.2 mrg mp_limb_t new_rl_high = (rl_high << rtwos_bits)
282 1.1.1.2 mrg | (rl >> (GMP_NUMB_BITS-rtwos_bits));
283 1.1.1.2 mrg if (! (rl_high == 0 && new_rl_high != 0))
284 1.1.1.2 mrg {
285 1.1.1.2 mrg rl_high = new_rl_high;
286 1.1.1.2 mrg rl <<= rtwos_bits;
287 1.1.1.2 mrg rtwos_bits = 0;
288 1.1.1.2 mrg TRACE (printf ("merged rtwos_bits, rl=0x%lX:%lX\n",
289 1.1.1.2 mrg rl_high, rl));
290 1.1.1.2 mrg }
291 1.1.1.2 mrg }
292 1.1 mrg #else
293 1.1 mrg got_rl:
294 1.1 mrg TRACE (printf ("small power e=0x%lX blimb=0x%lX rl=0x%lX\n",
295 1.1.1.2 mrg e, blimb, rl));
296 1.1 mrg
297 1.1 mrg /* Combine left-over rtwos_bits into rl to be handled by the final
298 1.1.1.2 mrg mul_1 rather than a separate lshift.
299 1.1.1.2 mrg - rl mustn't be 1 (since then there's no final mul)
300 1.1.1.2 mrg - rl mustn't overflow */
301 1.1 mrg
302 1.1 mrg if (rtwos_bits != 0
303 1.1.1.2 mrg && rl != 1
304 1.1.1.2 mrg && (rl >> (GMP_NUMB_BITS-rtwos_bits)) == 0)
305 1.1.1.2 mrg {
306 1.1.1.2 mrg rl <<= rtwos_bits;
307 1.1.1.2 mrg rtwos_bits = 0;
308 1.1.1.2 mrg TRACE (printf ("merged rtwos_bits, rl=0x%lX\n", rl));
309 1.1.1.2 mrg }
310 1.1 mrg #endif
311 1.1 mrg }
312 1.1 mrg else if (bsize == 2)
313 1.1 mrg {
314 1.1 mrg mp_limb_t bsecond = bp[1];
315 1.1 mrg if (btwos != 0)
316 1.1.1.2 mrg blimb |= (bsecond << (GMP_NUMB_BITS - btwos)) & GMP_NUMB_MASK;
317 1.1 mrg bsecond >>= btwos;
318 1.1 mrg if (bsecond == 0)
319 1.1.1.2 mrg {
320 1.1.1.2 mrg /* Two limbs became one after rshift. */
321 1.1.1.2 mrg bsize = 1;
322 1.1.1.2 mrg goto bsize_1;
323 1.1.1.2 mrg }
324 1.1 mrg
325 1.1 mrg TRACE (printf ("bsize==2 using b=0x%lX:%lX", bsecond, blimb));
326 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
327 1.1 mrg blimb_low = blimb;
328 1.1 mrg #else
329 1.1 mrg bp = b_twolimbs;
330 1.1 mrg b_twolimbs[0] = blimb;
331 1.1 mrg b_twolimbs[1] = bsecond;
332 1.1 mrg #endif
333 1.1 mrg blimb = bsecond;
334 1.1 mrg }
335 1.1 mrg else
336 1.1 mrg {
337 1.1 mrg if (r_bp_overlap || btwos != 0)
338 1.1.1.2 mrg {
339 1.1.1.2 mrg mp_ptr tp = TMP_ALLOC_LIMBS (bsize);
340 1.1.1.2 mrg MPN_RSHIFT_OR_COPY (tp, bp, bsize, btwos);
341 1.1.1.2 mrg bp = tp;
342 1.1.1.2 mrg TRACE (printf ("rshift or copy bp,bsize, new bsize=%ld\n", bsize));
343 1.1.1.2 mrg }
344 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
345 1.1 mrg /* in case 3 limbs rshift to 2 and hence use the mul_2 loop below */
346 1.1 mrg blimb_low = bp[0];
347 1.1 mrg #endif
348 1.1 mrg blimb = bp[bsize-1];
349 1.1 mrg
350 1.1 mrg TRACE (printf ("big bsize=%ld ", bsize);
351 1.1.1.2 mrg mpn_trace ("b", bp, bsize));
352 1.1 mrg }
353 1.1 mrg
354 1.1 mrg /* At this point blimb is the most significant limb of the base to use.
355 1.1 mrg
356 1.1 mrg Each factor of b takes (bsize*BPML-cnt) bits and there's e of them; +1
357 1.1 mrg limb to round up the division; +1 for multiplies all using an extra
358 1.1 mrg limb over the true size; +2 for rl at the end; +1 for lshift at the
359 1.1 mrg end.
360 1.1 mrg
361 1.1 mrg The size calculation here is reasonably accurate. The base is at least
362 1.1 mrg half a limb, so in 32 bits the worst case is 2^16+1 treated as 17 bits
363 1.1 mrg when it will power up as just over 16, an overestimate of 17/16 =
364 1.1 mrg 6.25%. For a 64-bit limb it's half that.
365 1.1 mrg
366 1.1 mrg If e==0 then blimb won't be anything useful (though it will be
367 1.1 mrg non-zero), but that doesn't matter since we just end up with ralloc==5,
368 1.1 mrg and that's fine for 2 limbs of rl and 1 of lshift. */
369 1.1 mrg
370 1.1 mrg ASSERT (blimb != 0);
371 1.1 mrg count_leading_zeros (cnt, blimb);
372 1.1 mrg ralloc = (bsize*GMP_NUMB_BITS - cnt + GMP_NAIL_BITS) * e / GMP_NUMB_BITS + 5;
373 1.1 mrg TRACE (printf ("ralloc %ld, from bsize=%ld blimb=0x%lX cnt=%d\n",
374 1.1.1.2 mrg ralloc, bsize, blimb, cnt));
375 1.1.1.2 mrg rp = MPZ_REALLOC (r, ralloc + rtwos_limbs);
376 1.1 mrg
377 1.1 mrg /* Low zero limbs resulting from powers of 2. */
378 1.1 mrg MPN_ZERO (rp, rtwos_limbs);
379 1.1 mrg rp += rtwos_limbs;
380 1.1 mrg
381 1.1 mrg if (e == 0)
382 1.1 mrg {
383 1.1 mrg /* Any e==0 other than via bsize==1 or bsize==2 is covered at the
384 1.1.1.2 mrg start. */
385 1.1 mrg rp[0] = rl;
386 1.1 mrg rsize = 1;
387 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
388 1.1 mrg rp[1] = rl_high;
389 1.1 mrg rsize += (rl_high != 0);
390 1.1 mrg #endif
391 1.1 mrg ASSERT (rp[rsize-1] != 0);
392 1.1 mrg }
393 1.1 mrg else
394 1.1 mrg {
395 1.1 mrg mp_ptr tp;
396 1.1 mrg mp_size_t talloc;
397 1.1 mrg
398 1.1 mrg /* In the mpn_mul_1 or mpn_mul_2 loops or in the mpn_mul loop when the
399 1.1.1.2 mrg low bit of e is zero, tp only has to hold the second last power
400 1.1.1.2 mrg step, which is half the size of the final result. There's no need
401 1.1.1.2 mrg to round up the divide by 2, since ralloc includes a +2 for rl
402 1.1.1.2 mrg which not needed by tp. In the mpn_mul loop when the low bit of e
403 1.1.1.2 mrg is 1, tp must hold nearly the full result, so just size it the same
404 1.1.1.2 mrg as rp. */
405 1.1 mrg
406 1.1 mrg talloc = ralloc;
407 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
408 1.1 mrg if (bsize <= 2 || (e & 1) == 0)
409 1.1.1.2 mrg talloc /= 2;
410 1.1 mrg #else
411 1.1 mrg if (bsize <= 1 || (e & 1) == 0)
412 1.1.1.2 mrg talloc /= 2;
413 1.1 mrg #endif
414 1.1 mrg TRACE (printf ("talloc %ld\n", talloc));
415 1.1 mrg tp = TMP_ALLOC_LIMBS (talloc);
416 1.1 mrg
417 1.1 mrg /* Go from high to low over the bits of e, starting with i pointing at
418 1.1.1.2 mrg the bit below the highest 1 (which will mean i==-1 if e==1). */
419 1.1.1.2 mrg count_leading_zeros (cnt, (mp_limb_t) e);
420 1.1 mrg i = GMP_LIMB_BITS - cnt - 2;
421 1.1 mrg
422 1.1 mrg #if HAVE_NATIVE_mpn_mul_2
423 1.1 mrg if (bsize <= 2)
424 1.1.1.2 mrg {
425 1.1.1.2 mrg mp_limb_t mult[2];
426 1.1 mrg
427 1.1.1.2 mrg /* Any bsize==1 will have been powered above to be two limbs. */
428 1.1.1.2 mrg ASSERT (bsize == 2);
429 1.1.1.2 mrg ASSERT (blimb != 0);
430 1.1.1.2 mrg
431 1.1.1.2 mrg /* Arrange the final result ends up in r, not in the temp space */
432 1.1.1.2 mrg if ((i & 1) == 0)
433 1.1.1.2 mrg SWAP_RP_TP;
434 1.1.1.2 mrg
435 1.1.1.2 mrg rp[0] = blimb_low;
436 1.1.1.2 mrg rp[1] = blimb;
437 1.1.1.2 mrg rsize = 2;
438 1.1.1.2 mrg
439 1.1.1.2 mrg mult[0] = blimb_low;
440 1.1.1.2 mrg mult[1] = blimb;
441 1.1.1.2 mrg
442 1.1.1.2 mrg for ( ; i >= 0; i--)
443 1.1.1.2 mrg {
444 1.1.1.2 mrg TRACE (printf ("mul_2 loop i=%d e=0x%lX, rsize=%ld ralloc=%ld talloc=%ld\n",
445 1.1.1.2 mrg i, e, rsize, ralloc, talloc);
446 1.1.1.2 mrg mpn_trace ("r", rp, rsize));
447 1.1.1.2 mrg
448 1.1.1.2 mrg MPN_SQR (tp, talloc, rp, rsize);
449 1.1.1.2 mrg SWAP_RP_TP;
450 1.1.1.2 mrg if ((e & (1L << i)) != 0)
451 1.1.1.2 mrg MPN_MUL_2 (rp, rsize, ralloc, mult);
452 1.1.1.2 mrg }
453 1.1.1.2 mrg
454 1.1.1.2 mrg TRACE (mpn_trace ("mul_2 before rl, r", rp, rsize));
455 1.1.1.2 mrg if (rl_high != 0)
456 1.1.1.2 mrg {
457 1.1.1.2 mrg mult[0] = rl;
458 1.1.1.2 mrg mult[1] = rl_high;
459 1.1.1.2 mrg MPN_MUL_2 (rp, rsize, ralloc, mult);
460 1.1.1.2 mrg }
461 1.1.1.2 mrg else if (rl != 1)
462 1.1.1.2 mrg MPN_MUL_1 (rp, rsize, ralloc, rl);
463 1.1.1.2 mrg }
464 1.1 mrg #else
465 1.1 mrg if (bsize == 1)
466 1.1.1.2 mrg {
467 1.1.1.2 mrg /* Arrange the final result ends up in r, not in the temp space */
468 1.1.1.2 mrg if ((i & 1) == 0)
469 1.1.1.2 mrg SWAP_RP_TP;
470 1.1.1.2 mrg
471 1.1.1.2 mrg rp[0] = blimb;
472 1.1.1.2 mrg rsize = 1;
473 1.1.1.2 mrg
474 1.1.1.2 mrg for ( ; i >= 0; i--)
475 1.1.1.2 mrg {
476 1.1.1.2 mrg TRACE (printf ("mul_1 loop i=%d e=0x%lX, rsize=%ld ralloc=%ld talloc=%ld\n",
477 1.1.1.2 mrg i, e, rsize, ralloc, talloc);
478 1.1.1.2 mrg mpn_trace ("r", rp, rsize));
479 1.1.1.2 mrg
480 1.1.1.2 mrg MPN_SQR (tp, talloc, rp, rsize);
481 1.1.1.2 mrg SWAP_RP_TP;
482 1.1.1.2 mrg if ((e & (1L << i)) != 0)
483 1.1.1.2 mrg MPN_MUL_1 (rp, rsize, ralloc, blimb);
484 1.1.1.2 mrg }
485 1.1.1.2 mrg
486 1.1.1.2 mrg TRACE (mpn_trace ("mul_1 before rl, r", rp, rsize));
487 1.1.1.2 mrg if (rl != 1)
488 1.1.1.2 mrg MPN_MUL_1 (rp, rsize, ralloc, rl);
489 1.1.1.2 mrg }
490 1.1 mrg #endif
491 1.1 mrg else
492 1.1.1.2 mrg {
493 1.1.1.2 mrg int parity;
494 1.1 mrg
495 1.1.1.2 mrg /* Arrange the final result ends up in r, not in the temp space */
496 1.1.1.2 mrg ULONG_PARITY (parity, e);
497 1.1.1.2 mrg if (((parity ^ i) & 1) != 0)
498 1.1.1.2 mrg SWAP_RP_TP;
499 1.1.1.2 mrg
500 1.1.1.2 mrg MPN_COPY (rp, bp, bsize);
501 1.1.1.2 mrg rsize = bsize;
502 1.1.1.2 mrg
503 1.1.1.2 mrg for ( ; i >= 0; i--)
504 1.1.1.2 mrg {
505 1.1.1.2 mrg TRACE (printf ("mul loop i=%d e=0x%lX, rsize=%ld ralloc=%ld talloc=%ld\n",
506 1.1.1.2 mrg i, e, rsize, ralloc, talloc);
507 1.1.1.2 mrg mpn_trace ("r", rp, rsize));
508 1.1.1.2 mrg
509 1.1.1.2 mrg MPN_SQR (tp, talloc, rp, rsize);
510 1.1.1.2 mrg SWAP_RP_TP;
511 1.1.1.2 mrg if ((e & (1L << i)) != 0)
512 1.1.1.2 mrg {
513 1.1.1.2 mrg MPN_MUL (tp, talloc, rp, rsize, bp, bsize);
514 1.1.1.2 mrg SWAP_RP_TP;
515 1.1.1.2 mrg }
516 1.1.1.2 mrg }
517 1.1.1.2 mrg }
518 1.1 mrg }
519 1.1 mrg
520 1.1 mrg ASSERT (rp == PTR(r) + rtwos_limbs);
521 1.1 mrg TRACE (mpn_trace ("end loop r", rp, rsize));
522 1.1 mrg TMP_FREE;
523 1.1 mrg
524 1.1 mrg /* Apply any partial limb factors of 2. */
525 1.1 mrg if (rtwos_bits != 0)
526 1.1 mrg {
527 1.1 mrg MPN_LSHIFT (rp, rsize, ralloc, (unsigned) rtwos_bits);
528 1.1 mrg TRACE (mpn_trace ("lshift r", rp, rsize));
529 1.1 mrg }
530 1.1 mrg
531 1.1 mrg rsize += rtwos_limbs;
532 1.1 mrg SIZ(r) = (rneg ? -rsize : rsize);
533 1.1 mrg }
534