xref: /dflybsd-src/contrib/gmp/mpz/setbit.c (revision 86d7f5d305c6adaa56ff4582ece9859d73106103)
186d7f5d3SJohn Marino /* mpz_setbit -- set a specified bit.
286d7f5d3SJohn Marino 
386d7f5d3SJohn Marino Copyright 1991, 1993, 1994, 1995, 1997, 1999, 2001, 2002 Free Software
486d7f5d3SJohn Marino Foundation, Inc.
586d7f5d3SJohn Marino 
686d7f5d3SJohn Marino This file is part of the GNU MP Library.
786d7f5d3SJohn Marino 
886d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
986d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
1086d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1186d7f5d3SJohn Marino option) any later version.
1286d7f5d3SJohn Marino 
1386d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1486d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1586d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
1686d7f5d3SJohn Marino License for more details.
1786d7f5d3SJohn Marino 
1886d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
1986d7f5d3SJohn Marino along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
2086d7f5d3SJohn Marino 
2186d7f5d3SJohn Marino #include "gmp.h"
2286d7f5d3SJohn Marino #include "gmp-impl.h"
2386d7f5d3SJohn Marino 
2486d7f5d3SJohn Marino void
mpz_setbit(mpz_ptr d,mp_bitcnt_t bit_index)2586d7f5d3SJohn Marino mpz_setbit (mpz_ptr d, mp_bitcnt_t bit_index)
2686d7f5d3SJohn Marino {
2786d7f5d3SJohn Marino   mp_size_t dsize = d->_mp_size;
2886d7f5d3SJohn Marino   mp_ptr dp = d->_mp_d;
2986d7f5d3SJohn Marino   mp_size_t limb_index;
3086d7f5d3SJohn Marino 
3186d7f5d3SJohn Marino   limb_index = bit_index / GMP_NUMB_BITS;
3286d7f5d3SJohn Marino   if (dsize >= 0)
3386d7f5d3SJohn Marino     {
3486d7f5d3SJohn Marino       if (limb_index < dsize)
3586d7f5d3SJohn Marino 	{
3686d7f5d3SJohn Marino 	  dp[limb_index] |= (mp_limb_t) 1 << (bit_index % GMP_NUMB_BITS);
3786d7f5d3SJohn Marino 	  d->_mp_size = dsize;
3886d7f5d3SJohn Marino 	}
3986d7f5d3SJohn Marino       else
4086d7f5d3SJohn Marino 	{
4186d7f5d3SJohn Marino 	  /* Ugh.  The bit should be set outside of the end of the
4286d7f5d3SJohn Marino 	     number.  We have to increase the size of the number.  */
4386d7f5d3SJohn Marino 	  if (UNLIKELY (d->_mp_alloc < limb_index + 1))
4486d7f5d3SJohn Marino             dp = _mpz_realloc (d, limb_index + 1);
4586d7f5d3SJohn Marino 	  MPN_ZERO (dp + dsize, limb_index - dsize);
4686d7f5d3SJohn Marino 	  dp[limb_index] = (mp_limb_t) 1 << (bit_index % GMP_NUMB_BITS);
4786d7f5d3SJohn Marino 	  d->_mp_size = limb_index + 1;
4886d7f5d3SJohn Marino 	}
4986d7f5d3SJohn Marino     }
5086d7f5d3SJohn Marino   else
5186d7f5d3SJohn Marino     {
5286d7f5d3SJohn Marino       mp_size_t zero_bound;
5386d7f5d3SJohn Marino 
5486d7f5d3SJohn Marino       /* Simulate two's complement arithmetic, i.e. simulate
5586d7f5d3SJohn Marino 	 1. Set OP = ~(OP - 1) [with infinitely many leading ones].
5686d7f5d3SJohn Marino 	 2. Set the bit.
5786d7f5d3SJohn Marino 	 3. Set OP = ~OP + 1.  */
5886d7f5d3SJohn Marino 
5986d7f5d3SJohn Marino       dsize = -dsize;
6086d7f5d3SJohn Marino 
6186d7f5d3SJohn Marino       /* No upper bound on this loop, we're sure there's a non-zero limb
6286d7f5d3SJohn Marino 	 sooner ot later.  */
6386d7f5d3SJohn Marino       for (zero_bound = 0; ; zero_bound++)
6486d7f5d3SJohn Marino 	if (dp[zero_bound] != 0)
6586d7f5d3SJohn Marino 	  break;
6686d7f5d3SJohn Marino 
6786d7f5d3SJohn Marino       if (limb_index > zero_bound)
6886d7f5d3SJohn Marino 	{
6986d7f5d3SJohn Marino 	  if (limb_index < dsize)
7086d7f5d3SJohn Marino             {
7186d7f5d3SJohn Marino               mp_limb_t  dlimb;
7286d7f5d3SJohn Marino               dlimb = dp[limb_index];
7386d7f5d3SJohn Marino               dlimb &= ~((mp_limb_t) 1 << (bit_index % GMP_NUMB_BITS));
7486d7f5d3SJohn Marino               dp[limb_index] = dlimb;
7586d7f5d3SJohn Marino 
7686d7f5d3SJohn Marino               if (UNLIKELY (dlimb == 0 && limb_index == dsize-1))
7786d7f5d3SJohn Marino                 {
7886d7f5d3SJohn Marino                   /* high limb became zero, must normalize */
7986d7f5d3SJohn Marino                   do {
8086d7f5d3SJohn Marino                     dsize--;
8186d7f5d3SJohn Marino                   } while (dsize > 0 && dp[dsize-1] == 0);
8286d7f5d3SJohn Marino                   d->_mp_size = -dsize;
8386d7f5d3SJohn Marino                 }
8486d7f5d3SJohn Marino             }
8586d7f5d3SJohn Marino 	}
8686d7f5d3SJohn Marino       else if (limb_index == zero_bound)
8786d7f5d3SJohn Marino 	{
8886d7f5d3SJohn Marino 	  dp[limb_index] = ((dp[limb_index] - 1)
8986d7f5d3SJohn Marino 			    & ~((mp_limb_t) 1 << (bit_index % GMP_NUMB_BITS))) + 1;
9086d7f5d3SJohn Marino 	  if (dp[limb_index] == 0)
9186d7f5d3SJohn Marino 	    {
9286d7f5d3SJohn Marino 	      mp_size_t i;
9386d7f5d3SJohn Marino 	      for (i = limb_index + 1; i < dsize; i++)
9486d7f5d3SJohn Marino 		{
9586d7f5d3SJohn Marino 		  dp[i] += 1;
9686d7f5d3SJohn Marino 		  if (dp[i] != 0)
9786d7f5d3SJohn Marino 		    goto fin;
9886d7f5d3SJohn Marino 		}
9986d7f5d3SJohn Marino 	      /* We got carry all way out beyond the end of D.  Increase
10086d7f5d3SJohn Marino 		 its size (and allocation if necessary).  */
10186d7f5d3SJohn Marino 	      dsize++;
10286d7f5d3SJohn Marino 	      if (UNLIKELY (d->_mp_alloc < dsize))
10386d7f5d3SJohn Marino                 dp = _mpz_realloc (d, dsize);
10486d7f5d3SJohn Marino 	      dp[i] = 1;
10586d7f5d3SJohn Marino 	      d->_mp_size = -dsize;
10686d7f5d3SJohn Marino 	    fin:;
10786d7f5d3SJohn Marino 	    }
10886d7f5d3SJohn Marino 	}
10986d7f5d3SJohn Marino       else
11086d7f5d3SJohn Marino 	{
11186d7f5d3SJohn Marino 	  mpn_decr_u (dp + limb_index,
11286d7f5d3SJohn Marino 		     (mp_limb_t) 1 << (bit_index % GMP_NUMB_BITS));
11386d7f5d3SJohn Marino 	  dsize -= dp[dsize - 1] == 0;
11486d7f5d3SJohn Marino 	  d->_mp_size = -dsize;
11586d7f5d3SJohn Marino 	}
11686d7f5d3SJohn Marino     }
11786d7f5d3SJohn Marino }
118