Blame mpz/tdiv_r.c

Packit 5c3484
/* mpz_tdiv_r(rem, dividend, divisor) -- Set REM to DIVIDEND mod DIVISOR.
Packit 5c3484
Packit 5c3484
Copyright 1991, 1993, 1994, 2000, 2001, 2005, 2012 Free Software Foundation,
Packit 5c3484
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
void
Packit 5c3484
mpz_tdiv_r (mpz_ptr rem, mpz_srcptr num, mpz_srcptr den)
Packit 5c3484
{
Packit 5c3484
  mp_size_t ql;
Packit 5c3484
  mp_size_t ns, ds, nl, dl;
Packit 5c3484
  mp_ptr np, dp, qp, rp;
Packit 5c3484
  TMP_DECL;
Packit 5c3484
Packit 5c3484
  ns = SIZ (num);
Packit 5c3484
  ds = SIZ (den);
Packit 5c3484
  nl = ABS (ns);
Packit 5c3484
  dl = ABS (ds);
Packit 5c3484
  ql = nl - dl + 1;
Packit 5c3484
Packit 5c3484
  if (UNLIKELY (dl == 0))
Packit 5c3484
    DIVIDE_BY_ZERO;
Packit 5c3484
Packit 5c3484
  rp = MPZ_REALLOC (rem, dl);
Packit 5c3484
Packit 5c3484
  if (ql <= 0)
Packit 5c3484
    {
Packit 5c3484
      if (num != rem)
Packit 5c3484
	{
Packit 5c3484
	  np = PTR (num);
Packit 5c3484
	  MPN_COPY (rp, np, nl);
Packit 5c3484
	  SIZ (rem) = SIZ (num);
Packit 5c3484
	}
Packit 5c3484
      return;
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  TMP_MARK;
Packit 5c3484
  qp = TMP_ALLOC_LIMBS (ql);
Packit 5c3484
  np = PTR (num);
Packit 5c3484
  dp = PTR (den);
Packit 5c3484
Packit 5c3484
  /* FIXME: We should think about how to handle the temporary allocation.
Packit 5c3484
     Perhaps mpn_tdiv_qr should handle it, since it anyway often needs to
Packit 5c3484
     allocate temp space.  */
Packit 5c3484
Packit 5c3484
  /* Copy denominator to temporary space if it overlaps with the remainder.  */
Packit 5c3484
  if (dp == rp)
Packit 5c3484
    {
Packit 5c3484
      mp_ptr tp;
Packit 5c3484
      tp = TMP_ALLOC_LIMBS (dl);
Packit 5c3484
      MPN_COPY (tp, dp, dl);
Packit 5c3484
      dp = tp;
Packit 5c3484
    }
Packit 5c3484
  /* Copy numerator to temporary space if it overlaps with the remainder.  */
Packit 5c3484
  if (np == rp)
Packit 5c3484
    {
Packit 5c3484
      mp_ptr tp;
Packit 5c3484
      tp = TMP_ALLOC_LIMBS (nl);
Packit 5c3484
      MPN_COPY (tp, np, nl);
Packit 5c3484
      np = tp;
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  mpn_tdiv_qr (qp, rp, 0L, np, nl, dp, dl);
Packit 5c3484
Packit 5c3484
  MPN_NORMALIZE (rp, dl);
Packit 5c3484
Packit 5c3484
  SIZ (rem) = ns >= 0 ? dl : -dl;
Packit 5c3484
  TMP_FREE;
Packit 5c3484
}