186d7f5d3SJohn Marino /* mpn_redc_n. Set cp[] <- up[]/R^n mod mp[]. Clobber up[].
286d7f5d3SJohn Marino mp[] is n limbs; up[] is 2n limbs, the inverse ip[] is n limbs.
386d7f5d3SJohn Marino
486d7f5d3SJohn Marino THIS IS AN INTERNAL FUNCTION WITH A MUTABLE INTERFACE. IT IS ONLY
586d7f5d3SJohn Marino SAFE TO REACH THIS FUNCTION THROUGH DOCUMENTED INTERFACES.
686d7f5d3SJohn Marino
786d7f5d3SJohn Marino Copyright (C) 2009 Free Software Foundation, 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 /*
2886d7f5d3SJohn Marino TODO
2986d7f5d3SJohn Marino
3086d7f5d3SJohn Marino * We assume mpn_mulmod_bnm1 is always faster than plain mpn_mul_n (or a
3186d7f5d3SJohn Marino future mpn_mulhi) for the range we will be called. Follow up that
3286d7f5d3SJohn Marino assumption.
3386d7f5d3SJohn Marino
3486d7f5d3SJohn Marino * Decrease scratch usage.
3586d7f5d3SJohn Marino */
3686d7f5d3SJohn Marino
3786d7f5d3SJohn Marino void
mpn_redc_n(mp_ptr rp,mp_ptr up,mp_srcptr mp,mp_size_t n,mp_srcptr ip)3886d7f5d3SJohn Marino mpn_redc_n (mp_ptr rp, mp_ptr up, mp_srcptr mp, mp_size_t n, mp_srcptr ip)
3986d7f5d3SJohn Marino {
4086d7f5d3SJohn Marino mp_ptr xp, yp, scratch;
4186d7f5d3SJohn Marino mp_limb_t cy;
4286d7f5d3SJohn Marino mp_size_t rn;
4386d7f5d3SJohn Marino TMP_DECL;
4486d7f5d3SJohn Marino TMP_MARK;
4586d7f5d3SJohn Marino
4686d7f5d3SJohn Marino rn = mpn_mulmod_bnm1_next_size (n);
4786d7f5d3SJohn Marino
4886d7f5d3SJohn Marino scratch = TMP_ALLOC_LIMBS (n + rn + mpn_mulmod_bnm1_itch (rn, n, n));
4986d7f5d3SJohn Marino
5086d7f5d3SJohn Marino xp = scratch;
5186d7f5d3SJohn Marino mpn_mullo_n (xp, up, ip, n);
5286d7f5d3SJohn Marino
5386d7f5d3SJohn Marino yp = scratch + n;
5486d7f5d3SJohn Marino mpn_mulmod_bnm1 (yp, rn, xp, n, mp, n, scratch + n + rn);
5586d7f5d3SJohn Marino
5686d7f5d3SJohn Marino ASSERT_ALWAYS (2 * n > rn); /* could handle this */
5786d7f5d3SJohn Marino
5886d7f5d3SJohn Marino cy = mpn_sub_n (yp + rn, yp, up, 2*n - rn); /* undo wrap around */
5986d7f5d3SJohn Marino MPN_DECR_U (yp + 2*n - rn, rn, cy);
6086d7f5d3SJohn Marino
6186d7f5d3SJohn Marino cy = mpn_sub_n (rp, up + n, yp + n, n);
6286d7f5d3SJohn Marino if (cy != 0)
6386d7f5d3SJohn Marino mpn_add_n (rp, rp, mp, n);
6486d7f5d3SJohn Marino
6586d7f5d3SJohn Marino TMP_FREE;
6686d7f5d3SJohn Marino }
67