X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=m4%2Ffrexp.m4;h=6c9111212be4d194a70e860376ee8cfde48f8933;hb=b3338b6328b7abb86cc2ba8882074ea22d195e98;hp=b0f0d73258eb69a863e403bad6453b82cd0a7252;hpb=ffa7dae3061b0b0870da00f1f88d44e61cd4c3e2;p=gnulib.git

diff --git a/m4/frexp.m4 b/m4/frexp.m4
index b0f0d7325..6c9111212 100644
--- a/m4/frexp.m4
+++ b/m4/frexp.m4
@@ -1,5 +1,5 @@
-# frexp.m4 serial 1
-dnl Copyright (C) 2007 Free Software Foundation, Inc.
+# frexp.m4 serial 7
+dnl Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
 dnl with or without modifications, as long as this notice is preserved.
@@ -12,7 +12,7 @@ AC_DEFUN([gl_FUNC_FREXP],
     [gl_cv_func_frexp_no_libm],
     [
       AC_TRY_LINK([#include <math.h>
-                   long double x;],
+                   double x;],
                   [int e; return frexp (x, &e) > 0;],
         [gl_cv_func_frexp_no_libm=yes],
         [gl_cv_func_frexp_no_libm=no])
@@ -24,7 +24,7 @@ AC_DEFUN([gl_FUNC_FREXP],
         save_LIBS="$LIBS"
         LIBS="$LIBS -lm"
         AC_TRY_LINK([#include <math.h>
-                     long double x;],
+                     double x;],
                     [int e; return frexp (x, &e) > 0;],
           [gl_cv_func_frexp_in_libm=yes],
           [gl_cv_func_frexp_in_libm=no])
@@ -48,15 +48,48 @@ AC_DEFUN([gl_FUNC_FREXP],
     gl_func_frexp=no
   fi
   if test $gl_func_frexp = yes; then
-    AC_DEFINE([HAVE_FREXP], 1,
+    AC_DEFINE([HAVE_FREXP], [1],
       [Define if the frexp() function is available and works.])
   else
     AC_LIBOBJ([frexp])
   fi
+  AC_SUBST([FREXP_LIBM])
 ])
 
-dnl Test whether frexp() works also on denormalized numbers.
-dnl This test fails e.g. on NetBSD.
+AC_DEFUN([gl_FUNC_FREXP_NO_LIBM],
+[
+  AC_REQUIRE([gl_MATH_H_DEFAULTS])
+  AC_CACHE_CHECK([whether frexp() can be used without linking with libm],
+    [gl_cv_func_frexp_no_libm],
+    [
+      AC_TRY_LINK([#include <math.h>
+                   double x;],
+                  [int e; return frexp (x, &e) > 0;],
+        [gl_cv_func_frexp_no_libm=yes],
+        [gl_cv_func_frexp_no_libm=no])
+    ])
+  if test $gl_cv_func_frexp_no_libm = yes; then
+    gl_FUNC_FREXP_WORKS
+    case "$gl_cv_func_frexp_works" in
+      *yes) gl_func_frexp_no_libm=yes ;;
+      *)    gl_func_frexp_no_libm=no; REPLACE_FREXP=1 ;;
+    esac
+  else
+    gl_func_frexp_no_libm=no
+    dnl Set REPLACE_FREXP here because the system may have frexp in libm.
+    REPLACE_FREXP=1
+  fi
+  if test $gl_func_frexp_no_libm = yes; then
+    AC_DEFINE([HAVE_FREXP_IN_LIBC], [1],
+      [Define if the frexp() function is available in libc.])
+  else
+    AC_LIBOBJ([frexp])
+  fi
+])
+
+dnl Test whether frexp() works also on denormalized numbers (this fails e.g. on
+dnl NetBSD 3.0), on infinite numbers (this fails e.g. on IRIX 6.5 and mingw),
+dnl and on negative zero (this fails e.g. on NetBSD 4.99).
 AC_DEFUN([gl_FUNC_FREXP_WORKS],
 [
   AC_REQUIRE([AC_PROG_CC])
@@ -66,10 +99,15 @@ AC_DEFUN([gl_FUNC_FREXP_WORKS],
       AC_TRY_RUN([
 #include <float.h>
 #include <math.h>
+#include <string.h>
 int main()
 {
   int i;
   volatile double x;
+/* HP cc on HP-UX 10.20 has a bug with the constant expression -0.0.
+   So we use -zero instead.  */
+  double zero = 0.0;
+  /* Test on denormalized numbers.  */
   for (i = 1, x = 1.0; i >= DBL_MIN_EXP; i--, x *= 0.5)
     ;
   if (x > 0.0)
@@ -81,11 +119,27 @@ int main()
       if (y != 0.5)
         return 1;
     }
+  /* Test on infinite numbers.  */
+  x = 1.0 / 0.0;
+  {
+    int exp;
+    double y = frexp (x, &exp);
+    if (y != x)
+      return 1;
+  }
+  /* Test on negative zero.  */
+  x = -zero;
+  {
+    int exp;
+    double y = frexp (x, &exp);
+    if (memcmp (&y, &x, sizeof x))
+      return 1;
+  }
   return 0;
 }], [gl_cv_func_frexp_works=yes], [gl_cv_func_frexp_works=no],
       [case "$host_os" in
-         netbsd*) gl_cv_func_frexp_works="guessing no";;
-         *)       gl_cv_func_frexp_works="guessing yes";;
+         netbsd* | irix* | mingw*) gl_cv_func_frexp_works="guessing no";;
+         *)                        gl_cv_func_frexp_works="guessing yes";;
        esac
       ])
     ])