1*4882a593Smuzhiyun /* mpi-div.c - MPI functions
2*4882a593Smuzhiyun * Copyright (C) 1994, 1996, 1998, 2001, 2002,
3*4882a593Smuzhiyun * 2003 Free Software Foundation, Inc.
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * This file is part of Libgcrypt.
6*4882a593Smuzhiyun *
7*4882a593Smuzhiyun * Note: This code is heavily based on the GNU MP Library.
8*4882a593Smuzhiyun * Actually it's the same code with only minor changes in the
9*4882a593Smuzhiyun * way the data is stored; this is to support the abstraction
10*4882a593Smuzhiyun * of an optional secure memory allocation which may be used
11*4882a593Smuzhiyun * to avoid revealing of sensitive data due to paging etc.
12*4882a593Smuzhiyun */
13*4882a593Smuzhiyun
14*4882a593Smuzhiyun #include "mpi-internal.h"
15*4882a593Smuzhiyun #include "longlong.h"
16*4882a593Smuzhiyun
17*4882a593Smuzhiyun void mpi_tdiv_qr(MPI quot, MPI rem, MPI num, MPI den);
18*4882a593Smuzhiyun void mpi_fdiv_qr(MPI quot, MPI rem, MPI dividend, MPI divisor);
19*4882a593Smuzhiyun
mpi_fdiv_r(MPI rem,MPI dividend,MPI divisor)20*4882a593Smuzhiyun void mpi_fdiv_r(MPI rem, MPI dividend, MPI divisor)
21*4882a593Smuzhiyun {
22*4882a593Smuzhiyun int divisor_sign = divisor->sign;
23*4882a593Smuzhiyun MPI temp_divisor = NULL;
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun /* We need the original value of the divisor after the remainder has been
26*4882a593Smuzhiyun * preliminary calculated. We have to copy it to temporary space if it's
27*4882a593Smuzhiyun * the same variable as REM.
28*4882a593Smuzhiyun */
29*4882a593Smuzhiyun if (rem == divisor) {
30*4882a593Smuzhiyun temp_divisor = mpi_copy(divisor);
31*4882a593Smuzhiyun divisor = temp_divisor;
32*4882a593Smuzhiyun }
33*4882a593Smuzhiyun
34*4882a593Smuzhiyun mpi_tdiv_r(rem, dividend, divisor);
35*4882a593Smuzhiyun
36*4882a593Smuzhiyun if (((divisor_sign?1:0) ^ (dividend->sign?1:0)) && rem->nlimbs)
37*4882a593Smuzhiyun mpi_add(rem, rem, divisor);
38*4882a593Smuzhiyun
39*4882a593Smuzhiyun if (temp_divisor)
40*4882a593Smuzhiyun mpi_free(temp_divisor);
41*4882a593Smuzhiyun }
42*4882a593Smuzhiyun
mpi_fdiv_q(MPI quot,MPI dividend,MPI divisor)43*4882a593Smuzhiyun void mpi_fdiv_q(MPI quot, MPI dividend, MPI divisor)
44*4882a593Smuzhiyun {
45*4882a593Smuzhiyun MPI tmp = mpi_alloc(mpi_get_nlimbs(quot));
46*4882a593Smuzhiyun mpi_fdiv_qr(quot, tmp, dividend, divisor);
47*4882a593Smuzhiyun mpi_free(tmp);
48*4882a593Smuzhiyun }
49*4882a593Smuzhiyun
mpi_fdiv_qr(MPI quot,MPI rem,MPI dividend,MPI divisor)50*4882a593Smuzhiyun void mpi_fdiv_qr(MPI quot, MPI rem, MPI dividend, MPI divisor)
51*4882a593Smuzhiyun {
52*4882a593Smuzhiyun int divisor_sign = divisor->sign;
53*4882a593Smuzhiyun MPI temp_divisor = NULL;
54*4882a593Smuzhiyun
55*4882a593Smuzhiyun if (quot == divisor || rem == divisor) {
56*4882a593Smuzhiyun temp_divisor = mpi_copy(divisor);
57*4882a593Smuzhiyun divisor = temp_divisor;
58*4882a593Smuzhiyun }
59*4882a593Smuzhiyun
60*4882a593Smuzhiyun mpi_tdiv_qr(quot, rem, dividend, divisor);
61*4882a593Smuzhiyun
62*4882a593Smuzhiyun if ((divisor_sign ^ dividend->sign) && rem->nlimbs) {
63*4882a593Smuzhiyun mpi_sub_ui(quot, quot, 1);
64*4882a593Smuzhiyun mpi_add(rem, rem, divisor);
65*4882a593Smuzhiyun }
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun if (temp_divisor)
68*4882a593Smuzhiyun mpi_free(temp_divisor);
69*4882a593Smuzhiyun }
70*4882a593Smuzhiyun
71*4882a593Smuzhiyun /* If den == quot, den needs temporary storage.
72*4882a593Smuzhiyun * If den == rem, den needs temporary storage.
73*4882a593Smuzhiyun * If num == quot, num needs temporary storage.
74*4882a593Smuzhiyun * If den has temporary storage, it can be normalized while being copied,
75*4882a593Smuzhiyun * i.e no extra storage should be allocated.
76*4882a593Smuzhiyun */
77*4882a593Smuzhiyun
mpi_tdiv_r(MPI rem,MPI num,MPI den)78*4882a593Smuzhiyun void mpi_tdiv_r(MPI rem, MPI num, MPI den)
79*4882a593Smuzhiyun {
80*4882a593Smuzhiyun mpi_tdiv_qr(NULL, rem, num, den);
81*4882a593Smuzhiyun }
82*4882a593Smuzhiyun
mpi_tdiv_qr(MPI quot,MPI rem,MPI num,MPI den)83*4882a593Smuzhiyun void mpi_tdiv_qr(MPI quot, MPI rem, MPI num, MPI den)
84*4882a593Smuzhiyun {
85*4882a593Smuzhiyun mpi_ptr_t np, dp;
86*4882a593Smuzhiyun mpi_ptr_t qp, rp;
87*4882a593Smuzhiyun mpi_size_t nsize = num->nlimbs;
88*4882a593Smuzhiyun mpi_size_t dsize = den->nlimbs;
89*4882a593Smuzhiyun mpi_size_t qsize, rsize;
90*4882a593Smuzhiyun mpi_size_t sign_remainder = num->sign;
91*4882a593Smuzhiyun mpi_size_t sign_quotient = num->sign ^ den->sign;
92*4882a593Smuzhiyun unsigned int normalization_steps;
93*4882a593Smuzhiyun mpi_limb_t q_limb;
94*4882a593Smuzhiyun mpi_ptr_t marker[5];
95*4882a593Smuzhiyun int markidx = 0;
96*4882a593Smuzhiyun
97*4882a593Smuzhiyun /* Ensure space is enough for quotient and remainder.
98*4882a593Smuzhiyun * We need space for an extra limb in the remainder, because it's
99*4882a593Smuzhiyun * up-shifted (normalized) below.
100*4882a593Smuzhiyun */
101*4882a593Smuzhiyun rsize = nsize + 1;
102*4882a593Smuzhiyun mpi_resize(rem, rsize);
103*4882a593Smuzhiyun
104*4882a593Smuzhiyun qsize = rsize - dsize; /* qsize cannot be bigger than this. */
105*4882a593Smuzhiyun if (qsize <= 0) {
106*4882a593Smuzhiyun if (num != rem) {
107*4882a593Smuzhiyun rem->nlimbs = num->nlimbs;
108*4882a593Smuzhiyun rem->sign = num->sign;
109*4882a593Smuzhiyun MPN_COPY(rem->d, num->d, nsize);
110*4882a593Smuzhiyun }
111*4882a593Smuzhiyun if (quot) {
112*4882a593Smuzhiyun /* This needs to follow the assignment to rem, in case the
113*4882a593Smuzhiyun * numerator and quotient are the same.
114*4882a593Smuzhiyun */
115*4882a593Smuzhiyun quot->nlimbs = 0;
116*4882a593Smuzhiyun quot->sign = 0;
117*4882a593Smuzhiyun }
118*4882a593Smuzhiyun return;
119*4882a593Smuzhiyun }
120*4882a593Smuzhiyun
121*4882a593Smuzhiyun if (quot)
122*4882a593Smuzhiyun mpi_resize(quot, qsize);
123*4882a593Smuzhiyun
124*4882a593Smuzhiyun /* Read pointers here, when reallocation is finished. */
125*4882a593Smuzhiyun np = num->d;
126*4882a593Smuzhiyun dp = den->d;
127*4882a593Smuzhiyun rp = rem->d;
128*4882a593Smuzhiyun
129*4882a593Smuzhiyun /* Optimize division by a single-limb divisor. */
130*4882a593Smuzhiyun if (dsize == 1) {
131*4882a593Smuzhiyun mpi_limb_t rlimb;
132*4882a593Smuzhiyun if (quot) {
133*4882a593Smuzhiyun qp = quot->d;
134*4882a593Smuzhiyun rlimb = mpihelp_divmod_1(qp, np, nsize, dp[0]);
135*4882a593Smuzhiyun qsize -= qp[qsize - 1] == 0;
136*4882a593Smuzhiyun quot->nlimbs = qsize;
137*4882a593Smuzhiyun quot->sign = sign_quotient;
138*4882a593Smuzhiyun } else
139*4882a593Smuzhiyun rlimb = mpihelp_mod_1(np, nsize, dp[0]);
140*4882a593Smuzhiyun rp[0] = rlimb;
141*4882a593Smuzhiyun rsize = rlimb != 0?1:0;
142*4882a593Smuzhiyun rem->nlimbs = rsize;
143*4882a593Smuzhiyun rem->sign = sign_remainder;
144*4882a593Smuzhiyun return;
145*4882a593Smuzhiyun }
146*4882a593Smuzhiyun
147*4882a593Smuzhiyun
148*4882a593Smuzhiyun if (quot) {
149*4882a593Smuzhiyun qp = quot->d;
150*4882a593Smuzhiyun /* Make sure QP and NP point to different objects. Otherwise the
151*4882a593Smuzhiyun * numerator would be gradually overwritten by the quotient limbs.
152*4882a593Smuzhiyun */
153*4882a593Smuzhiyun if (qp == np) { /* Copy NP object to temporary space. */
154*4882a593Smuzhiyun np = marker[markidx++] = mpi_alloc_limb_space(nsize);
155*4882a593Smuzhiyun MPN_COPY(np, qp, nsize);
156*4882a593Smuzhiyun }
157*4882a593Smuzhiyun } else /* Put quotient at top of remainder. */
158*4882a593Smuzhiyun qp = rp + dsize;
159*4882a593Smuzhiyun
160*4882a593Smuzhiyun normalization_steps = count_leading_zeros(dp[dsize - 1]);
161*4882a593Smuzhiyun
162*4882a593Smuzhiyun /* Normalize the denominator, i.e. make its most significant bit set by
163*4882a593Smuzhiyun * shifting it NORMALIZATION_STEPS bits to the left. Also shift the
164*4882a593Smuzhiyun * numerator the same number of steps (to keep the quotient the same!).
165*4882a593Smuzhiyun */
166*4882a593Smuzhiyun if (normalization_steps) {
167*4882a593Smuzhiyun mpi_ptr_t tp;
168*4882a593Smuzhiyun mpi_limb_t nlimb;
169*4882a593Smuzhiyun
170*4882a593Smuzhiyun /* Shift up the denominator setting the most significant bit of
171*4882a593Smuzhiyun * the most significant word. Use temporary storage not to clobber
172*4882a593Smuzhiyun * the original contents of the denominator.
173*4882a593Smuzhiyun */
174*4882a593Smuzhiyun tp = marker[markidx++] = mpi_alloc_limb_space(dsize);
175*4882a593Smuzhiyun mpihelp_lshift(tp, dp, dsize, normalization_steps);
176*4882a593Smuzhiyun dp = tp;
177*4882a593Smuzhiyun
178*4882a593Smuzhiyun /* Shift up the numerator, possibly introducing a new most
179*4882a593Smuzhiyun * significant word. Move the shifted numerator in the remainder
180*4882a593Smuzhiyun * meanwhile.
181*4882a593Smuzhiyun */
182*4882a593Smuzhiyun nlimb = mpihelp_lshift(rp, np, nsize, normalization_steps);
183*4882a593Smuzhiyun if (nlimb) {
184*4882a593Smuzhiyun rp[nsize] = nlimb;
185*4882a593Smuzhiyun rsize = nsize + 1;
186*4882a593Smuzhiyun } else
187*4882a593Smuzhiyun rsize = nsize;
188*4882a593Smuzhiyun } else {
189*4882a593Smuzhiyun /* The denominator is already normalized, as required. Copy it to
190*4882a593Smuzhiyun * temporary space if it overlaps with the quotient or remainder.
191*4882a593Smuzhiyun */
192*4882a593Smuzhiyun if (dp == rp || (quot && (dp == qp))) {
193*4882a593Smuzhiyun mpi_ptr_t tp;
194*4882a593Smuzhiyun
195*4882a593Smuzhiyun tp = marker[markidx++] = mpi_alloc_limb_space(dsize);
196*4882a593Smuzhiyun MPN_COPY(tp, dp, dsize);
197*4882a593Smuzhiyun dp = tp;
198*4882a593Smuzhiyun }
199*4882a593Smuzhiyun
200*4882a593Smuzhiyun /* Move the numerator to the remainder. */
201*4882a593Smuzhiyun if (rp != np)
202*4882a593Smuzhiyun MPN_COPY(rp, np, nsize);
203*4882a593Smuzhiyun
204*4882a593Smuzhiyun rsize = nsize;
205*4882a593Smuzhiyun }
206*4882a593Smuzhiyun
207*4882a593Smuzhiyun q_limb = mpihelp_divrem(qp, 0, rp, rsize, dp, dsize);
208*4882a593Smuzhiyun
209*4882a593Smuzhiyun if (quot) {
210*4882a593Smuzhiyun qsize = rsize - dsize;
211*4882a593Smuzhiyun if (q_limb) {
212*4882a593Smuzhiyun qp[qsize] = q_limb;
213*4882a593Smuzhiyun qsize += 1;
214*4882a593Smuzhiyun }
215*4882a593Smuzhiyun
216*4882a593Smuzhiyun quot->nlimbs = qsize;
217*4882a593Smuzhiyun quot->sign = sign_quotient;
218*4882a593Smuzhiyun }
219*4882a593Smuzhiyun
220*4882a593Smuzhiyun rsize = dsize;
221*4882a593Smuzhiyun MPN_NORMALIZE(rp, rsize);
222*4882a593Smuzhiyun
223*4882a593Smuzhiyun if (normalization_steps && rsize) {
224*4882a593Smuzhiyun mpihelp_rshift(rp, rp, rsize, normalization_steps);
225*4882a593Smuzhiyun rsize -= rp[rsize - 1] == 0?1:0;
226*4882a593Smuzhiyun }
227*4882a593Smuzhiyun
228*4882a593Smuzhiyun rem->nlimbs = rsize;
229*4882a593Smuzhiyun rem->sign = sign_remainder;
230*4882a593Smuzhiyun while (markidx) {
231*4882a593Smuzhiyun markidx--;
232*4882a593Smuzhiyun mpi_free_limb_space(marker[markidx]);
233*4882a593Smuzhiyun }
234*4882a593Smuzhiyun }
235