Merge the frexpl and frexp implementations into a single code.

diff --git a/ChangeLog b/ChangeLog
index d71b878f5377953b67ed379da9530e589fc84755..0cd2fab77568b37782ed65413a658efd752380d5 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2007-03-22  Bruno Haible  <bruno@clisp.org>
+
+       * lib/frexpl.c: Share code with lib/frexp.c.
+       * modules/mathl (Files): Add lib/frexp.c.
+       (Depends-on): Add isnanl-nolibm.
+
 2007-03-22  Bruno Haible  <bruno@clisp.org>
 
        * modules/printf-frexp (Files): Add m4/frexp.m4.

diff --git a/lib/frexpl.c b/lib/frexpl.c
index f78c4000dee32dbb900b1bb7b38f38d2d0783f5c..75852ba627954abbb787e70e5356ef52ad19881a 100644 (file)
--- a/lib/frexpl.c
+++ b/lib/frexpl.c
@@ -1,9 +1,5 @@
-/* Emulation for frexpl.
-   Contributed by Paolo Bonzini
-
-   Copyright 2002, 2003, 2007 Free Software Foundation, Inc.
-
-   This file is part of gnulib.
+/* Split a 'long double' into fraction and mantissa.
+   Copyright (C) 2007 Free Software Foundation, Inc.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
@@ -19,89 +15,5 @@
    with this program; if not, write to the Free Software Foundation,
    Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
 
-#include <config.h>
-
-/* Specification.  */
-#include <math.h>
-
-#include <float.h>
-
-/* Binary search.  Quite inefficient but portable. */
-long double
-frexpl(long double x, int *exp)
-{
-  /* Since the exponent is an 'int', it fits in 64 bits.  Therefore the
-     loops are executed no more than 64 times.  */
-  long double exponents[64];
-  long double *next;
-  int exponent, bit;
-
-  /* Check for zero, nan and infinity. */
-  if (x != x || x + x == x)
-    {
-      *exp = 0;
-      return x;
-    }
-
-  if (x < 0)
-    return -frexpl(-x, exp);
-
-  exponent = 0;
-  if (x >= 1.0)
-    {
-      for (next = exponents, exponents[0] = 2.0L, bit = 1;
-          *next <= x + x;
-          bit <<= 1, next[1] = next[0] * next[0], next++);
-
-      for (; next >= exponents; bit >>= 1, next--)
-       if (x + x >= *next)
-         {
-           x /= *next;
-           exponent |= bit;
-         }
-
-    }
-
-  else if (x < 0.5)
-    {
-      for (next = exponents, exponents[0] = 0.5L, bit = 1;
-          *next > x;
-          bit <<= 1, next[1] = next[0] * next[0], next++);
-
-      for (; next >= exponents; bit >>= 1, next--)
-       if (x < *next)
-         {
-           x /= *next;
-           exponent |= bit;
-         }
-
-      exponent = -exponent;
-    }
-
-  *exp = exponent;
-  return x;
-}
-
-#if 0
-int
-main (void)
-{
-  long double x;
-  int y;
-  x = frexpl(0.0L / 0.0L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(1.0L / 0.0L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(-1.0L / 0.0L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.5L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.75L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(1.0L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(3.6L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(17.8L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(8.0L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.3L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.49L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.049L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.0245L, &y); printf ("%.6Lg %d\n", x, y);
-  x = frexpl(0.0625L, &y); printf ("%.6Lg %d\n", x, y);
-}
-#endif
-
+#define USE_LONG_DOUBLE
+#include "frexp.c"

diff --git a/modules/mathl b/modules/mathl
index b75eeca8a662b8f355e9bca39aa9a22e969578a4..4a7c5953df31c54e5d063a433307cd81d371c81d 100644 (file)
--- a/modules/mathl
+++ b/modules/mathl
@@ -10,6 +10,7 @@ lib/cosl.c
 lib/expl.c
 lib/floorl.c
 lib/frexpl.c
+lib/frexp.c
 lib/ldexpl.c
 lib/logl.c
 lib/sincosl.c
@@ -22,6 +23,7 @@ m4/mathl.m4
 
 Depends-on:
 math
+isnanl-nolibm
 
 configure.ac:
 gl_FUNC_LONG_DOUBLE_MATH