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