m4/logbl.m4

   1 # logbl.m4 serial 4
   2 dnl Copyright (C) 2012-2017 Free Software Foundation, Inc.
   3 dnl This file is free software; the Free Software Foundation
   4 dnl gives unlimited permission to copy and/or distribute it,
   5 dnl with or without modifications, as long as this notice is preserved.
   6
   7 AC_DEFUN([gl_FUNC_LOGBL],
   8 [
   9   AC_REQUIRE([gl_MATH_H_DEFAULTS])
  10   AC_REQUIRE([gl_LONG_DOUBLE_VS_DOUBLE])
  11   AC_REQUIRE([gl_FUNC_LOGB])
  12
  13   dnl Persuade glibc <math.h> to declare logbl().
  14   AC_REQUIRE([gl_USE_SYSTEM_EXTENSIONS])
  15
  16   dnl Test whether logbl() exists and determine LOGBL_LIBM. We cannot assume
  17   dnl that logbl(), if it exists, is defined in the same library as logb().
  18   dnl This is not the case on AIX >= 5.2, Solaris >= 10.
  19   gl_MATHFUNC([logbl], [long double], [(long double)])
  20   if test $gl_cv_func_logbl_no_libm = yes \
  21      || test $gl_cv_func_logbl_in_libm = yes; then
  22     save_LIBS="$LIBS"
  23     LIBS="$LIBS $LOGBL_LIBM"
  24     gl_FUNC_LOGBL_WORKS
  25     LIBS="$save_LIBS"
  26     case "$gl_cv_func_logbl_works" in
  27       *yes) ;;
  28       *) REPLACE_LOGBL=1 ;;
  29     esac
  30   else
  31     HAVE_LOGBL=0
  32   fi
  33   if test $HAVE_LOGBL = 0 || test $REPLACE_LOGBL = 1; then
  34     dnl Find libraries needed to link lib/logbl.c.
  35     if test $HAVE_SAME_LONG_DOUBLE_AS_DOUBLE = 1; then
  36       LOGBL_LIBM="$LOGB_LIBM"
  37     else
  38       AC_REQUIRE([gl_FUNC_FREXPL])
  39       AC_REQUIRE([gl_FUNC_ISNANL])
  40       LOGBL_LIBM=
  41       dnl Append $FREXPL_LIBM to LOGBL_LIBM, avoiding gratuitous duplicates.
  42       case " $LOGBL_LIBM " in
  43         *" $FREXPL_LIBM "*) ;;
  44         *) LOGBL_LIBM="$LOGBL_LIBM $FREXPL_LIBM" ;;
  45       esac
  46       dnl Append $ISNANL_LIBM to LOGBL_LIBM, avoiding gratuitous duplicates.
  47       case " $LOGBL_LIBM " in
  48         *" $ISNANL_LIBM "*) ;;
  49         *) LOGBL_LIBM="$LOGBL_LIBM $ISNANL_LIBM" ;;
  50       esac
  51     fi
  52   fi
  53   AC_SUBST([LOGBL_LIBM])
  54 ])
  55
  56 dnl Test whether logbl() works.
  57 dnl On glibc 2.11/powerpc, glibc 2.7/sparc, glibc 2.7/hppa, Solaris 10/SPARC,
  58 dnl the return value for subnormal (denormalized) arguments is too large.
  59 dnl On glibc 2.23/powerpc64le, the return value for negative subnormal arguments
  60 dnl is too large.
  61 AC_DEFUN([gl_FUNC_LOGBL_WORKS],
  62 [
  63   AC_REQUIRE([AC_PROG_CC])
  64   AC_REQUIRE([AC_CANONICAL_HOST]) dnl for cross-compiles
  65   AC_CACHE_CHECK([whether logbl works], [gl_cv_func_logbl_works],
  66     [
  67       AC_RUN_IFELSE(
  68         [AC_LANG_SOURCE([[
  69 #include <float.h>
  70 #include <math.h>
  71 /* Override the values of <float.h>, like done in float.in.h.  */
  72 #if defined __i386__ && (defined __BEOS__ || defined __OpenBSD__)
  73 # undef LDBL_MIN_EXP
  74 # define LDBL_MIN_EXP    (-16381)
  75 #endif
  76 #if defined __i386__ && (defined __FreeBSD__ || defined __DragonFly__)
  77 # undef LDBL_MIN_EXP
  78 # define LDBL_MIN_EXP    (-16381)
  79 #endif
  80 #if (defined _ARCH_PPC || defined _POWER) && defined _AIX && (LDBL_MANT_DIG == 106) && defined __GNUC__
  81 # undef LDBL_MIN_EXP
  82 # define LDBL_MIN_EXP DBL_MIN_EXP
  83 #endif
  84 #if defined __sgi && (LDBL_MANT_DIG >= 106)
  85 # if defined __GNUC__
  86 #  undef LDBL_MIN_EXP
  87 #  define LDBL_MIN_EXP DBL_MIN_EXP
  88 # endif
  89 #endif
  90 volatile long double x;
  91 int main ()
  92 {
  93   int i;
  94   for (i = 1, x = 1.0L; i >= LDBL_MIN_EXP - 54; i--, x *= 0.5L)
  95     /* Either x = 2^(i-1) or x = 0.0.  */
  96     if ((i == LDBL_MIN_EXP - 1 || i == LDBL_MIN_EXP - 54)
  97         && (x > 0.0L && !(logbl (x) == (long double)(i - 1))))
  98       return 1;
  99   for (i = 1, x = -1.0L; i >= LDBL_MIN_EXP - 54; i--, x *= 0.5L)
 100     /* Either x = -2^(i-1) or x = 0.0.  */
 101     if ((i == LDBL_MIN_EXP - 1 || i == LDBL_MIN_EXP - 54)
 102         && (x < 0.0L && !(logbl (x) == (long double)(i - 1))))
 103       return 1;
 104   return 0;
 105 }
 106 ]])],
 107         [gl_cv_func_logbl_works=yes],
 108         [gl_cv_func_logbl_works=no],
 109         [case "$host_os" in
 110            *gnu* | solaris*) gl_cv_func_logbl_works="guessing no" ;;
 111                              # Guess yes on native Windows.
 112            mingw*)           gl_cv_func_logbl_works="guessing yes" ;;
 113            *)                gl_cv_func_logbl_works="guessing yes" ;;
 114          esac
 115         ])
 116     ])
 117 ])