lib/ldexpl.c

   1 /* Emulation for ldexpl.
   2    Contributed by Paolo Bonzini
   3
   4    Copyright 2002, 2003, 2007 Free Software Foundation, Inc.
   5
   6    This file is part of gnulib.
   7
   8    This program is free software; you can redistribute it and/or modify
   9    it under the terms of the GNU General Public License as published by
  10    the Free Software Foundation; either version 2, or (at your option)
  11    any later version.
  12
  13    This program is distributed in the hope that it will be useful,
  14    but WITHOUT ANY WARRANTY; without even the implied warranty of
  15    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16    GNU General Public License for more details.
  17
  18    You should have received a copy of the GNU General Public License along
  19    with this program; if not, write to the Free Software Foundation,
  20    Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
  21
  22 #include <config.h>
  23
  24 /* Specification.  */
  25 #include <math.h>
  26
  27 #include <float.h>
  28 #include "fpucw.h"
  29 #include "isnanl.h"
  30
  31 long double
  32 ldexpl(long double x, int exp)
  33 {
  34   long double factor;
  35   int bit;
  36   DECL_LONG_DOUBLE_ROUNDING
  37
  38   BEGIN_LONG_DOUBLE_ROUNDING ();
  39
  40   /* Check for zero, nan and infinity. */
  41   if (!(isnanl (x) || x + x == x))
  42     {
  43       if (exp < 0)
  44         {
  45           exp = -exp;
  46           factor = 0.5L;
  47         }
  48       else
  49         factor = 2.0L;
  50
  51       if (exp > 0)
  52         for (bit = 1;;)
  53           {
  54             /* Invariant: Here bit = 2^i, factor = 2^-2^i or = 2^2^i,
  55                and bit <= exp.  */
  56             if (exp & bit)
  57               x *= factor;
  58             bit <<= 1;
  59             if (bit > exp)
  60               break;
  61             factor = factor * factor;
  62           }
  63     }
  64
  65   END_LONG_DOUBLE_ROUNDING ();
  66
  67   return x;
  68 }
  69
  70 #if 0
  71 int
  72 main (void)
  73 {
  74   long double x;
  75   int y;
  76   for (y = 0; y < 29; y++)
  77     printf ("%5d %.16Lg %.16Lg\n", y, ldexpl(0.8L, y), ldexpl(0.8L, -y) * ldexpl(0.8L, y));
  78 }
  79 #endif