Blame mpz/aors.h

Packit 5c3484
/* mpz_add, mpz_sub -- add or subtract integers.
Packit 5c3484
Packit 5c3484
Copyright 1991, 1993, 1994, 1996, 2000, 2001, 2011, 2012 Free Software
Packit 5c3484
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
Packit 5c3484
Packit 5c3484
#ifdef OPERATION_add
Packit 5c3484
#define FUNCTION     mpz_add
Packit 5c3484
#define VARIATION
Packit 5c3484
#endif
Packit 5c3484
#ifdef OPERATION_sub
Packit 5c3484
#define FUNCTION     mpz_sub
Packit 5c3484
#define VARIATION    -
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
#ifndef FUNCTION
Packit 5c3484
Error, need OPERATION_add or OPERATION_sub
Packit 5c3484
#endif
Packit 5c3484
Packit 5c3484
Packit 5c3484
void
Packit 5c3484
FUNCTION (mpz_ptr w, mpz_srcptr u, mpz_srcptr v)
Packit 5c3484
{
Packit 5c3484
  mp_srcptr up, vp;
Packit 5c3484
  mp_ptr wp;
Packit 5c3484
  mp_size_t usize, vsize, wsize;
Packit 5c3484
  mp_size_t abs_usize;
Packit 5c3484
  mp_size_t abs_vsize;
Packit 5c3484
Packit 5c3484
  usize = SIZ(u);
Packit 5c3484
  vsize = VARIATION SIZ(v);
Packit 5c3484
  abs_usize = ABS (usize);
Packit 5c3484
  abs_vsize = ABS (vsize);
Packit 5c3484
Packit 5c3484
  if (abs_usize < abs_vsize)
Packit 5c3484
    {
Packit 5c3484
      /* Swap U and V. */
Packit 5c3484
      MPZ_SRCPTR_SWAP (u, v);
Packit 5c3484
      MP_SIZE_T_SWAP (usize, vsize);
Packit 5c3484
      MP_SIZE_T_SWAP (abs_usize, abs_vsize);
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  /* True: ABS_USIZE >= ABS_VSIZE.  */
Packit 5c3484
Packit 5c3484
  /* If not space for w (and possible carry), increase space.  */
Packit 5c3484
  wsize = abs_usize + 1;
Packit 5c3484
  wp = MPZ_REALLOC (w, wsize);
Packit 5c3484
Packit 5c3484
  /* These must be after realloc (u or v may be the same as w).  */
Packit 5c3484
  up = PTR(u);
Packit 5c3484
  vp = PTR(v);
Packit 5c3484
Packit 5c3484
  if ((usize ^ vsize) < 0)
Packit 5c3484
    {
Packit 5c3484
      /* U and V have different sign.  Need to compare them to determine
Packit 5c3484
	 which operand to subtract from which.  */
Packit 5c3484
Packit 5c3484
      /* This test is right since ABS_USIZE >= ABS_VSIZE.  */
Packit 5c3484
      if (abs_usize != abs_vsize)
Packit 5c3484
	{
Packit 5c3484
	  mpn_sub (wp, up, abs_usize, vp, abs_vsize);
Packit 5c3484
	  wsize = abs_usize;
Packit 5c3484
	  MPN_NORMALIZE (wp, wsize);
Packit 5c3484
	  if (usize < 0)
Packit 5c3484
	    wsize = -wsize;
Packit 5c3484
	}
Packit 5c3484
      else if (mpn_cmp (up, vp, abs_usize) < 0)
Packit 5c3484
	{
Packit 5c3484
	  mpn_sub_n (wp, vp, up, abs_usize);
Packit 5c3484
	  wsize = abs_usize;
Packit 5c3484
	  MPN_NORMALIZE (wp, wsize);
Packit 5c3484
	  if (usize >= 0)
Packit 5c3484
	    wsize = -wsize;
Packit 5c3484
	}
Packit 5c3484
      else
Packit 5c3484
	{
Packit 5c3484
	  mpn_sub_n (wp, up, vp, abs_usize);
Packit 5c3484
	  wsize = abs_usize;
Packit 5c3484
	  MPN_NORMALIZE (wp, wsize);
Packit 5c3484
	  if (usize < 0)
Packit 5c3484
	    wsize = -wsize;
Packit 5c3484
	}
Packit 5c3484
    }
Packit 5c3484
  else
Packit 5c3484
    {
Packit 5c3484
      /* U and V have same sign.  Add them.  */
Packit 5c3484
      mp_limb_t cy_limb = mpn_add (wp, up, abs_usize, vp, abs_vsize);
Packit 5c3484
      wp[abs_usize] = cy_limb;
Packit 5c3484
      wsize = abs_usize + cy_limb;
Packit 5c3484
      if (usize < 0)
Packit 5c3484
	wsize = -wsize;
Packit 5c3484
    }
Packit 5c3484
Packit 5c3484
  SIZ(w) = wsize;
Packit 5c3484
}