OpenXM_contrib/gmp/mpfr/mul_ui.c - diff

Return to mul_ui.c CVS log

Up to [local] / OpenXM_contrib / gmp / mpfr

Diff for /OpenXM_contrib/gmp/mpfr/Attic/mul_ui.c between version 1.1.1.1 and 1.1.1.2

-version 1.1.1.1, 2000/09/09 14:12:19
+version 1.1.1.2, 2003/08/25 16:06:07
 Line 1
 Line 1
 Line 1
  /* mpfr_mul_ui -- multiply a floating-point number by a machine integer
- Copyright (C) 1999 PolKA project, Inria Lorraine and Loria
+ Copyright 1999, 2000, 2001, 2002 Free Software Foundation, Inc.
  This file is part of the MPFR Library.
  The MPFR Library is free software; you can redistribute it and/or modify
- it under the terms of the GNU Library General Public License as published by
+ it under the terms of the GNU Lesser General Public License as published by
- the Free Software Foundation; either version 2 of the License, or (at your
+ the Free Software Foundation; either version 2.1 of the License, or (at your
  option) any later version.
  The MPFR Library is distributed in the hope that it will be useful, but
  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Library General Public
+ or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
  License for more details.
- You should have received a copy of the GNU Library General Public License
+ You should have received a copy of the GNU Lesser General Public License
  along with the MPFR Library; see the file COPYING.LIB.  If not, write to
  the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  MA 02111-1307, USA. */
- #include <stdio.h>
  #include "gmp.h"
  #include "gmp-impl.h"
  #include "longlong.h"
  #include "mpfr.h"
+ #include "mpfr-impl.h"
- void
+ int
- #if __STDC__
+ mpfr_mul_ui (mpfr_ptr y, mpfr_srcptr x, unsigned long int u, mp_rnd_t rnd_mode)
- mpfr_mul_ui(mpfr_ptr y, mpfr_srcptr x, unsigned long u, unsigned char RND_MODE)
- #else
- mpfr_mul_ui(y, x, u, RND_MODE)
-      mpfr_ptr y;
-      mpfr_srcptr x;
-      unsigned long u;
-      unsigned char RND_MODE;
- #endif
  {
-   mp_limb_t carry, *my, *old_my; unsigned long c;
+   mp_limb_t *yp, *old_yp;
-   unsigned long xsize, ysize, cnt, dif;
+   mp_size_t xn, yn;
+   int cnt, c, inexact;
    TMP_DECL(marker);
-   TMP_MARK(marker);
+   if (MPFR_IS_NAN(x))
-   my = MANT(y);
+     {
-   ysize = (PREC(y)-1)/BITS_PER_MP_LIMB + 1;
+       MPFR_SET_NAN(y);
-   xsize = (PREC(x)-1)/BITS_PER_MP_LIMB + 1;
+       MPFR_RET_NAN;
+     }
-   if (ysize < xsize) {
+   if (MPFR_IS_INF(x))
-       old_my = my;
+     {
-       my = (mp_ptr) TMP_ALLOC (xsize * BYTES_PER_MP_LIMB);
+       if (u != 0)
-       dif=0;
+         {
+           MPFR_CLEAR_FLAGS(y);
+           MPFR_SET_INF(y);
+           MPFR_SET_SAME_SIGN(y, x);
+           MPFR_RET(0); /* infinity is exact */
+         }
+       else /* 0 * infinity */
+         {
+           MPFR_SET_NAN(y);
+           MPFR_RET_NAN;
+         }
      }
-   else dif=ysize-xsize;
-   carry = mpn_mul_1(my+dif, MANT(x), xsize, u);
+   MPFR_CLEAR_FLAGS(y);
-   MPN_ZERO(my, dif);
-   /* WARNING: count_leading_zeros is undefined for carry=0 */
+   if (u == 0 || MPFR_IS_ZERO(x))
-   if (carry) count_leading_zeros(cnt, carry);
-   else cnt=BITS_PER_MP_LIMB;
-   c = mpfr_round_raw(my, my, PREC(x), (SIGN(x)<0),
-                      PREC(y)-BITS_PER_MP_LIMB+cnt, RND_MODE);
-   /* If cnt = 1111111111111 and c = 1 we shall get depressed */
-   if (c && (carry == (((mp_limb_t)1) << (BITS_PER_MP_LIMB - cnt)) - 1))
      {
-       cnt--;
+       MPFR_SET_ZERO(y);
-       mpn_rshift(my, my, ysize, BITS_PER_MP_LIMB - cnt);
+       MPFR_SET_SAME_SIGN(y, x);
-       my[ysize - 1] |= ((mp_limb_t) 1) << (BITS_PER_MP_LIMB - 1);
+       MPFR_RET(0); /* zero is exact */
      }
+   if (u == 1)
+     return mpfr_set (y, x, rnd_mode);
+   TMP_MARK(marker);
+   yp = MPFR_MANT(y);
+   yn = (MPFR_PREC(y) - 1) / BITS_PER_MP_LIMB + 1;
+   xn = (MPFR_PREC(x) - 1) / BITS_PER_MP_LIMB + 1;
+   old_yp = yp;
+   MPFR_ASSERTN(xn < MP_SIZE_T_MAX);
+   if (yn < xn + 1)
+     yp = (mp_ptr) TMP_ALLOC ((size_t) (xn + 1) * BYTES_PER_MP_LIMB);
+   yp[xn] = mpn_mul_1 (yp, MPFR_MANT(x), xn, u);
+   /* x * u is stored in yp[xn], ..., yp[0] */
+   /* since the case u=1 was treated above, we have u >= 2, thus
+      yp[xn] >= 1 since x was msb-normalized */
+   MPFR_ASSERTN(yp[xn] != 0);
+   if ((yp[xn] & GMP_LIMB_HIGHBIT) == 0)
+     {
+       count_leading_zeros(cnt, yp[xn]);
+       mpn_lshift (yp, yp, xn + 1, cnt);
+     }
    else
      {
-       /* Warning: mpn_rshift is undefined for shift=0 */
+       cnt = 0;
-       if (cnt!=BITS_PER_MP_LIMB)
-         mpn_rshift(my, my, ysize, BITS_PER_MP_LIMB - cnt);
-       my[ysize - 1] |= (carry << cnt);
      }
-   EXP(y) = EXP(x) + BITS_PER_MP_LIMB - cnt;
-   if (ysize < xsize) MPN_COPY(old_my, my, ysize);
+   /* now yp[xn], ..., yp[0] is msb-normalized too, and has at most
-   /* set sign */
+      PREC(x) + (BITS_PER_MP_LIMB - cnt) non-zero bits */
-   if (SIGN(y) != SIGN(x)) CHANGE_SIGN(y);
+   c = mpfr_round_raw (old_yp, yp, (mp_prec_t) (xn + 1) * BITS_PER_MP_LIMB,
+                       (MPFR_SIGN(x) < 0), MPFR_PREC(y), rnd_mode, &inexact);
+   cnt = BITS_PER_MP_LIMB - cnt;
+   if (c) /* rounded result is 1.0000000000000000... */
+     {
+       old_yp[yn-1] = GMP_LIMB_HIGHBIT;
+       cnt++;
+     }
    TMP_FREE(marker);
+   if (__mpfr_emax < MPFR_EMAX_MIN + cnt || MPFR_EXP(x) > __mpfr_emax - cnt)
+     return mpfr_set_overflow(y, rnd_mode, MPFR_SIGN(x));
+   MPFR_EXP(y) = MPFR_EXP(x) + cnt;
+   MPFR_SET_SAME_SIGN(y, x);
+   return inexact;
  }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>