186d7f5d3SJohn Marino /* mpz_tdiv_q_2exp -- Divide an integer by 2**CNT. Round the quotient
286d7f5d3SJohn Marino towards -infinity.
386d7f5d3SJohn Marino
486d7f5d3SJohn Marino Copyright 1991, 1993, 1994, 1996, 2001, 2002 Free Software 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_tdiv_q_2exp(mpz_ptr w,mpz_srcptr u,mp_bitcnt_t cnt)2586d7f5d3SJohn Marino mpz_tdiv_q_2exp (mpz_ptr w, mpz_srcptr u, mp_bitcnt_t cnt)
2686d7f5d3SJohn Marino {
2786d7f5d3SJohn Marino mp_size_t usize, wsize;
2886d7f5d3SJohn Marino mp_size_t limb_cnt;
2986d7f5d3SJohn Marino
3086d7f5d3SJohn Marino usize = u->_mp_size;
3186d7f5d3SJohn Marino limb_cnt = cnt / GMP_NUMB_BITS;
3286d7f5d3SJohn Marino wsize = ABS (usize) - limb_cnt;
3386d7f5d3SJohn Marino if (wsize <= 0)
3486d7f5d3SJohn Marino w->_mp_size = 0;
3586d7f5d3SJohn Marino else
3686d7f5d3SJohn Marino {
3786d7f5d3SJohn Marino mp_ptr wp;
3886d7f5d3SJohn Marino mp_srcptr up;
3986d7f5d3SJohn Marino
4086d7f5d3SJohn Marino if (w->_mp_alloc < wsize)
4186d7f5d3SJohn Marino _mpz_realloc (w, wsize);
4286d7f5d3SJohn Marino
4386d7f5d3SJohn Marino wp = w->_mp_d;
4486d7f5d3SJohn Marino up = u->_mp_d;
4586d7f5d3SJohn Marino
4686d7f5d3SJohn Marino cnt %= GMP_NUMB_BITS;
4786d7f5d3SJohn Marino if (cnt != 0)
4886d7f5d3SJohn Marino {
4986d7f5d3SJohn Marino mpn_rshift (wp, up + limb_cnt, wsize, cnt);
5086d7f5d3SJohn Marino wsize -= wp[wsize - 1] == 0;
5186d7f5d3SJohn Marino }
5286d7f5d3SJohn Marino else
5386d7f5d3SJohn Marino {
5486d7f5d3SJohn Marino MPN_COPY_INCR (wp, up + limb_cnt, wsize);
5586d7f5d3SJohn Marino }
5686d7f5d3SJohn Marino
5786d7f5d3SJohn Marino w->_mp_size = usize >= 0 ? wsize : -wsize;
5886d7f5d3SJohn Marino }
5986d7f5d3SJohn Marino }
60