Mercurial > gnulib
annotate m4/modfl.m4 @ 40057:b06060465f09
maint: Run 'make update-copyright'
author | Paul Eggert <eggert@cs.ucla.edu> |
---|---|
date | Tue, 01 Jan 2019 00:25:11 +0100 |
parents | 10eb9086bea0 |
children | e2e6dc79463b |
rev | line source |
---|---|
19479
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
1 # modfl.m4 serial 5 |
40057
b06060465f09
maint: Run 'make update-copyright'
Paul Eggert <eggert@cs.ucla.edu>
parents:
19484
diff
changeset
|
2 dnl Copyright (C) 2011-2019 Free Software Foundation, Inc. |
16408 | 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_MODFL], | |
8 [ | |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
9 m4_divert_text([DEFAULTS], [gl_modfl_required=plain]) |
16408 | 10 AC_REQUIRE([gl_MATH_H_DEFAULTS]) |
11 AC_REQUIRE([gl_LONG_DOUBLE_VS_DOUBLE]) | |
12 | |
16580
fdbe3125f81a
math: Ensure declarations of math functions.
Bruno Haible <bruno@clisp.org>
parents:
16490
diff
changeset
|
13 dnl Persuade glibc <math.h> to declare modfl(). |
fdbe3125f81a
math: Ensure declarations of math functions.
Bruno Haible <bruno@clisp.org>
parents:
16490
diff
changeset
|
14 AC_REQUIRE([gl_USE_SYSTEM_EXTENSIONS]) |
fdbe3125f81a
math: Ensure declarations of math functions.
Bruno Haible <bruno@clisp.org>
parents:
16490
diff
changeset
|
15 |
16408 | 16 dnl Test whether modfl() exists. We cannot assume that modfl(), if it |
17 dnl exists, is defined in the same library as modf(). This is not the case | |
18 dnl on FreeBSD, Solaris. | |
19 gl_MATHFUNC([modfl], [long double], [(long double, long double *)]) | |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
20 if test $gl_cv_func_modfl_no_libm = yes \ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
21 || test $gl_cv_func_modfl_in_libm = yes; then |
16490
0d1fd31a3ea0
modff, modfl: Fix configure syntax error.
Bruno Haible <bruno@clisp.org>
parents:
16471
diff
changeset
|
22 : |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
23 m4_ifdef([gl_FUNC_MODFL_IEEE], [ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
24 if test $gl_modfl_required = ieee && test $REPLACE_MODFL = 0; then |
16811
b187fc49964b
Avoid "guessing no" guesses when cross-compiling to glibc systems.
Bruno Haible <bruno@clisp.org>
parents:
16580
diff
changeset
|
25 AC_REQUIRE([AC_CANONICAL_HOST]) dnl for cross-compiles |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
26 AC_CACHE_CHECK([whether modfl works according to ISO C 99 with IEC 60559], |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
27 [gl_cv_func_modfl_ieee], |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
28 [ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
29 save_LIBS="$LIBS" |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
30 LIBS="$LIBS $MODFL_LIBM" |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
31 AC_RUN_IFELSE( |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
32 [AC_LANG_SOURCE([[ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
33 #ifndef __NO_MATH_INLINES |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
34 # define __NO_MATH_INLINES 1 /* for glibc */ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
35 #endif |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
36 #include <math.h> |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
37 ]gl_LONG_DOUBLE_MINUS_ZERO_CODE[ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
38 ]gl_LONG_DOUBLE_SIGNBIT_CODE[ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
39 /* Compare two numbers with ==. |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
40 This is a separate function because IRIX 6.5 "cc -O" miscompiles an |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
41 'x == x' test. */ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
42 static int |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
43 numeric_equal (long double x, long double y) |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
44 { |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
45 return x == y; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
46 } |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
47 static long double dummy (long double x, long double *iptr) { return 0; } |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
48 long double zero; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
49 long double minus_one = - 1.0L; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
50 int main (int argc, char *argv[]) |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
51 { |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
52 long double (*my_modfl) (long double, long double *) = argc ? modfl : dummy; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
53 long double i; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
54 long double f; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
55 /* Test modfl(-Inf,...). |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
56 This test fails on IRIX 6.5, OSF/1 5.1, mingw. */ |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
57 f = my_modfl (minus_one / zero, &i); |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
58 if (!(f == 0.0L) || (signbitl (minus_zerol) && !signbitl (f))) |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
59 return 1; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
60 return 0; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
61 } |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
62 ]])], |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
63 [gl_cv_func_modfl_ieee=yes], |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
64 [gl_cv_func_modfl_ieee=no], |
16811
b187fc49964b
Avoid "guessing no" guesses when cross-compiling to glibc systems.
Bruno Haible <bruno@clisp.org>
parents:
16580
diff
changeset
|
65 [case "$host_os" in |
19479
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
66 # Guess yes on glibc systems. |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
67 *-gnu* | gnu*) gl_cv_func_modfl_ieee="guessing yes" ;; |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
68 # Guess yes on MSVC, no on mingw. |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
69 mingw*) AC_EGREP_CPP([Known], [ |
18993
a75cfc731331
Improve cross-compilation guesses for native Windows.
Bruno Haible <bruno@clisp.org>
parents:
18626
diff
changeset
|
70 #ifdef _MSC_VER |
a75cfc731331
Improve cross-compilation guesses for native Windows.
Bruno Haible <bruno@clisp.org>
parents:
18626
diff
changeset
|
71 Known |
a75cfc731331
Improve cross-compilation guesses for native Windows.
Bruno Haible <bruno@clisp.org>
parents:
18626
diff
changeset
|
72 #endif |
19479
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
73 ], |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
74 [gl_cv_func_modfl_ieee="guessing yes"], |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
75 [gl_cv_func_modfl_ieee="guessing no"]) |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
76 ;; |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
77 # If we don't know, assume the worst. |
4bc5b8cefed7
Add cross-compilation results for GNU/Hurd.
Samuel Thibault <samuel.thibault@gnu.org>
parents:
18993
diff
changeset
|
78 *) gl_cv_func_modfl_ieee="guessing no" ;; |
16811
b187fc49964b
Avoid "guessing no" guesses when cross-compiling to glibc systems.
Bruno Haible <bruno@clisp.org>
parents:
16580
diff
changeset
|
79 esac |
b187fc49964b
Avoid "guessing no" guesses when cross-compiling to glibc systems.
Bruno Haible <bruno@clisp.org>
parents:
16580
diff
changeset
|
80 ]) |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
81 LIBS="$save_LIBS" |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
82 ]) |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
83 case "$gl_cv_func_modfl_ieee" in |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
84 *yes) ;; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
85 *) REPLACE_MODFL=1 ;; |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
86 esac |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
87 fi |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
88 ]) |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
89 else |
16408 | 90 HAVE_MODFL=0 |
16471
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
91 fi |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
92 if test $HAVE_MODFL = 0 || test $REPLACE_MODFL = 1; then |
1f4605f1f3ae
modfl-ieee: Work around test failures on IRIX, OSF/1, mingw.
Bruno Haible <bruno@clisp.org>
parents:
16408
diff
changeset
|
93 dnl Find libraries needed to link lib/modfl.c. |
16408 | 94 if test $HAVE_SAME_LONG_DOUBLE_AS_DOUBLE = 1; then |
95 AC_REQUIRE([gl_FUNC_MODF]) | |
96 MODFL_LIBM="$MODF_LIBM" | |
97 else | |
98 AC_REQUIRE([gl_FUNC_TRUNCL]) | |
99 MODFL_LIBM="$TRUNCL_LIBM" | |
100 fi | |
101 fi | |
102 AC_SUBST([MODFL_LIBM]) | |
103 ]) |