|
Packit |
5c3484 |
/* Functions needed for bootstrapping the gmp build, based on mini-gmp.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
Copyright 2001, 2002, 2004, 2011, 2012 Free Software Foundation, Inc.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
This file is part of the GNU MP Library.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library is free software; you can redistribute it and/or modify
|
|
Packit |
5c3484 |
it under the terms of either:
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
* the GNU Lesser General Public License as published by the Free
|
|
Packit |
5c3484 |
Software Foundation; either version 3 of the License, or (at your
|
|
Packit |
5c3484 |
option) any later version.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
or
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
* the GNU General Public License as published by the Free Software
|
|
Packit |
5c3484 |
Foundation; either version 2 of the License, or (at your option) any
|
|
Packit |
5c3484 |
later version.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
or both in parallel, as here.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
The GNU MP Library is distributed in the hope that it will be useful, but
|
|
Packit |
5c3484 |
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
|
Packit |
5c3484 |
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
Packit |
5c3484 |
for more details.
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
You should have received copies of the GNU General Public License and the
|
|
Packit |
5c3484 |
GNU Lesser General Public License along with the GNU MP Library. If not,
|
|
Packit |
5c3484 |
see https://www.gnu.org/licenses/. */
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#include "mini-gmp/mini-gmp.c"
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#define MIN(l,o) ((l) < (o) ? (l) : (o))
|
|
Packit |
5c3484 |
#define PTR(x) ((x)->_mp_d)
|
|
Packit |
5c3484 |
#define SIZ(x) ((x)->_mp_size)
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
#define xmalloc gmp_default_alloc
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
isprime (unsigned long int t)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
unsigned long int q, r, d;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
if (t < 32)
|
|
Packit |
5c3484 |
return (0xa08a28acUL >> t) & 1;
|
|
Packit |
5c3484 |
if ((t & 1) == 0)
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
if (t % 3 == 0)
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
if (t % 5 == 0)
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
if (t % 7 == 0)
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
for (d = 11;;)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
q = t / d;
|
|
Packit |
5c3484 |
r = t - q * d;
|
|
Packit |
5c3484 |
if (q < d)
|
|
Packit |
5c3484 |
return 1;
|
|
Packit |
5c3484 |
if (r == 0)
|
|
Packit |
5c3484 |
break;
|
|
Packit |
5c3484 |
d += 2;
|
|
Packit |
5c3484 |
q = t / d;
|
|
Packit |
5c3484 |
r = t - q * d;
|
|
Packit |
5c3484 |
if (q < d)
|
|
Packit |
5c3484 |
return 1;
|
|
Packit |
5c3484 |
if (r == 0)
|
|
Packit |
5c3484 |
break;
|
|
Packit |
5c3484 |
d += 4;
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
return 0;
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
int
|
|
Packit |
5c3484 |
log2_ceil (int n)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
int e;
|
|
Packit |
5c3484 |
assert (n >= 1);
|
|
Packit |
5c3484 |
for (e = 0; ; e++)
|
|
Packit |
5c3484 |
if ((1 << e) >= n)
|
|
Packit |
5c3484 |
break;
|
|
Packit |
5c3484 |
return e;
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Set inv to the inverse of d, in the style of invert_limb, ie. for
|
|
Packit |
5c3484 |
udiv_qrnnd_preinv. */
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
mpz_preinv_invert (mpz_t inv, mpz_t d, int numb_bits)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_t t;
|
|
Packit |
5c3484 |
int norm;
|
|
Packit |
5c3484 |
assert (SIZ(d) > 0);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
norm = numb_bits - mpz_sizeinbase (d, 2);
|
|
Packit |
5c3484 |
assert (norm >= 0);
|
|
Packit |
5c3484 |
mpz_init_set_ui (t, 1L);
|
|
Packit |
5c3484 |
mpz_mul_2exp (t, t, 2*numb_bits - norm);
|
|
Packit |
5c3484 |
mpz_tdiv_q (inv, t, d);
|
|
Packit |
5c3484 |
mpz_set_ui (t, 1L);
|
|
Packit |
5c3484 |
mpz_mul_2exp (t, t, numb_bits);
|
|
Packit |
5c3484 |
mpz_sub (inv, inv, t);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_clear (t);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Calculate r satisfying r*d == 1 mod 2^n. */
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
mpz_invert_2exp (mpz_t r, mpz_t a, unsigned long n)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
unsigned long i;
|
|
Packit |
5c3484 |
mpz_t inv, prod;
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
assert (mpz_odd_p (a));
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_init_set_ui (inv, 1L);
|
|
Packit |
5c3484 |
mpz_init (prod);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
for (i = 1; i < n; i++)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_mul (prod, inv, a);
|
|
Packit |
5c3484 |
if (mpz_tstbit (prod, i) != 0)
|
|
Packit |
5c3484 |
mpz_setbit (inv, i);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_mul (prod, inv, a);
|
|
Packit |
5c3484 |
mpz_tdiv_r_2exp (prod, prod, n);
|
|
Packit |
5c3484 |
assert (mpz_cmp_ui (prod, 1L) == 0);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_set (r, inv);
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
mpz_clear (inv);
|
|
Packit |
5c3484 |
mpz_clear (prod);
|
|
Packit |
5c3484 |
}
|
|
Packit |
5c3484 |
|
|
Packit |
5c3484 |
/* Calculate inv satisfying r*a == 1 mod 2^n. */
|
|
Packit |
5c3484 |
void
|
|
Packit |
5c3484 |
mpz_invert_ui_2exp (mpz_t r, unsigned long a, unsigned long n)
|
|
Packit |
5c3484 |
{
|
|
Packit |
5c3484 |
mpz_t az;
|
|
Packit |
5c3484 |
mpz_init_set_ui (az, a);
|
|
Packit |
5c3484 |
mpz_invert_2exp (r, az, n);
|
|
Packit |
5c3484 |
mpz_clear (az);
|
|
Packit |
5c3484 |
}
|