xref: /dflybsd-src/contrib/mpfr/src/set_si_2exp.c (revision 2786097444a0124b5d33763854de247e230c6629)
14a238c70SJohn Marino /* mpfr_set_si_2exp -- set a MPFR number from a machine signed integer with
24a238c70SJohn Marino    a shift
34a238c70SJohn Marino 
4*ab6d115fSJohn Marino Copyright 2004, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc.
5*ab6d115fSJohn Marino Contributed by the AriC and Caramel projects, INRIA.
64a238c70SJohn Marino 
74a238c70SJohn Marino This file is part of the GNU MPFR Library.
84a238c70SJohn Marino 
94a238c70SJohn Marino The GNU MPFR Library is free software; you can redistribute it and/or modify
104a238c70SJohn Marino it under the terms of the GNU Lesser General Public License as published by
114a238c70SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
124a238c70SJohn Marino option) any later version.
134a238c70SJohn Marino 
144a238c70SJohn Marino The GNU MPFR Library is distributed in the hope that it will be useful, but
154a238c70SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
164a238c70SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
174a238c70SJohn Marino License for more details.
184a238c70SJohn Marino 
194a238c70SJohn Marino You should have received a copy of the GNU Lesser General Public License
204a238c70SJohn Marino along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
214a238c70SJohn Marino http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
224a238c70SJohn Marino 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
234a238c70SJohn Marino 
244a238c70SJohn Marino #define MPFR_NEED_LONGLONG_H
254a238c70SJohn Marino #include "mpfr-impl.h"
264a238c70SJohn Marino 
274a238c70SJohn Marino int
mpfr_set_si_2exp(mpfr_ptr x,long i,mpfr_exp_t e,mpfr_rnd_t rnd_mode)284a238c70SJohn Marino mpfr_set_si_2exp (mpfr_ptr x, long i, mpfr_exp_t e, mpfr_rnd_t rnd_mode)
294a238c70SJohn Marino {
304a238c70SJohn Marino   if (i == 0)
314a238c70SJohn Marino     {
324a238c70SJohn Marino       MPFR_SET_ZERO (x);
334a238c70SJohn Marino       MPFR_SET_POS (x);
344a238c70SJohn Marino       MPFR_RET (0);
354a238c70SJohn Marino     }
364a238c70SJohn Marino   else
374a238c70SJohn Marino     {
384a238c70SJohn Marino       mp_size_t xn;
394a238c70SJohn Marino       unsigned int cnt, nbits;
404a238c70SJohn Marino       mp_limb_t ai, *xp;
414a238c70SJohn Marino       int inex = 0;
424a238c70SJohn Marino 
434a238c70SJohn Marino       /* FIXME: support int limbs (e.g. 16-bit limbs on 16-bit proc) */
444a238c70SJohn Marino       ai = SAFE_ABS (unsigned long, i);
454a238c70SJohn Marino       MPFR_ASSERTN (SAFE_ABS (unsigned long, i) == ai);
464a238c70SJohn Marino 
474a238c70SJohn Marino       /* Position of the highest limb */
484a238c70SJohn Marino       xn = (MPFR_PREC (x) - 1) / GMP_NUMB_BITS;
494a238c70SJohn Marino       count_leading_zeros (cnt, ai);
504a238c70SJohn Marino       MPFR_ASSERTD (cnt < GMP_NUMB_BITS);  /* OK since i != 0 */
514a238c70SJohn Marino 
524a238c70SJohn Marino       xp = MPFR_MANT(x);
534a238c70SJohn Marino       xp[xn] = ai << cnt;
544a238c70SJohn Marino       /* Zero the xn lower limbs. */
554a238c70SJohn Marino       MPN_ZERO(xp, xn);
564a238c70SJohn Marino       MPFR_SET_SIGN (x, i < 0 ? MPFR_SIGN_NEG : MPFR_SIGN_POS);
574a238c70SJohn Marino 
584a238c70SJohn Marino       nbits = GMP_NUMB_BITS - cnt;
594a238c70SJohn Marino       e += nbits;  /* exponent _before_ the rounding */
604a238c70SJohn Marino 
614a238c70SJohn Marino       /* round if MPFR_PREC(x) smaller than length of i */
624a238c70SJohn Marino       if (MPFR_UNLIKELY (MPFR_PREC (x) < nbits) &&
634a238c70SJohn Marino           MPFR_UNLIKELY (mpfr_round_raw (xp + xn, xp + xn, nbits, i < 0,
644a238c70SJohn Marino                                          MPFR_PREC (x), rnd_mode, &inex)))
654a238c70SJohn Marino         {
664a238c70SJohn Marino           e++;
674a238c70SJohn Marino           xp[xn] = MPFR_LIMB_HIGHBIT;
684a238c70SJohn Marino         }
694a238c70SJohn Marino 
704a238c70SJohn Marino       MPFR_EXP (x) = e;
714a238c70SJohn Marino       return mpfr_check_range (x, inex, rnd_mode);
724a238c70SJohn Marino     }
734a238c70SJohn Marino }
74