toom_eval_dgr3_pm2.c
上传用户:qaz666999
上传日期:2022-08-06
资源大小:2570k
文件大小:2k
源码类别:

数学计算

开发平台:

Unix_Linux

  1. /* mpn_toom_eval_dgr3_pm2 -- Evaluate a degree 3 polynomial in +2 and -2
  2.    Contributed to the GNU project by Niels M鰈ler
  3.    THE FUNCTION IN THIS FILE IS INTERNAL WITH A MUTABLE INTERFACE.  IT IS ONLY
  4.    SAFE TO REACH IT THROUGH DOCUMENTED INTERFACES.  IN FACT, IT IS ALMOST
  5.    GUARANTEED THAT IT WILL CHANGE OR DISAPPEAR IN A FUTURE GNU MP RELEASE.
  6. Copyright 2009 Free Software Foundation, Inc.
  7. This file is part of the GNU MP Library.
  8. The GNU MP Library is free software; you can redistribute it and/or modify
  9. it under the terms of the GNU Lesser General Public License as published by
  10. the Free Software Foundation; either version 3 of the License, or (at your
  11. option) any later version.
  12. The GNU MP Library is distributed in the hope that it will be useful, but
  13. WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  14. or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  15. License for more details.
  16. You should have received a copy of the GNU Lesser General Public License
  17. along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
  18. #include "gmp.h"
  19. #include "gmp-impl.h"
  20. /* Needs n+1 limbs of temporary storage. */
  21. int
  22. mpn_toom_eval_dgr3_pm2 (mp_ptr xp2, mp_ptr xm2,
  23. mp_srcptr xp, mp_size_t n, mp_size_t x3n, mp_ptr tp)
  24. {
  25.   mp_limb_t cy;
  26.   int neg;
  27.   ASSERT (x3n > 0);
  28.   ASSERT (x3n <= n);
  29.   /* (x0 + 4 * x2) +/- (2 x1 + 8 x_3) */
  30. #if HAVE_NATIVE_mpn_addlsh_n || HAVE_NATIVE_mpn_addlsh2_n
  31. #if HAVE_NATIVE_mpn_addlsh2_n
  32.   xp2[n] = mpn_addlsh2_n (xp2, xp, xp + 2*n, n);
  33.   cy = mpn_addlsh2_n (tp, xp + n, xp + 3*n, x3n);
  34. #else /* HAVE_NATIVE_mpn_addlsh_n */
  35.   xp2[n] = mpn_addlsh_n (xp2, xp, xp + 2*n, n, 2);
  36.   cy = mpn_addlsh_n (tp, xp + n, xp + 3*n, x3n, 2);
  37. #endif
  38.   if (x3n < n)
  39.     cy = mpn_add_1 (tp + x3n, xp + n + x3n, n - x3n, cy);
  40.   tp[n] = cy;
  41. #else
  42.   cy = mpn_lshift (tp, xp + 2*n, n, 2);
  43.   xp2[n] = cy + mpn_add_n (xp2, tp, xp, n);
  44.   tp[x3n] = mpn_lshift (tp, xp + 3*n, x3n, 2);
  45.   if (x3n < n)
  46.     tp[n] = mpn_add (tp, xp + n, n, tp, x3n + 1);
  47.   else
  48.     tp[n] += mpn_add_n (tp, xp + n, tp, n);
  49. #endif
  50.   mpn_lshift (tp, tp, n+1, 1);
  51.   neg = (mpn_cmp (xp2, tp, n + 1) < 0) ? ~0 : 0;
  52. #if HAVE_NATIVE_mpn_add_n_sub_n
  53.   if (neg)
  54.     mpn_add_n_sub_n (xp2, xm2, tp, xp2, n + 1);
  55.   else
  56.     mpn_add_n_sub_n (xp2, xm2, xp2, tp, n + 1);
  57. #else
  58.   if (neg)
  59.     mpn_sub_n (xm2, tp, xp2, n + 1);
  60.   else
  61.     mpn_sub_n (xm2, xp2, tp, n + 1);
  62.   mpn_add_n (xp2, xp2, tp, n + 1);
  63. #endif
  64.   ASSERT (xp2[n] < 15);
  65.   ASSERT (xm2[n] < 10);
  66.   return neg;
  67. }