floor*-ieee, ceil*-ieee, trunc*-ieee, round*-ieee: More robust checks.

* m4/floorf.m4 (gl_FUNC_FLOORF): In the test whether the function is
IEEE compliant, avoid compiler optimizations.
* m4/floor.m4 (gl_FUNC_FLOOR): Likewise.
* m4/ceilf.m4 (gl_FUNC_CEILF): Likewise.
* m4/ceil.m4 (gl_FUNC_CEIL): Likewise.
* m4/ceill.m4 (gl_FUNC_CEILL): Likewise.
* m4/truncf.m4 (gl_FUNC_TRUNCF): Likewise.
* m4/trunc.m4 (gl_FUNC_TRUNC): Likewise.
* m4/truncl.m4 (gl_FUNC_TRUNCL): Likewise.
* m4/roundf.m4 (gl_FUNC_ROUNDF): Likewise.
* m4/round.m4 (gl_FUNC_ROUND): Likewise.
* m4/roundl.m4 (gl_FUNC_ROUNDL): Likewise.

diff --git a/ChangeLog b/ChangeLog
index 6509252128990acf5be49ca1977b7c89dafc9b60..012678c892716680888e8f1815d9a0d4b5d33634 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,19 @@
+2011-06-19  Bruno Haible  <bruno@clisp.org>
+
+       floor*-ieee, ceil*-ieee, trunc*-ieee, round*-ieee: More robust checks.
+       * m4/floorf.m4 (gl_FUNC_FLOORF): In the test whether the function is
+       IEEE compliant, avoid compiler optimizations.
+       * m4/floor.m4 (gl_FUNC_FLOOR): Likewise.
+       * m4/ceilf.m4 (gl_FUNC_CEILF): Likewise.
+       * m4/ceil.m4 (gl_FUNC_CEIL): Likewise.
+       * m4/ceill.m4 (gl_FUNC_CEILL): Likewise.
+       * m4/truncf.m4 (gl_FUNC_TRUNCF): Likewise.
+       * m4/trunc.m4 (gl_FUNC_TRUNC): Likewise.
+       * m4/truncl.m4 (gl_FUNC_TRUNCL): Likewise.
+       * m4/roundf.m4 (gl_FUNC_ROUNDF): Likewise.
+       * m4/round.m4 (gl_FUNC_ROUND): Likewise.
+       * m4/roundl.m4 (gl_FUNC_ROUNDL): Likewise.
+
 2011-06-19  Bruno Haible  <bruno@clisp.org>
 
        ceilf-ieee: Work around bug on AIX 7.1.

diff --git a/m4/ceil.m4 b/m4/ceil.m4
index fd335d2ceeac3916031731436aa247186a71118e..b9052976f2912e49042c7b978e6a6bfd2d085021 100644 (file)
--- a/m4/ceil.m4
+++ b/m4/ceil.m4
@@ -1,4 +1,4 @@
-# ceil.m4 serial 7
+# ceil.m4 serial 8
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -28,14 +28,16 @@ AC_DEFUN([gl_FUNC_CEIL],
 #include <math.h>
 ]gl_DOUBLE_MINUS_ZERO_CODE[
 ]gl_DOUBLE_SIGNBIT_CODE[
-int main()
+static double dummy (double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  double (*my_ceil) (double) = argc ? ceil : dummy;
   int result = 0;
   /* Test whether ceil (-0.0) is -0.0.  */
-  if (signbitd (minus_zerod) && !signbitd (ceil (minus_zerod)))
+  if (signbitd (minus_zerod) && !signbitd (my_ceil (minus_zerod)))
     result |= 1;
   /* Test whether ceil (-0.3) is -0.0.  */
-  if (signbitd (-0.3) && !signbitd (ceil (-0.3)))
+  if (signbitd (-0.3) && !signbitd (my_ceil (-0.3)))
     result |= 2;
   return result;
 }

diff --git a/m4/ceilf.m4 b/m4/ceilf.m4
index 66bac6948ca06854ace2fdafdc7b8924f56f5071..8b74a6d24e0d39577c0a9b9ff721f8bb8fe38dfa 100644 (file)
--- a/m4/ceilf.m4
+++ b/m4/ceilf.m4
@@ -1,4 +1,4 @@
-# ceilf.m4 serial 10
+# ceilf.m4 serial 11
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -35,14 +35,16 @@ AC_DEFUN([gl_FUNC_CEILF],
 #include <math.h>
 ]gl_FLOAT_MINUS_ZERO_CODE[
 ]gl_FLOAT_SIGNBIT_CODE[
-int main()
+static float dummy (float f) { return 0; }
+int main (int argc, char *argv[])
 {
+  float (*my_ceilf) (float) = argc ? ceilf : dummy;
   int result = 0;
   /* Test whether ceilf (-0.0f) is -0.0f.  */
-  if (signbitf (minus_zerof) && !signbitf (ceilf (minus_zerof)))
+  if (signbitf (minus_zerof) && !signbitf (my_ceilf (minus_zerof)))
     result |= 1;
   /* Test whether ceilf (-0.3f) is -0.0f.  */
-  if (signbitf (-0.3f) && !signbitf (ceilf (-0.3f)))
+  if (signbitf (-0.3f) && !signbitf (my_ceilf (-0.3f)))
     result |= 2;
   return result;
 }

diff --git a/m4/ceill.m4 b/m4/ceill.m4
index 8116de109ff620909d7852b2e9376e4a6c3656f0..6b56820926e3a4366c7c485c05bff2d2a8e2751b 100644 (file)
--- a/m4/ceill.m4
+++ b/m4/ceill.m4
@@ -1,4 +1,4 @@
-# ceill.m4 serial 9
+# ceill.m4 serial 10
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -35,10 +35,12 @@ AC_DEFUN([gl_FUNC_CEILL],
 #include <math.h>
 ]gl_LONG_DOUBLE_MINUS_ZERO_CODE[
 ]gl_LONG_DOUBLE_SIGNBIT_CODE[
-int main()
+static long double dummy (long double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  long double (*my_ceill) (long double) = argc ? ceill : dummy;
   /* Test whether ceill (-0.3L) is -0.0L.  */
-  if (signbitl (minus_zerol) && !signbitl (ceill (-0.3L)))
+  if (signbitl (minus_zerol) && !signbitl (my_ceill (-0.3L)))
     return 1;
   return 0;
 }

diff --git a/m4/floor.m4 b/m4/floor.m4
index 62d19fed72ebd2d232695e5c31a1fa34d6ea1377..5de0da27799f0c5449c31e2b6fdd9d17229035bd 100644 (file)
--- a/m4/floor.m4
+++ b/m4/floor.m4
@@ -1,4 +1,4 @@
-# floor.m4 serial 6
+# floor.m4 serial 7
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -28,10 +28,12 @@ AC_DEFUN([gl_FUNC_FLOOR],
 #include <math.h>
 ]gl_DOUBLE_MINUS_ZERO_CODE[
 ]gl_DOUBLE_SIGNBIT_CODE[
-int main()
+static double dummy (double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  double (*my_floor) (double) = argc ? floor : dummy;
   /* Test whether floor (-0.0) is -0.0.  */
-  if (signbitd (minus_zerod) && !signbitd (floor (minus_zerod)))
+  if (signbitd (minus_zerod) && !signbitd (my_floor (minus_zerod)))
     return 1;
   return 0;
 }

diff --git a/m4/floorf.m4 b/m4/floorf.m4
index d426569c189dcd81b97ab1cb3fec3009a54ee867..aa76f8cae20e323285e2e8862e41834db5f7678e 100644 (file)
--- a/m4/floorf.m4
+++ b/m4/floorf.m4
@@ -1,4 +1,4 @@
-# floorf.m4 serial 9
+# floorf.m4 serial 10
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -35,10 +35,12 @@ AC_DEFUN([gl_FUNC_FLOORF],
 #include <math.h>
 ]gl_FLOAT_MINUS_ZERO_CODE[
 ]gl_FLOAT_SIGNBIT_CODE[
-int main()
+static float dummy (float f) { return 0; }
+int main (int argc, char *argv[])
 {
+  float (*my_floorf) (float) = argc ? floorf : dummy;
   /* Test whether floorf (-0.0f) is -0.0f.  */
-  if (signbitf (minus_zerof) && !signbitf (floorf (minus_zerof)))
+  if (signbitf (minus_zerof) && !signbitf (my_floorf (minus_zerof)))
     return 1;
   return 0;
 }

diff --git a/m4/round.m4 b/m4/round.m4
index d8abbcdb596708838ca2c84618ddd7f0db8954b3..9f6691f41afc7e0d20da13c9da1eabe6fc7500ef 100644 (file)
--- a/m4/round.m4
+++ b/m4/round.m4
@@ -1,4 +1,4 @@
-# round.m4 serial 11
+# round.m4 serial 12
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -69,10 +69,12 @@ int main()
 #include <math.h>
 ]gl_DOUBLE_MINUS_ZERO_CODE[
 ]gl_DOUBLE_SIGNBIT_CODE[
-int main()
+static double dummy (double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  double (*my_round) (double) = argc ? round : dummy;
   /* Test whether round (-0.0) is -0.0.  */
-  if (signbitd (minus_zerod) && !signbitd (round (minus_zerod)))
+  if (signbitd (minus_zerod) && !signbitd (my_round (minus_zerod)))
     return 1;
   return 0;
 }

diff --git a/m4/roundf.m4 b/m4/roundf.m4
index 0ff964608d42c117b2f9e1915fd6555677a51ace..83dffd1a8f69c58319625ad972d2283a0a44621a 100644 (file)
--- a/m4/roundf.m4
+++ b/m4/roundf.m4
@@ -1,4 +1,4 @@
-# roundf.m4 serial 11
+# roundf.m4 serial 12
 dnl Copyright (C) 2007-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -66,10 +66,12 @@ int main()
 #include <math.h>
 ]gl_FLOAT_MINUS_ZERO_CODE[
 ]gl_FLOAT_SIGNBIT_CODE[
-int main()
+static float dummy (float f) { return 0; }
+int main (int argc, char *argv[])
 {
+  float (*my_roundf) (float) = argc ? roundf : dummy;
   /* Test whether roundf (-0.0f) is -0.0f.  */
-  if (signbitf (minus_zerof) && !signbitf (roundf (minus_zerof)))
+  if (signbitf (minus_zerof) && !signbitf (my_roundf (minus_zerof)))
     return 1;
   return 0;
 }

diff --git a/m4/roundl.m4 b/m4/roundl.m4
index 790e0fecccf204958cc6c57f285dd43a250add99..4f47e3389ed488529b3664619d34f281bc32258c 100644 (file)
--- a/m4/roundl.m4
+++ b/m4/roundl.m4
@@ -1,4 +1,4 @@
-# roundl.m4 serial 9
+# roundl.m4 serial 10
 dnl Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -31,10 +31,12 @@ AC_DEFUN([gl_FUNC_ROUNDL],
 #include <math.h>
 ]gl_LONG_DOUBLE_MINUS_ZERO_CODE[
 ]gl_LONG_DOUBLE_SIGNBIT_CODE[
-int main()
+static long double dummy (long double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  long double (*my_roundl) (long double) = argc ? roundl : dummy;
   /* Test whether roundl (-0.0L) is -0.0L.  */
-  if (signbitl (minus_zerol) && !signbitl (roundl (minus_zerol)))
+  if (signbitl (minus_zerol) && !signbitl (my_roundl (minus_zerol)))
     return 1;
   return 0;
 }

diff --git a/m4/trunc.m4 b/m4/trunc.m4
index 953f5b1316d3106933687ff2dba5fd6b355ba16d..62311015b75136d401386c80c39d26e8f07cb581 100644 (file)
--- a/m4/trunc.m4
+++ b/m4/trunc.m4
@@ -1,4 +1,4 @@
-# trunc.m4 serial 6
+# trunc.m4 serial 7
 dnl Copyright (C) 2007, 2010-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -56,10 +56,12 @@ AC_DEFUN([gl_FUNC_TRUNC],
 #include <math.h>
 ]gl_DOUBLE_MINUS_ZERO_CODE[
 ]gl_DOUBLE_SIGNBIT_CODE[
-int main()
+static double dummy (double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  double (*my_trunc) (double) = argc ? trunc : dummy;
   /* Test whether trunc (-0.0) is -0.0.  */
-  if (signbitd (minus_zerod) && !signbitd (trunc (minus_zerod)))
+  if (signbitd (minus_zerod) && !signbitd (my_trunc (minus_zerod)))
     return 1;
   return 0;
 }

diff --git a/m4/truncf.m4 b/m4/truncf.m4
index 3920fcd469e75e60a6fce7e39ca33540341651f2..67f8bb6b05341890a052846e6e4a32f14774c677 100644 (file)
--- a/m4/truncf.m4
+++ b/m4/truncf.m4
@@ -1,4 +1,4 @@
-# truncf.m4 serial 5
+# truncf.m4 serial 6
 dnl Copyright (C) 2007, 2010-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -56,10 +56,12 @@ AC_DEFUN([gl_FUNC_TRUNCF],
 #include <math.h>
 ]gl_FLOAT_MINUS_ZERO_CODE[
 ]gl_FLOAT_SIGNBIT_CODE[
-int main()
+static float dummy (float f) { return 0; }
+int main (int argc, char *argv[])
 {
+  float (*my_truncf) (float) = argc ? truncf : dummy;
   /* Test whether truncf (-0.0f) is -0.0f.  */
-  if (signbitf (minus_zerof) && !signbitf (truncf (minus_zerof)))
+  if (signbitf (minus_zerof) && !signbitf (my_truncf (minus_zerof)))
     return 1;
   return 0;
 }

diff --git a/m4/truncl.m4 b/m4/truncl.m4
index 2b6988b2e905a26110ddf2299707597740aceee4..c594236afbd504a6810723c7cf336bcd22bcc590 100644 (file)
--- a/m4/truncl.m4
+++ b/m4/truncl.m4
@@ -1,4 +1,4 @@
-# truncl.m4 serial 7
+# truncl.m4 serial 8
 dnl Copyright (C) 2007-2008, 2010-2011 Free Software Foundation, Inc.
 dnl This file is free software; the Free Software Foundation
 dnl gives unlimited permission to copy and/or distribute it,
@@ -84,10 +84,12 @@ int main()
 #include <math.h>
 ]gl_LONG_DOUBLE_MINUS_ZERO_CODE[
 ]gl_LONG_DOUBLE_SIGNBIT_CODE[
-int main()
+static long double dummy (long double f) { return 0; }
+int main (int argc, char *argv[])
 {
+  long double (*my_truncl) (long double) = argc ? truncl : dummy;
   /* Test whether truncl (-0.3L) is -0.0L.  */
-  if (signbitl (minus_zerol) && !signbitl (truncl (-0.3L)))
+  if (signbitl (minus_zerol) && !signbitl (my_truncl (-0.3L)))
     return 1;
   return 0;
 }