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