| 
									
										
										
										
											2018-05-02 21:43:17 +02:00
										 |  |  | #include "tommath_private.h"
 | 
					
						
							| 
									
										
										
										
											2004-10-29 22:07:18 +00:00
										 |  |  | #ifdef BN_MP_REDUCE_2K_C
 | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | /* LibTomMath, multiple-precision integer library -- Tom St Denis
 | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * LibTomMath is a library that provides multiple-precision | 
					
						
							|  |  |  |  * integer arithmetic as well as number theoretic functionality. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * The library was designed directly after the MPI library by | 
					
						
							|  |  |  |  * 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. | 
					
						
							|  |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-04-11 20:46:22 +00:00
										 |  |  | /* reduces a modulo n where n is of the form 2**p - d */ | 
					
						
							| 
									
										
										
										
											2017-09-20 16:59:43 +02:00
										 |  |  | int mp_reduce_2k(mp_int *a, const mp_int *n, mp_digit d) | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | { | 
					
						
							|  |  |  |    mp_int q; | 
					
						
							|  |  |  |    int    p, res; | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    if ((res = mp_init(&q)) != MP_OKAY) { | 
					
						
							|  |  |  |       return res; | 
					
						
							|  |  |  |    } | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |    p = mp_count_bits(n); | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | top: | 
					
						
							|  |  |  |    /* q = a/2**p, a = a mod 2**p */ | 
					
						
							|  |  |  |    if ((res = mp_div_2d(a, p, &q, a)) != MP_OKAY) { | 
					
						
							| 
									
										
										
										
											2018-04-11 13:46:35 -07:00
										 |  |  |       goto LBL_ERR; | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    } | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-10-15 19:57:12 +02:00
										 |  |  |    if (d != 1u) { | 
					
						
							| 
									
										
										
										
											2004-04-11 20:46:22 +00:00
										 |  |  |       /* q = q * d */ | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  |       if ((res = mp_mul_d(&q, d, &q)) != MP_OKAY) { | 
					
						
							| 
									
										
										
										
											2018-04-11 13:46:35 -07:00
										 |  |  |          goto LBL_ERR; | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |       } | 
					
						
							|  |  |  |    } | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    /* a = a + q */ | 
					
						
							|  |  |  |    if ((res = s_mp_add(a, &q, a)) != MP_OKAY) { | 
					
						
							| 
									
										
										
										
											2018-04-11 13:46:35 -07:00
										 |  |  |       goto LBL_ERR; | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    } | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    if (mp_cmp_mag(a, n) != MP_LT) { | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:00 +01:00
										 |  |  |       if ((res = s_mp_sub(a, n, a)) != MP_OKAY) { | 
					
						
							| 
									
										
										
										
											2018-04-11 13:46:35 -07:00
										 |  |  |          goto LBL_ERR; | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:00 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |       goto top; | 
					
						
							|  |  |  |    } | 
					
						
							| 
									
										
										
										
											2015-11-12 01:18:15 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-04-11 13:46:35 -07:00
										 |  |  | LBL_ERR: | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |    mp_clear(&q); | 
					
						
							|  |  |  |    return res; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-10-29 22:07:18 +00:00
										 |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2005-08-01 16:37:28 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2017-08-28 16:27:26 +02:00
										 |  |  | /* ref:         $Format:%D$ */ | 
					
						
							|  |  |  | /* git commit:  $Format:%H$ */ | 
					
						
							|  |  |  | /* commit time: $Format:%ai$ */ |