Blame mpn/generic/bdiv_q_1.c

Packit 5c3484
/* mpn_bdiv_q_1, mpn_pi1_bdiv_q_1 -- schoolbook Hensel division by 1-limb
Packit 5c3484
   divisor, returning quotient only.
Packit 5c3484
Packit 5c3484
   THE FUNCTIONS IN THIS FILE ARE FOR INTERNAL USE ONLY.  THEY'RE ALMOST
Packit 5c3484
   CERTAIN TO BE SUBJECT TO INCOMPATIBLE CHANGES OR DISAPPEAR COMPLETELY IN
Packit 5c3484
   FUTURE GNU MP RELEASES.
Packit 5c3484
Packit 5c3484
Copyright 2000-2003, 2005, 2009 Free Software Foundation, Inc.
Packit 5c3484
Packit 5c3484
This file is part of the GNU MP Library.
Packit 5c3484
Packit 5c3484
The GNU MP Library is free software; you can redistribute it and/or modify
Packit 5c3484
it under the terms of either:
Packit 5c3484
Packit 5c3484
  * the GNU Lesser General Public License as published by the Free
Packit 5c3484
    Software Foundation; either version 3 of the License, or (at your
Packit 5c3484
    option) any later version.
Packit 5c3484
Packit 5c3484
or
Packit 5c3484
Packit 5c3484
  * the GNU General Public License as published by the Free Software
Packit 5c3484
    Foundation; either version 2 of the License, or (at your option) any
Packit 5c3484
    later version.
Packit 5c3484
Packit 5c3484
or both in parallel, as here.
Packit 5c3484
Packit 5c3484
The GNU MP Library is distributed in the hope that it will be useful, but
Packit 5c3484
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
Packit 5c3484
or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
Packit 5c3484
for more details.
Packit 5c3484
Packit 5c3484
You should have received copies of the GNU General Public License and the
Packit 5c3484
GNU Lesser General Public License along with the GNU MP Library.  If not,
Packit 5c3484
see https://www.gnu.org/licenses/.  */
Packit 5c3484
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
#include "longlong.h"
Packit 5c3484
Packit 5c3484
mp_limb_t
Packit 5c3484
mpn_pi1_bdiv_q_1 (mp_ptr rp, mp_srcptr up, mp_size_t n, mp_limb_t d,
Packit 5c3484
		  mp_limb_t di, int shift)
Packit 5c3484
{
Packit 5c3484
  mp_size_t  i;
Packit 5c3484
  mp_limb_t  c, h, l, u, u_next, dummy;
Packit 5c3484
Packit 5c3484
  ASSERT (n >= 1);
Packit 5c3484
  ASSERT (d != 0);
Packit 5c3484
  ASSERT (MPN_SAME_OR_SEPARATE_P (rp, up, n));
Packit 5c3484
  ASSERT_MPN (up, n);
Packit 5c3484
  ASSERT_LIMB (d);
Packit 5c3484
Packit 5c3484
  d <<= GMP_NAIL_BITS;
Packit 5c3484
Packit 5c3484
  if (shift != 0)
Packit 5c3484
    {
Packit 5c3484
      c = 0;
Packit 5c3484
Packit 5c3484
      u = up[0];
Packit 5c3484
      rp--;
Packit 5c3484
      for (i = 1; i < n; i++)
Packit 5c3484
	{
Packit 5c3484
	  u_next = up[i];
Packit 5c3484
	  u = ((u >> shift) | (u_next << (GMP_NUMB_BITS-shift))) & GMP_NUMB_MASK;
Packit 5c3484
Packit 5c3484
	  SUBC_LIMB (c, l, u, c);
Packit 5c3484
Packit 5c3484
	  l = (l * di) & GMP_NUMB_MASK;
Packit 5c3484
	  rp[i] = l;
Packit 5c3484
Packit 5c3484
	  umul_ppmm (h, dummy, l, d);
Packit 5c3484
	  c += h;
Packit 5c3484
	  u = u_next;
Packit 5c3484
	}
Packit 5c3484
Packit 5c3484
      u = u >> shift;
Packit 5c3484
      l = u - c;
Packit 5c3484
      l = (l * di) & GMP_NUMB_MASK;
Packit 5c3484
      rp[i] = l;
Packit 5c3484
    }
Packit 5c3484
  else
Packit 5c3484
    {
Packit 5c3484
      u = up[0];
Packit 5c3484
      l = (u * di) & GMP_NUMB_MASK;
Packit 5c3484
      rp[0] = l;
Packit 5c3484
      c = 0;
Packit 5c3484
Packit 5c3484
      for (i = 1; i < n; i++)
Packit 5c3484
	{
Packit 5c3484
	  umul_ppmm (h, dummy, l, d);
Packit 5c3484
	  c += h;
Packit 5c3484
Packit 5c3484
	  u = up[i];
Packit 5c3484
	  SUBC_LIMB (c, l, u, c);
Packit 5c3484
Packit 5c3484
	  l = (l * di) & GMP_NUMB_MASK;
Packit 5c3484
	  rp[i] = l;
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  return c;
Packit 5c3484
}
Packit 5c3484
Packit 5c3484
mp_limb_t
Packit 5c3484
mpn_bdiv_q_1 (mp_ptr rp, mp_srcptr up, mp_size_t n, mp_limb_t d)
Packit 5c3484
{
Packit 5c3484
  mp_limb_t di;
Packit 5c3484
  int shift;
Packit 5c3484
Packit 5c3484
  ASSERT (n >= 1);
Packit 5c3484
  ASSERT (d != 0);
Packit 5c3484
  ASSERT (MPN_SAME_OR_SEPARATE_P (rp, up, n));
Packit 5c3484
  ASSERT_MPN (up, n);
Packit 5c3484
  ASSERT_LIMB (d);
Packit 5c3484
Packit 5c3484
  if ((d & 1) == 0)
Packit 5c3484
    {
Packit 5c3484
      count_trailing_zeros (shift, d);
Packit 5c3484
      d >>= shift;
Packit 5c3484
    }
Packit 5c3484
  else
Packit 5c3484
    shift = 0;
Packit 5c3484
Packit 5c3484
  binvert_limb (di, d);
Packit 5c3484
  return mpn_pi1_bdiv_q_1 (rp, up, n, d, di, shift);
Packit 5c3484
}