1*f9fbec18Smcpowers /*
2*f9fbec18Smcpowers * mplogic.c
3*f9fbec18Smcpowers *
4*f9fbec18Smcpowers * Bitwise logical operations on MPI values
5*f9fbec18Smcpowers *
6*f9fbec18Smcpowers * ***** BEGIN LICENSE BLOCK *****
7*f9fbec18Smcpowers * Version: MPL 1.1/GPL 2.0/LGPL 2.1
8*f9fbec18Smcpowers *
9*f9fbec18Smcpowers * The contents of this file are subject to the Mozilla Public License Version
10*f9fbec18Smcpowers * 1.1 (the "License"); you may not use this file except in compliance with
11*f9fbec18Smcpowers * the License. You may obtain a copy of the License at
12*f9fbec18Smcpowers * http://www.mozilla.org/MPL/
13*f9fbec18Smcpowers *
14*f9fbec18Smcpowers * Software distributed under the License is distributed on an "AS IS" basis,
15*f9fbec18Smcpowers * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
16*f9fbec18Smcpowers * for the specific language governing rights and limitations under the
17*f9fbec18Smcpowers * License.
18*f9fbec18Smcpowers *
19*f9fbec18Smcpowers * The Original Code is the MPI Arbitrary Precision Integer Arithmetic library.
20*f9fbec18Smcpowers *
21*f9fbec18Smcpowers * The Initial Developer of the Original Code is
22*f9fbec18Smcpowers * Michael J. Fromberger.
23*f9fbec18Smcpowers * Portions created by the Initial Developer are Copyright (C) 1998
24*f9fbec18Smcpowers * the Initial Developer. All Rights Reserved.
25*f9fbec18Smcpowers *
26*f9fbec18Smcpowers * Contributor(s):
27*f9fbec18Smcpowers *
28*f9fbec18Smcpowers * Alternatively, the contents of this file may be used under the terms of
29*f9fbec18Smcpowers * either the GNU General Public License Version 2 or later (the "GPL"), or
30*f9fbec18Smcpowers * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
31*f9fbec18Smcpowers * in which case the provisions of the GPL or the LGPL are applicable instead
32*f9fbec18Smcpowers * of those above. If you wish to allow use of your version of this file only
33*f9fbec18Smcpowers * under the terms of either the GPL or the LGPL, and not to allow others to
34*f9fbec18Smcpowers * use your version of this file under the terms of the MPL, indicate your
35*f9fbec18Smcpowers * decision by deleting the provisions above and replace them with the notice
36*f9fbec18Smcpowers * and other provisions required by the GPL or the LGPL. If you do not delete
37*f9fbec18Smcpowers * the provisions above, a recipient may use your version of this file under
38*f9fbec18Smcpowers * the terms of any one of the MPL, the GPL or the LGPL.
39*f9fbec18Smcpowers *
40*f9fbec18Smcpowers * ***** END LICENSE BLOCK ***** */
41*f9fbec18Smcpowers /*
42*f9fbec18Smcpowers * Copyright 2007 Sun Microsystems, Inc. All rights reserved.
43*f9fbec18Smcpowers * Use is subject to license terms.
44*f9fbec18Smcpowers *
45*f9fbec18Smcpowers * Sun elects to use this software under the MPL license.
46*f9fbec18Smcpowers */
47*f9fbec18Smcpowers
48*f9fbec18Smcpowers #pragma ident "%Z%%M% %I% %E% SMI"
49*f9fbec18Smcpowers
50*f9fbec18Smcpowers /* $Id: mplogic.c,v 1.15 2004/04/27 23:04:36 gerv%gerv.net Exp $ */
51*f9fbec18Smcpowers
52*f9fbec18Smcpowers #include "mpi-priv.h"
53*f9fbec18Smcpowers #include "mplogic.h"
54*f9fbec18Smcpowers
55*f9fbec18Smcpowers /* {{{ Lookup table for population count */
56*f9fbec18Smcpowers
57*f9fbec18Smcpowers static unsigned char bitc[] = {
58*f9fbec18Smcpowers 0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4,
59*f9fbec18Smcpowers 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5,
60*f9fbec18Smcpowers 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5,
61*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
62*f9fbec18Smcpowers 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5,
63*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
64*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
65*f9fbec18Smcpowers 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
66*f9fbec18Smcpowers 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5,
67*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
68*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
69*f9fbec18Smcpowers 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
70*f9fbec18Smcpowers 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
71*f9fbec18Smcpowers 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
72*f9fbec18Smcpowers 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
73*f9fbec18Smcpowers 4, 5, 5, 6, 5, 6, 6, 7, 5, 6, 6, 7, 6, 7, 7, 8
74*f9fbec18Smcpowers };
75*f9fbec18Smcpowers
76*f9fbec18Smcpowers /* }}} */
77*f9fbec18Smcpowers
78*f9fbec18Smcpowers /*
79*f9fbec18Smcpowers mpl_rsh(a, b, d) - b = a >> d
80*f9fbec18Smcpowers mpl_lsh(a, b, d) - b = a << d
81*f9fbec18Smcpowers */
82*f9fbec18Smcpowers
83*f9fbec18Smcpowers /* {{{ mpl_rsh(a, b, d) */
84*f9fbec18Smcpowers
mpl_rsh(const mp_int * a,mp_int * b,mp_digit d)85*f9fbec18Smcpowers mp_err mpl_rsh(const mp_int *a, mp_int *b, mp_digit d)
86*f9fbec18Smcpowers {
87*f9fbec18Smcpowers mp_err res;
88*f9fbec18Smcpowers
89*f9fbec18Smcpowers ARGCHK(a != NULL && b != NULL, MP_BADARG);
90*f9fbec18Smcpowers
91*f9fbec18Smcpowers if((res = mp_copy(a, b)) != MP_OKAY)
92*f9fbec18Smcpowers return res;
93*f9fbec18Smcpowers
94*f9fbec18Smcpowers s_mp_div_2d(b, d);
95*f9fbec18Smcpowers
96*f9fbec18Smcpowers return MP_OKAY;
97*f9fbec18Smcpowers
98*f9fbec18Smcpowers } /* end mpl_rsh() */
99*f9fbec18Smcpowers
100*f9fbec18Smcpowers /* }}} */
101*f9fbec18Smcpowers
102*f9fbec18Smcpowers /* {{{ mpl_lsh(a, b, d) */
103*f9fbec18Smcpowers
mpl_lsh(const mp_int * a,mp_int * b,mp_digit d)104*f9fbec18Smcpowers mp_err mpl_lsh(const mp_int *a, mp_int *b, mp_digit d)
105*f9fbec18Smcpowers {
106*f9fbec18Smcpowers mp_err res;
107*f9fbec18Smcpowers
108*f9fbec18Smcpowers ARGCHK(a != NULL && b != NULL, MP_BADARG);
109*f9fbec18Smcpowers
110*f9fbec18Smcpowers if((res = mp_copy(a, b)) != MP_OKAY)
111*f9fbec18Smcpowers return res;
112*f9fbec18Smcpowers
113*f9fbec18Smcpowers return s_mp_mul_2d(b, d);
114*f9fbec18Smcpowers
115*f9fbec18Smcpowers } /* end mpl_lsh() */
116*f9fbec18Smcpowers
117*f9fbec18Smcpowers /* }}} */
118*f9fbec18Smcpowers
119*f9fbec18Smcpowers /*------------------------------------------------------------------------*/
120*f9fbec18Smcpowers /*
121*f9fbec18Smcpowers mpl_set_bit
122*f9fbec18Smcpowers
123*f9fbec18Smcpowers Returns MP_OKAY or some error code.
124*f9fbec18Smcpowers Grows a if needed to set a bit to 1.
125*f9fbec18Smcpowers */
mpl_set_bit(mp_int * a,mp_size bitNum,mp_size value)126*f9fbec18Smcpowers mp_err mpl_set_bit(mp_int *a, mp_size bitNum, mp_size value)
127*f9fbec18Smcpowers {
128*f9fbec18Smcpowers mp_size ix;
129*f9fbec18Smcpowers mp_err rv;
130*f9fbec18Smcpowers mp_digit mask;
131*f9fbec18Smcpowers
132*f9fbec18Smcpowers ARGCHK(a != NULL, MP_BADARG);
133*f9fbec18Smcpowers
134*f9fbec18Smcpowers ix = bitNum / MP_DIGIT_BIT;
135*f9fbec18Smcpowers if (ix + 1 > MP_USED(a)) {
136*f9fbec18Smcpowers rv = s_mp_pad(a, ix + 1);
137*f9fbec18Smcpowers if (rv != MP_OKAY)
138*f9fbec18Smcpowers return rv;
139*f9fbec18Smcpowers }
140*f9fbec18Smcpowers
141*f9fbec18Smcpowers bitNum = bitNum % MP_DIGIT_BIT;
142*f9fbec18Smcpowers mask = (mp_digit)1 << bitNum;
143*f9fbec18Smcpowers if (value)
144*f9fbec18Smcpowers MP_DIGIT(a,ix) |= mask;
145*f9fbec18Smcpowers else
146*f9fbec18Smcpowers MP_DIGIT(a,ix) &= ~mask;
147*f9fbec18Smcpowers s_mp_clamp(a);
148*f9fbec18Smcpowers return MP_OKAY;
149*f9fbec18Smcpowers }
150*f9fbec18Smcpowers
151*f9fbec18Smcpowers /*
152*f9fbec18Smcpowers mpl_get_bit
153*f9fbec18Smcpowers
154*f9fbec18Smcpowers returns 0 or 1 or some (negative) error code.
155*f9fbec18Smcpowers */
mpl_get_bit(const mp_int * a,mp_size bitNum)156*f9fbec18Smcpowers mp_err mpl_get_bit(const mp_int *a, mp_size bitNum)
157*f9fbec18Smcpowers {
158*f9fbec18Smcpowers mp_size bit, ix;
159*f9fbec18Smcpowers mp_err rv;
160*f9fbec18Smcpowers
161*f9fbec18Smcpowers ARGCHK(a != NULL, MP_BADARG);
162*f9fbec18Smcpowers
163*f9fbec18Smcpowers ix = bitNum / MP_DIGIT_BIT;
164*f9fbec18Smcpowers ARGCHK(ix <= MP_USED(a) - 1, MP_RANGE);
165*f9fbec18Smcpowers
166*f9fbec18Smcpowers bit = bitNum % MP_DIGIT_BIT;
167*f9fbec18Smcpowers rv = (mp_err)(MP_DIGIT(a, ix) >> bit) & 1;
168*f9fbec18Smcpowers return rv;
169*f9fbec18Smcpowers }
170*f9fbec18Smcpowers
171*f9fbec18Smcpowers /*
172*f9fbec18Smcpowers mpl_get_bits
173*f9fbec18Smcpowers - Extracts numBits bits from a, where the least significant extracted bit
174*f9fbec18Smcpowers is bit lsbNum. Returns a negative value if error occurs.
175*f9fbec18Smcpowers - Because sign bit is used to indicate error, maximum number of bits to
176*f9fbec18Smcpowers be returned is the lesser of (a) the number of bits in an mp_digit, or
177*f9fbec18Smcpowers (b) one less than the number of bits in an mp_err.
178*f9fbec18Smcpowers - lsbNum + numbits can be greater than the number of significant bits in
179*f9fbec18Smcpowers integer a, as long as bit lsbNum is in the high order digit of a.
180*f9fbec18Smcpowers */
mpl_get_bits(const mp_int * a,mp_size lsbNum,mp_size numBits)181*f9fbec18Smcpowers mp_err mpl_get_bits(const mp_int *a, mp_size lsbNum, mp_size numBits)
182*f9fbec18Smcpowers {
183*f9fbec18Smcpowers mp_size rshift = (lsbNum % MP_DIGIT_BIT);
184*f9fbec18Smcpowers mp_size lsWndx = (lsbNum / MP_DIGIT_BIT);
185*f9fbec18Smcpowers mp_digit * digit = MP_DIGITS(a) + lsWndx;
186*f9fbec18Smcpowers mp_digit mask = ((1 << numBits) - 1);
187*f9fbec18Smcpowers
188*f9fbec18Smcpowers ARGCHK(numBits < CHAR_BIT * sizeof mask, MP_BADARG);
189*f9fbec18Smcpowers ARGCHK(MP_HOWMANY(lsbNum, MP_DIGIT_BIT) <= MP_USED(a), MP_RANGE);
190*f9fbec18Smcpowers
191*f9fbec18Smcpowers if ((numBits + lsbNum % MP_DIGIT_BIT <= MP_DIGIT_BIT) ||
192*f9fbec18Smcpowers (lsWndx + 1 >= MP_USED(a))) {
193*f9fbec18Smcpowers mask &= (digit[0] >> rshift);
194*f9fbec18Smcpowers } else {
195*f9fbec18Smcpowers mask &= ((digit[0] >> rshift) | (digit[1] << (MP_DIGIT_BIT - rshift)));
196*f9fbec18Smcpowers }
197*f9fbec18Smcpowers return (mp_err)mask;
198*f9fbec18Smcpowers }
199*f9fbec18Smcpowers
200*f9fbec18Smcpowers /*
201*f9fbec18Smcpowers mpl_significant_bits
202*f9fbec18Smcpowers returns number of significnant bits in abs(a).
203*f9fbec18Smcpowers returns 1 if value is zero.
204*f9fbec18Smcpowers */
mpl_significant_bits(const mp_int * a)205*f9fbec18Smcpowers mp_err mpl_significant_bits(const mp_int *a)
206*f9fbec18Smcpowers {
207*f9fbec18Smcpowers mp_err bits = 0;
208*f9fbec18Smcpowers int ix;
209*f9fbec18Smcpowers
210*f9fbec18Smcpowers ARGCHK(a != NULL, MP_BADARG);
211*f9fbec18Smcpowers
212*f9fbec18Smcpowers ix = MP_USED(a);
213*f9fbec18Smcpowers for (ix = MP_USED(a); ix > 0; ) {
214*f9fbec18Smcpowers mp_digit d;
215*f9fbec18Smcpowers d = MP_DIGIT(a, --ix);
216*f9fbec18Smcpowers if (d) {
217*f9fbec18Smcpowers while (d) {
218*f9fbec18Smcpowers ++bits;
219*f9fbec18Smcpowers d >>= 1;
220*f9fbec18Smcpowers }
221*f9fbec18Smcpowers break;
222*f9fbec18Smcpowers }
223*f9fbec18Smcpowers }
224*f9fbec18Smcpowers bits += ix * MP_DIGIT_BIT;
225*f9fbec18Smcpowers if (!bits)
226*f9fbec18Smcpowers bits = 1;
227*f9fbec18Smcpowers return bits;
228*f9fbec18Smcpowers }
229*f9fbec18Smcpowers
230*f9fbec18Smcpowers /*------------------------------------------------------------------------*/
231*f9fbec18Smcpowers /* HERE THERE BE DRAGONS */
232