| 
									
										
										
										
											2004-10-29 22:07:18 +00:00
										 |  |  | #include <tommath.h>
 | 
					
						
							|  |  |  | #ifdef BN_MP_DIV_3_C
 | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +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-07-02 15:39:39 +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-07-02 15:39:39 +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. | 
					
						
							|  |  |  |  * | 
					
						
							| 
									
										
										
										
											2007-04-18 09:58:18 +00:00
										 |  |  |  * Tom St Denis, tomstdenis@gmail.com, http://libtom.org
 | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | /* divide by three (based on routine from MPI and the GMP manual) */ | 
					
						
							|  |  |  | int | 
					
						
							|  |  |  | mp_div_3 (mp_int * a, mp_int *c, mp_digit * d) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   mp_int   q; | 
					
						
							|  |  |  |   mp_word  w, t; | 
					
						
							|  |  |  |   mp_digit b; | 
					
						
							|  |  |  |   int      res, ix; | 
					
						
							|  |  |  |    | 
					
						
							|  |  |  |   /* b = 2**DIGIT_BIT / 3 */ | 
					
						
							|  |  |  |   b = (((mp_word)1) << ((mp_word)DIGIT_BIT)) / ((mp_word)3); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   if ((res = mp_init_size(&q, a->used)) != MP_OKAY) { | 
					
						
							|  |  |  |      return res; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |    | 
					
						
							|  |  |  |   q.used = a->used; | 
					
						
							|  |  |  |   q.sign = a->sign; | 
					
						
							|  |  |  |   w = 0; | 
					
						
							|  |  |  |   for (ix = a->used - 1; ix >= 0; ix--) { | 
					
						
							|  |  |  |      w = (w << ((mp_word)DIGIT_BIT)) | ((mp_word)a->dp[ix]); | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |      if (w >= 3) { | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  |         /* multiply w by [1/3] */ | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |         t = (w * ((mp_word)b)) >> ((mp_word)DIGIT_BIT); | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |         /* now subtract 3 * [w/3] from w, to get the remainder */ | 
					
						
							| 
									
										
										
										
											2004-01-25 17:40:21 +00:00
										 |  |  |         w -= t+t+t; | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |         /* fixup the remainder as required since
 | 
					
						
							|  |  |  |          * the optimization is not exact. | 
					
						
							|  |  |  |          */ | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |         while (w >= 3) { | 
					
						
							|  |  |  |            t += 1; | 
					
						
							|  |  |  |            w -= 3; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |       } else { | 
					
						
							|  |  |  |         t = 0; | 
					
						
							|  |  |  |       } | 
					
						
							|  |  |  |       q.dp[ix] = (mp_digit)t; | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |   /* [optional] store the remainder */ | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |   if (d != NULL) { | 
					
						
							|  |  |  |      *d = (mp_digit)w; | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2003-08-05 01:24:44 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |   /* [optional] store the quotient */ | 
					
						
							| 
									
										
										
										
											2003-07-02 15:39:39 +00:00
										 |  |  |   if (c != NULL) { | 
					
						
							|  |  |  |      mp_clamp(&q); | 
					
						
							|  |  |  |      mp_exch(&q, c); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |   mp_clear(&q); | 
					
						
							|  |  |  |    | 
					
						
							|  |  |  |   return res; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-10-29 22:07:18 +00:00
										 |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2005-08-01 16:37:28 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | /* $Source$ */ | 
					
						
							|  |  |  | /* $Revision$ */ | 
					
						
							|  |  |  | /* $Date$ */ |