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