2020-12-28 21:40:37 +00:00
|
|
|
#include "tommath_private.h"
|
2014-12-10 21:56:49 +00:00
|
|
|
#ifdef BN_MP_REDUCE_2K_C
|
2020-12-28 21:40:37 +00:00
|
|
|
/* LibTomMath, multiple-precision integer library -- Tom St Denis */
|
|
|
|
/* SPDX-License-Identifier: Unlicense */
|
2014-12-10 21:56:49 +00:00
|
|
|
|
|
|
|
/* reduces a modulo n where n is of the form 2**p - d */
|
2020-12-28 21:40:37 +00:00
|
|
|
mp_err mp_reduce_2k(mp_int *a, const mp_int *n, mp_digit d)
|
2014-12-10 21:56:49 +00:00
|
|
|
{
|
|
|
|
mp_int q;
|
2020-12-28 21:40:37 +00:00
|
|
|
mp_err err;
|
|
|
|
int p;
|
2019-06-09 20:44:26 +00:00
|
|
|
|
2020-12-28 21:40:37 +00:00
|
|
|
if ((err = mp_init(&q)) != MP_OKAY) {
|
|
|
|
return err;
|
2014-12-10 21:56:49 +00:00
|
|
|
}
|
2019-06-09 20:44:26 +00:00
|
|
|
|
|
|
|
p = mp_count_bits(n);
|
2014-12-10 21:56:49 +00:00
|
|
|
top:
|
|
|
|
/* q = a/2**p, a = a mod 2**p */
|
2020-12-28 21:40:37 +00:00
|
|
|
if ((err = mp_div_2d(a, p, &q, a)) != MP_OKAY) {
|
|
|
|
goto LBL_ERR;
|
2014-12-10 21:56:49 +00:00
|
|
|
}
|
2019-06-09 20:44:26 +00:00
|
|
|
|
2020-12-28 21:40:37 +00:00
|
|
|
if (d != 1u) {
|
2014-12-10 21:56:49 +00:00
|
|
|
/* q = q * d */
|
2020-12-28 21:40:37 +00:00
|
|
|
if ((err = mp_mul_d(&q, d, &q)) != MP_OKAY) {
|
|
|
|
goto LBL_ERR;
|
2014-12-10 21:56:49 +00:00
|
|
|
}
|
|
|
|
}
|
2019-06-09 20:44:26 +00:00
|
|
|
|
2014-12-10 21:56:49 +00:00
|
|
|
/* a = a + q */
|
2020-12-28 21:40:37 +00:00
|
|
|
if ((err = s_mp_add(a, &q, a)) != MP_OKAY) {
|
|
|
|
goto LBL_ERR;
|
2014-12-10 21:56:49 +00:00
|
|
|
}
|
2019-06-09 20:44:26 +00:00
|
|
|
|
2014-12-10 21:56:49 +00:00
|
|
|
if (mp_cmp_mag(a, n) != MP_LT) {
|
2020-12-28 21:40:37 +00:00
|
|
|
if ((err = s_mp_sub(a, n, a)) != MP_OKAY) {
|
|
|
|
goto LBL_ERR;
|
2019-06-09 20:44:26 +00:00
|
|
|
}
|
2014-12-10 21:56:49 +00:00
|
|
|
goto top;
|
|
|
|
}
|
2019-06-09 20:44:26 +00:00
|
|
|
|
2020-12-28 21:40:37 +00:00
|
|
|
LBL_ERR:
|
2014-12-10 21:56:49 +00:00
|
|
|
mp_clear(&q);
|
2020-12-28 21:40:37 +00:00
|
|
|
return err;
|
2014-12-10 21:56:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|