Blame mpn/generic/toom_couple_handling.c

Packit 5c3484
/* Helper function for high degree Toom-Cook algorithms.
Packit 5c3484
Packit 5c3484
   Contributed to the GNU project by Marco Bodrato.
Packit 5c3484
Packit 5c3484
   THE FUNCTION IN THIS FILE IS INTERNAL WITH A MUTABLE INTERFACE.  IT IS ONLY
Packit 5c3484
   SAFE TO REACH IT THROUGH DOCUMENTED INTERFACES.  IN FACT, IT IS ALMOST
Packit 5c3484
   GUARANTEED THAT IT WILL CHANGE OR DISAPPEAR IN A FUTURE GNU MP RELEASE.
Packit 5c3484
Packit 5c3484
Copyright 2009, 2010 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
Packit 5c3484
#include "gmp.h"
Packit 5c3484
#include "gmp-impl.h"
Packit 5c3484
Packit 5c3484
/* Gets {pp,n} and (sign?-1:1)*{np,n}. Computes at once:
Packit 5c3484
     {pp,n} <- ({pp,n}+{np,n})/2^{ps+1}
Packit 5c3484
     {pn,n} <- ({pp,n}-{np,n})/2^{ns+1}
Packit 5c3484
   Finally recompose them obtaining:
Packit 5c3484
     {pp,n+off} <- {pp,n}+{np,n}*2^{off*GMP_NUMB_BITS}
Packit 5c3484
*/
Packit 5c3484
void
Packit 5c3484
mpn_toom_couple_handling (mp_ptr pp, mp_size_t n, mp_ptr np,
Packit 5c3484
			  int nsign, mp_size_t off, int ps, int ns)
Packit 5c3484
{
Packit 5c3484
  if (nsign) {
Packit 5c3484
#ifdef HAVE_NATIVE_mpn_rsh1sub_n
Packit 5c3484
    mpn_rsh1sub_n (np, pp, np, n);
Packit 5c3484
#else
Packit 5c3484
    mpn_sub_n (np, pp, np, n);
Packit 5c3484
    mpn_rshift (np, np, n, 1);
Packit 5c3484
#endif
Packit 5c3484
  } else {
Packit 5c3484
#ifdef HAVE_NATIVE_mpn_rsh1add_n
Packit 5c3484
    mpn_rsh1add_n (np, pp, np, n);
Packit 5c3484
#else
Packit 5c3484
    mpn_add_n (np, pp, np, n);
Packit 5c3484
    mpn_rshift (np, np, n, 1);
Packit 5c3484
#endif
Packit 5c3484
  }
Packit 5c3484
Packit 5c3484
#ifdef HAVE_NATIVE_mpn_rsh1sub_n
Packit 5c3484
  if (ps == 1)
Packit 5c3484
    mpn_rsh1sub_n (pp, pp, np, n);
Packit 5c3484
  else
Packit 5c3484
#endif
Packit 5c3484
  {
Packit 5c3484
    mpn_sub_n (pp, pp, np, n);
Packit 5c3484
    if (ps > 0)
Packit 5c3484
      mpn_rshift (pp, pp, n, ps);
Packit 5c3484
  }
Packit 5c3484
  if (ns > 0)
Packit 5c3484
    mpn_rshift (np, np, n, ns);
Packit 5c3484
  pp[n] = mpn_add_n (pp+off, pp+off, np, n-off);
Packit 5c3484
  ASSERT_NOCARRY (mpn_add_1(pp+n, np+n-off, off, pp[n]) );
Packit 5c3484
}