libtommath/bn_mp_montgomery_calc_normalization.c

60 lines
1.5 KiB
C
Raw Normal View History

2004-10-29 22:07:18 +00:00
#include <tommath.h>
#ifdef BN_MP_MONTGOMERY_CALC_NORMALIZATION_C
2003-02-28 16:09:08 +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:09:08 +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:09:08 +00:00
* Michael Fromberger but has been written from scratch with
* additional optimizations in place.
*
* The library is free for all purposes without any express
* guarantee it works.
*
* Tom St Denis, tstdenis82@gmail.com, http://libtom.org
2003-02-28 16:09:08 +00:00
*/
2004-10-29 22:07:18 +00:00
/*
2003-02-28 16:09:08 +00:00
* shifts with subtractions when the result is greater than b.
*
* The method is slightly modified to shift B unconditionally upto just under
* the leading bit of b. This saves alot of multiple precision shifting.
*/
2004-10-29 22:07:18 +00:00
int mp_montgomery_calc_normalization (mp_int * a, mp_int * b)
2003-02-28 16:09:08 +00:00
{
int x, bits, res;
/* how many bits of last digit does b use */
bits = mp_count_bits (b) % DIGIT_BIT;
2004-10-29 22:07:18 +00:00
if (b->used > 1) {
if ((res = mp_2expt (a, (b->used - 1) * DIGIT_BIT + bits - 1)) != MP_OKAY) {
return res;
}
} else {
mp_set(a, 1);
bits = 1;
2003-02-28 16:09:08 +00:00
}
2004-10-29 22:07:18 +00:00
2003-02-28 16:09:08 +00:00
/* now compute C = A * B mod b */
2003-05-17 12:33:54 +00:00
for (x = bits - 1; x < (int)DIGIT_BIT; x++) {
2003-02-28 16:09:08 +00:00
if ((res = mp_mul_2 (a, a)) != MP_OKAY) {
return res;
}
if (mp_cmp_mag (a, b) != MP_LT) {
if ((res = s_mp_sub (a, b, a)) != MP_OKAY) {
2003-05-17 12:33:54 +00:00
return res;
2003-02-28 16:09:08 +00:00
}
}
}
return MP_OKAY;
}
2004-10-29 22:07:18 +00:00
#endif
2005-08-01 16:37:28 +00:00
/* $Source$ */
/* $Revision$ */
/* $Date$ */