2018-05-02 15:43:17 -04:00
|
|
|
#include "tommath_private.h"
|
2004-10-29 18:07:18 -04:00
|
|
|
#ifdef BN_MP_DIV_D_C
|
2003-02-28 11:08:34 -05:00
|
|
|
/* LibTomMath, multiple-precision integer library -- Tom St Denis
|
|
|
|
*
|
2003-08-04 21:24:44 -04:00
|
|
|
* LibTomMath is a library that provides multiple-precision
|
2003-02-28 11:08:34 -05:00
|
|
|
* integer arithmetic as well as number theoretic functionality.
|
|
|
|
*
|
2003-08-04 21:24:44 -04:00
|
|
|
* The library was designed directly after the MPI library by
|
2003-02-28 11:08:34 -05:00
|
|
|
* Michael Fromberger but has been written from scratch with
|
|
|
|
* additional optimizations in place.
|
|
|
|
*
|
2018-12-29 11:56:20 -05:00
|
|
|
* SPDX-License-Identifier: Unlicense
|
2003-02-28 11:08:34 -05:00
|
|
|
*/
|
|
|
|
|
2003-07-12 10:31:43 -04:00
|
|
|
static int s_is_power_of_two(mp_digit b, int *p)
|
|
|
|
{
|
|
|
|
int x;
|
|
|
|
|
2007-04-18 05:58:18 -04:00
|
|
|
/* fast return if no power of two */
|
2017-10-15 13:57:12 -04:00
|
|
|
if ((b == 0u) || ((b & (b-1u)) != 0u)) {
|
2007-04-18 05:58:18 -04:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
for (x = 0; x < DIGIT_BIT; x++) {
|
2017-10-18 23:51:17 -04:00
|
|
|
if (b == ((mp_digit)1<<(mp_digit)x)) {
|
2003-07-12 10:31:43 -04:00
|
|
|
*p = x;
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2003-05-29 09:35:26 -04:00
|
|
|
/* single digit division (based on routine from MPI) */
|
2017-09-20 10:59:43 -04:00
|
|
|
int mp_div_d(const mp_int *a, mp_digit b, mp_int *c, mp_digit *d)
|
2003-02-28 11:08:34 -05:00
|
|
|
{
|
2017-08-29 16:23:48 -04:00
|
|
|
mp_int q;
|
|
|
|
mp_word w;
|
|
|
|
mp_digit t;
|
|
|
|
int res, ix;
|
|
|
|
|
|
|
|
/* cannot divide by zero */
|
2017-10-15 13:57:12 -04:00
|
|
|
if (b == 0u) {
|
2017-08-29 16:23:48 -04:00
|
|
|
return MP_VAL;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* quick outs */
|
2017-10-15 13:57:12 -04:00
|
|
|
if ((b == 1u) || (mp_iszero(a) == MP_YES)) {
|
2017-08-29 16:23:48 -04:00
|
|
|
if (d != NULL) {
|
|
|
|
*d = 0;
|
|
|
|
}
|
|
|
|
if (c != NULL) {
|
|
|
|
return mp_copy(a, c);
|
|
|
|
}
|
|
|
|
return MP_OKAY;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* power of two ? */
|
|
|
|
if (s_is_power_of_two(b, &ix) == 1) {
|
|
|
|
if (d != NULL) {
|
2017-10-18 23:51:17 -04:00
|
|
|
*d = a->dp[0] & (((mp_digit)1<<(mp_digit)ix) - 1uL);
|
2017-08-29 16:23:48 -04:00
|
|
|
}
|
|
|
|
if (c != NULL) {
|
|
|
|
return mp_div_2d(a, ix, c, NULL);
|
|
|
|
}
|
|
|
|
return MP_OKAY;
|
|
|
|
}
|
2003-07-12 10:31:43 -04:00
|
|
|
|
2004-10-29 18:07:18 -04:00
|
|
|
#ifdef BN_MP_DIV_3_C
|
2017-08-29 16:23:48 -04:00
|
|
|
/* three? */
|
2017-10-15 13:57:12 -04:00
|
|
|
if (b == 3u) {
|
2017-08-29 16:23:48 -04:00
|
|
|
return mp_div_3(a, c, d);
|
|
|
|
}
|
2004-10-29 18:07:18 -04:00
|
|
|
#endif
|
2003-07-12 10:31:43 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
/* no easy answer [c'est la vie]. Just division */
|
|
|
|
if ((res = mp_init_size(&q, a->used)) != MP_OKAY) {
|
|
|
|
return res;
|
|
|
|
}
|
2017-08-29 23:51:11 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
q.used = a->used;
|
|
|
|
q.sign = a->sign;
|
|
|
|
w = 0;
|
|
|
|
for (ix = a->used - 1; ix >= 0; ix--) {
|
2017-10-15 13:58:35 -04:00
|
|
|
w = (w << (mp_word)DIGIT_BIT) | (mp_word)a->dp[ix];
|
2017-08-29 23:51:11 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
if (w >= b) {
|
|
|
|
t = (mp_digit)(w / b);
|
2017-10-15 13:58:35 -04:00
|
|
|
w -= (mp_word)t * (mp_word)b;
|
2003-05-29 09:35:26 -04:00
|
|
|
} else {
|
2017-08-29 16:23:48 -04:00
|
|
|
t = 0;
|
2003-05-29 09:35:26 -04:00
|
|
|
}
|
2017-10-15 13:58:35 -04:00
|
|
|
q.dp[ix] = t;
|
2017-08-29 16:23:48 -04:00
|
|
|
}
|
2017-08-29 23:51:11 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
if (d != NULL) {
|
|
|
|
*d = (mp_digit)w;
|
|
|
|
}
|
2017-08-29 23:51:11 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
if (c != NULL) {
|
|
|
|
mp_clamp(&q);
|
|
|
|
mp_exch(&q, c);
|
|
|
|
}
|
|
|
|
mp_clear(&q);
|
2017-08-29 23:51:11 -04:00
|
|
|
|
2017-08-29 16:23:48 -04:00
|
|
|
return res;
|
2003-02-28 11:08:34 -05:00
|
|
|
}
|
2003-05-29 09:35:26 -04:00
|
|
|
|
2004-10-29 18:07:18 -04:00
|
|
|
#endif
|
2005-08-01 12:37:28 -04:00
|
|
|
|
2017-08-28 10:27:26 -04:00
|
|
|
/* ref: $Format:%D$ */
|
|
|
|
/* git commit: $Format:%H$ */
|
|
|
|
/* commit time: $Format:%ai$ */
|