xref: /dflybsd-src/contrib/gmp/mpz/cdiv_ui.c (revision 86d7f5d305c6adaa56ff4582ece9859d73106103)
186d7f5d3SJohn Marino /* mpz_cdiv_ui -- Division rounding the quotient towards +infinity.  The
286d7f5d3SJohn Marino    remainder gets the opposite sign as the denominator.  In order to make it
386d7f5d3SJohn Marino    always fit into the return type, the negative of the true remainder is
486d7f5d3SJohn Marino    returned.
586d7f5d3SJohn Marino 
686d7f5d3SJohn Marino Copyright 1994, 1995, 1996, 2001, 2002, 2004, 2005 Free Software Foundation,
786d7f5d3SJohn Marino Inc.
886d7f5d3SJohn Marino 
986d7f5d3SJohn Marino This file is part of the GNU MP Library.
1086d7f5d3SJohn Marino 
1186d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
1286d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
1386d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1486d7f5d3SJohn Marino option) any later version.
1586d7f5d3SJohn Marino 
1686d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1786d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1886d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
1986d7f5d3SJohn Marino License for more details.
2086d7f5d3SJohn Marino 
2186d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
2286d7f5d3SJohn Marino along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
2386d7f5d3SJohn Marino 
2486d7f5d3SJohn Marino #include "gmp.h"
2586d7f5d3SJohn Marino #include "gmp-impl.h"
2686d7f5d3SJohn Marino 
2786d7f5d3SJohn Marino unsigned long int
mpz_cdiv_ui(mpz_srcptr dividend,unsigned long int divisor)2886d7f5d3SJohn Marino mpz_cdiv_ui (mpz_srcptr dividend, unsigned long int divisor)
2986d7f5d3SJohn Marino {
3086d7f5d3SJohn Marino   mp_size_t ns, nn;
3186d7f5d3SJohn Marino   mp_ptr np;
3286d7f5d3SJohn Marino   mp_limb_t rl;
3386d7f5d3SJohn Marino 
3486d7f5d3SJohn Marino   if (divisor == 0)
3586d7f5d3SJohn Marino     DIVIDE_BY_ZERO;
3686d7f5d3SJohn Marino 
3786d7f5d3SJohn Marino   ns = SIZ(dividend);
3886d7f5d3SJohn Marino   if (ns == 0)
3986d7f5d3SJohn Marino     {
4086d7f5d3SJohn Marino       return 0;
4186d7f5d3SJohn Marino     }
4286d7f5d3SJohn Marino 
4386d7f5d3SJohn Marino   nn = ABS(ns);
4486d7f5d3SJohn Marino   np = PTR(dividend);
4586d7f5d3SJohn Marino #if BITS_PER_ULONG > GMP_NUMB_BITS  /* avoid warnings about shift amount */
4686d7f5d3SJohn Marino   if (divisor > GMP_NUMB_MAX)
4786d7f5d3SJohn Marino     {
4886d7f5d3SJohn Marino       mp_limb_t dp[2], rp[2];
4986d7f5d3SJohn Marino       mp_ptr qp;
5086d7f5d3SJohn Marino       mp_size_t rn;
5186d7f5d3SJohn Marino       TMP_DECL;
5286d7f5d3SJohn Marino 
5386d7f5d3SJohn Marino       if (nn == 1)		/* tdiv_qr requirements; tested above for 0 */
5486d7f5d3SJohn Marino 	{
5586d7f5d3SJohn Marino 	  rl = np[0];
5686d7f5d3SJohn Marino 	  rp[0] = rl;
5786d7f5d3SJohn Marino 	}
5886d7f5d3SJohn Marino       else
5986d7f5d3SJohn Marino 	{
6086d7f5d3SJohn Marino 	  TMP_MARK;
6186d7f5d3SJohn Marino 	  dp[0] = divisor & GMP_NUMB_MASK;
6286d7f5d3SJohn Marino 	  dp[1] = divisor >> GMP_NUMB_BITS;
6386d7f5d3SJohn Marino 	  qp = TMP_ALLOC_LIMBS (nn - 2 + 1);
6486d7f5d3SJohn Marino 	  mpn_tdiv_qr (qp, rp, (mp_size_t) 0, np, nn, dp, (mp_size_t) 2);
6586d7f5d3SJohn Marino 	  TMP_FREE;
6686d7f5d3SJohn Marino 	  rl = rp[0] + (rp[1] << GMP_NUMB_BITS);
6786d7f5d3SJohn Marino 	}
6886d7f5d3SJohn Marino 
6986d7f5d3SJohn Marino       if (rl != 0 && ns >= 0)
7086d7f5d3SJohn Marino 	{
7186d7f5d3SJohn Marino 	  rl = divisor - rl;
7286d7f5d3SJohn Marino 	  rp[0] = rl & GMP_NUMB_MASK;
7386d7f5d3SJohn Marino 	  rp[1] = rl >> GMP_NUMB_BITS;
7486d7f5d3SJohn Marino 	}
7586d7f5d3SJohn Marino 
7686d7f5d3SJohn Marino       rn = 1 + (rl > GMP_NUMB_MAX);  rn -= (rp[rn - 1] == 0);
7786d7f5d3SJohn Marino     }
7886d7f5d3SJohn Marino   else
7986d7f5d3SJohn Marino #endif
8086d7f5d3SJohn Marino     {
8186d7f5d3SJohn Marino       rl = mpn_mod_1 (np, nn, (mp_limb_t) divisor);
8286d7f5d3SJohn Marino       if (rl == 0)
8386d7f5d3SJohn Marino 	;
8486d7f5d3SJohn Marino       else
8586d7f5d3SJohn Marino 	{
8686d7f5d3SJohn Marino 	  if (ns >= 0)
8786d7f5d3SJohn Marino 	    rl = divisor - rl;
8886d7f5d3SJohn Marino 	}
8986d7f5d3SJohn Marino     }
9086d7f5d3SJohn Marino 
9186d7f5d3SJohn Marino   return rl;
9286d7f5d3SJohn Marino }
93