X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=m4%2Fremainderl.m4;h=9056390c4e25d997ef9e515a2518d7dcdef80dc1;hb=46f5f314f34a08c9305758482d7d2fdb0e999d09;hp=35f578c41db70e3589e33782ed24187ebd6ca817;hpb=93c29eb8fc3e97d269fc8939ff47454702e7c585;p=gnulib.git diff --git a/m4/remainderl.m4 b/m4/remainderl.m4 index 35f578c41..9056390c4 100644 --- a/m4/remainderl.m4 +++ b/m4/remainderl.m4 @@ -1,15 +1,19 @@ -# remainderl.m4 serial 1 -dnl Copyright (C) 2012 Free Software Foundation, Inc. +# remainderl.m4 serial 7 +dnl Copyright (C) 2012-2014 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. AC_DEFUN([gl_FUNC_REMAINDERL], [ + m4_divert_text([DEFAULTS], [gl_remainderl_required=plain]) AC_REQUIRE([gl_MATH_H_DEFAULTS]) AC_REQUIRE([gl_LONG_DOUBLE_VS_DOUBLE]) AC_REQUIRE([gl_FUNC_REMAINDER]) + dnl Persuade glibc to declare remainderl(). + AC_REQUIRE([gl_USE_SYSTEM_EXTENSIONS]) + dnl Test whether remainderl() exists. Assume that remainderl(), if it exists, is dnl defined in the same library as remainder(). save_LIBS="$LIBS" @@ -23,6 +27,11 @@ AC_DEFUN([gl_FUNC_REMAINDERL], # define __NO_MATH_INLINES 1 /* for glibc */ #endif #include + extern + #ifdef __cplusplus + "C" + #endif + long double remainderl (long double, long double); long double (*funcptr) (long double, long double) = remainderl; long double x; long double y;]], @@ -33,27 +42,150 @@ AC_DEFUN([gl_FUNC_REMAINDERL], ]) LIBS="$save_LIBS" if test $gl_cv_func_remainderl = yes; then + HAVE_REMAINDERL=1 REMAINDERL_LIBM="$REMAINDER_LIBM" + dnl Also check whether it's declared. + dnl IRIX 6.5 has remainderl() in libm but doesn't declare it in . + AC_CHECK_DECLS([remainderl], , [HAVE_DECL_REMAINDERL=0], [[#include ]]) + + save_LIBS="$LIBS" + LIBS="$LIBS $REMAINDERL_LIBM" + gl_FUNC_REMAINDERL_WORKS + LIBS="$save_LIBS" + case "$gl_cv_func_remainderl_works" in + *yes) ;; + *) REPLACE_REMAINDERL=1 ;; + esac + + m4_ifdef([gl_FUNC_REMAINDERL_IEEE], [ + if test $gl_remainderl_required = ieee && test $REPLACE_REMAINDERL = 0; then + AC_REQUIRE([AC_CANONICAL_HOST]) dnl for cross-compiles + AC_CACHE_CHECK([whether remainderl works according to ISO C 99 with IEC 60559], + [gl_cv_func_remainderl_ieee], + [ + save_LIBS="$LIBS" + LIBS="$LIBS $REMAINDERL_LIBM" + AC_RUN_IFELSE( + [AC_LANG_SOURCE([[ +#ifndef __NO_MATH_INLINES +# define __NO_MATH_INLINES 1 /* for glibc */ +#endif +#include +extern +#ifdef __cplusplus +"C" +#endif +long double remainderl (long double, long double); +/* Compare two numbers with ==. + This is a separate function because IRIX 6.5 "cc -O" miscompiles an + 'x == x' test. */ +static int +numeric_equal (long double x, long double y) +{ + return x == y; +} +static long double dummy (long double x, long double y) { return 0; } +int main (int argc, char *argv[]) +{ + long double (*my_remainderl) (long double, long double) = argc ? remainderl : dummy; + long double f; + /* Test remainderl(...,0.0L). + This test fails on OSF/1 5.1. */ + f = my_remainderl (2.0L, 0.0L); + if (numeric_equal (f, f)) + return 1; + return 0; +} + ]])], + [gl_cv_func_remainderl_ieee=yes], + [gl_cv_func_remainderl_ieee=no], + [case "$host_os" in + # Guess yes on glibc systems. + *-gnu*) gl_cv_func_remainderl_ieee="guessing yes" ;; + # If we don't know, assume the worst. + *) gl_cv_func_remainderl_ieee="guessing no" ;; + esac + ]) + LIBS="$save_LIBS" + ]) + case "$gl_cv_func_remainderl_ieee" in + *yes) ;; + *) REPLACE_REMAINDERL=1 ;; + esac + fi + ]) else HAVE_REMAINDERL=0 + HAVE_DECL_REMAINDERL=0 + fi + if test $HAVE_REMAINDERL = 0 || test $REPLACE_REMAINDERL = 1; then dnl Find libraries needed to link lib/remainderl.c. if test $HAVE_SAME_LONG_DOUBLE_AS_DOUBLE = 1; then REMAINDERL_LIBM="$REMAINDER_LIBM" else - AC_REQUIRE([gl_FUNC_ROUNDL]) - AC_REQUIRE([gl_FUNC_FMAL]) + AC_REQUIRE([gl_FUNC_FABSL]) + AC_REQUIRE([gl_FUNC_FMODL]) + AC_REQUIRE([gl_FUNC_ISNANL]) REMAINDERL_LIBM= - dnl Append $ROUNDL_LIBM to REMAINDERL_LIBM, avoiding gratuitous duplicates. + dnl Append $FABSL_LIBM to REMAINDERL_LIBM, avoiding gratuitous duplicates. case " $REMAINDERL_LIBM " in - *" $ROUNDL_LIBM "*) ;; - *) REMAINDERL_LIBM="$REMAINDERL_LIBM $ROUNDL_LIBM" ;; + *" $FABSL_LIBM "*) ;; + *) REMAINDERL_LIBM="$REMAINDERL_LIBM $FABSL_LIBM" ;; esac - dnl Append $FMAL_LIBM to REMAINDERL_LIBM, avoiding gratuitous duplicates. + dnl Append $FMODL_LIBM to REMAINDERL_LIBM, avoiding gratuitous duplicates. case " $REMAINDERL_LIBM " in - *" $FMAL_LIBM "*) ;; - *) REMAINDERL_LIBM="$REMAINDERL_LIBM $FMAL_LIBM" ;; + *" $FMODL_LIBM "*) ;; + *) REMAINDERL_LIBM="$REMAINDERL_LIBM $FMODL_LIBM" ;; + esac + dnl Append $ISNANL_LIBM to REMAINDERL_LIBM, avoiding gratuitous duplicates. + case " $REMAINDERL_LIBM " in + *" $ISNANL_LIBM "*) ;; + *) REMAINDERL_LIBM="$REMAINDERL_LIBM $ISNANL_LIBM" ;; esac fi fi AC_SUBST([REMAINDERL_LIBM]) ]) + +dnl Test whether remainderl() works. +dnl It produces completely wrong values on OpenBSD 5.1/SPARC. +AC_DEFUN([gl_FUNC_REMAINDERL_WORKS], +[ + AC_REQUIRE([AC_PROG_CC]) + AC_REQUIRE([AC_CANONICAL_HOST]) dnl for cross-compiles + AC_CACHE_CHECK([whether remainderl works], [gl_cv_func_remainderl_works], + [ + AC_RUN_IFELSE( + [AC_LANG_SOURCE([[ +#ifndef __NO_MATH_INLINES +# define __NO_MATH_INLINES 1 /* for glibc */ +#endif +#include +extern +#ifdef __cplusplus +"C" +#endif +long double remainderl (long double, long double); +volatile long double x; +volatile long double y; +long double z; +int main () +{ + /* This test fails on OpenBSD 5.1/SPARC. */ + x = 9.245907126L; + y = 3.141592654L; + z = remainderl (x, y); + if (z >= 0.0L) + return 1; + return 0; +} +]])], + [gl_cv_func_remainderl_works=yes], + [gl_cv_func_remainderl_works=no], + [case "$host_os" in + openbsd*) gl_cv_func_remainderl_works="guessing no";; + *) gl_cv_func_remainderl_works="guessing yes";; + esac + ]) + ]) +])