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 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 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 */ 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 */ 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 */ 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 */ 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