1m4_include(../config/acx.m4)
2m4_include(../config/no-executables.m4)
3m4_include(../config/math.m4)
4m4_include(../config/ax_check_define.m4)
5m4_include(../config/enable.m4)
6m4_include(../config/cet.m4)
7
8dnl Check that we have a working GNU Fortran compiler
9AC_DEFUN([LIBGFOR_WORKING_GFORTRAN], [
10AC_MSG_CHECKING([whether the GNU Fortran compiler is working])
11AC_LANG_PUSH([Fortran])
12AC_COMPILE_IFELSE([[
13      program foo
14      real, parameter :: bar = sin (12.34 / 2.5)
15      end program foo]],
16    [AC_MSG_RESULT([yes])],
17    [AC_MSG_RESULT([no])
18     AC_MSG_ERROR([GNU Fortran is not working; please report a bug in http://gcc.gnu.org/bugzilla, attaching $PWD/config.log])
19    ])
20AC_LANG_POP([Fortran])
21])
22
23
24sinclude(../libtool.m4)
25dnl The lines below arrange for aclocal not to bring an installed
26dnl libtool.m4 into aclocal.m4, while still arranging for automake to
27dnl add a definition of LIBTOOL to Makefile.in.
28ifelse(,,,[AC_SUBST(LIBTOOL)
29AC_DEFUN([AM_PROG_LIBTOOL])
30AC_DEFUN([AC_LIBTOOL_DLOPEN])
31AC_DEFUN([AC_PROG_LD])
32])
33
34dnl Check whether the target supports hidden visibility.
35AC_DEFUN([LIBGFOR_CHECK_ATTRIBUTE_VISIBILITY], [
36  AC_CACHE_CHECK([whether the target supports hidden visibility],
37		 libgfor_cv_have_attribute_visibility, [
38  save_CFLAGS="$CFLAGS"
39  CFLAGS="$CFLAGS -Werror"
40  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[void __attribute__((visibility("hidden"))) foo(void) { }]], [])],
41		    libgfor_cv_have_attribute_visibility=yes,
42		    libgfor_cv_have_attribute_visibility=no)
43  CFLAGS="$save_CFLAGS"])
44  if test $libgfor_cv_have_attribute_visibility = yes; then
45    AC_DEFINE(HAVE_ATTRIBUTE_VISIBILITY, 1,
46      [Define to 1 if the target supports __attribute__((visibility(...))).])
47  fi])
48
49dnl Check whether the target supports symbol aliases.
50AC_DEFUN([LIBGFOR_CHECK_ATTRIBUTE_ALIAS], [
51  AC_CACHE_CHECK([whether the target supports symbol aliases],
52		 libgfor_cv_have_attribute_alias, [
53  AC_LINK_IFELSE([AC_LANG_PROGRAM([[
54void foo(void) { }
55extern void bar(void) __attribute__((alias("foo")));]],
56    [[bar();]])], libgfor_cv_have_attribute_alias=yes, libgfor_cv_have_attribute_alias=no)])
57  if test $libgfor_cv_have_attribute_alias = yes; then
58    AC_DEFINE(HAVE_ATTRIBUTE_ALIAS, 1,
59      [Define to 1 if the target supports __attribute__((alias(...))).])
60  fi])
61
62dnl Check whether the target supports __atomic_fetch_add.
63AC_DEFUN([LIBGFOR_CHECK_ATOMIC_FETCH_ADD], [
64  AC_CACHE_CHECK([whether the target supports __atomic_fetch_add],
65		 libgfor_cv_have_atomic_fetch_add, [
66  AC_LINK_IFELSE([AC_LANG_PROGRAM([[int foovar = 0;]], [[
67if (foovar <= 0) return __atomic_fetch_add (&foovar, 1, __ATOMIC_ACQ_REL);
68if (foovar > 10) return __atomic_add_fetch (&foovar, -1, __ATOMIC_ACQ_REL);]])],
69	      libgfor_cv_have_atomic_fetch_add=yes, libgfor_cv_have_atomic_fetch_add=no)])
70  if test $libgfor_cv_have_atomic_fetch_add = yes; then
71    AC_DEFINE(HAVE_ATOMIC_FETCH_ADD, 1,
72	      [Define to 1 if the target supports __atomic_fetch_add])
73  fi])
74
75dnl Check for pragma weak.
76AC_DEFUN([LIBGFOR_GTHREAD_WEAK], [
77  AC_CACHE_CHECK([whether pragma weak works],
78		 libgfor_cv_have_pragma_weak, [
79  gfor_save_CFLAGS="$CFLAGS"
80  CFLAGS="$CFLAGS -Wunknown-pragmas"
81  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
82void foo (void);
83#pragma weak foo
84]], [[if (foo) foo ();]])],
85		    libgfor_cv_have_pragma_weak=yes, libgfor_cv_have_pragma_weak=no)])
86  if test $libgfor_cv_have_pragma_weak = yes; then
87    AC_DEFINE(SUPPORTS_WEAK, 1,
88	      [Define to 1 if the target supports #pragma weak])
89  fi
90  case "$host" in
91    *-*-darwin* | *-*-hpux* | *-*-cygwin* | *-*-mingw* | *-*-musl* )
92      AC_DEFINE(GTHREAD_USE_WEAK, 0,
93		[Define to 0 if the target shouldn't use #pragma weak])
94      ;;
95  esac])
96
97dnl Check whether target effectively supports weakref
98AC_DEFUN([LIBGFOR_CHECK_WEAKREF], [
99  AC_CACHE_CHECK([whether the target supports weakref],
100		 libgfor_cv_have_weakref, [
101  save_CFLAGS="$CFLAGS"
102  CFLAGS="$CFLAGS -Wunknown-pragmas -Werror"
103  AC_LINK_IFELSE([AC_LANG_PROGRAM([[
104static int mytoto (int) __attribute__((__weakref__("toto")));
105]], [[return (mytoto != 0);]])],
106		 libgfor_cv_have_weakref=yes, libgfor_cv_have_weakref=no)
107  CFLAGS="$save_CFLAGS"])
108  if test $libgfor_cv_have_weakref = yes; then
109    AC_DEFINE(SUPPORTS_WEAKREF, 1,
110	      [Define to 1 if the target supports weakref])
111  fi])
112
113dnl Check whether target can unlink a file still open.
114AC_DEFUN([LIBGFOR_CHECK_UNLINK_OPEN_FILE], [
115  AC_CACHE_CHECK([whether the target can unlink an open file],
116                  libgfor_cv_have_unlink_open_file, [
117  AC_RUN_IFELSE([AC_LANG_SOURCE([[
118#include <errno.h>
119#include <fcntl.h>
120#include <unistd.h>
121#include <sys/stat.h>
122
123int main ()
124{
125  int fd;
126
127  fd = open ("testfile", O_RDWR | O_CREAT, S_IWUSR | S_IRUSR);
128  if (fd <= 0)
129    return 0;
130  if (unlink ("testfile") == -1)
131    return 1;
132  write (fd, "This is a test\n", 15);
133  close (fd);
134
135  if (open ("testfile", O_RDONLY) == -1 && errno == ENOENT)
136    return 0;
137  else
138    return 1;
139}]])], libgfor_cv_have_unlink_open_file=yes, libgfor_cv_have_unlink_open_file=no, [
140case "${target}" in
141  *mingw*) libgfor_cv_have_unlink_open_file=no ;;
142  *) libgfor_cv_have_unlink_open_file=yes;;
143esac])])
144if test x"$libgfor_cv_have_unlink_open_file" = xyes; then
145  AC_DEFINE(HAVE_UNLINK_OPEN_FILE, 1, [Define if target can unlink open files.])
146fi])
147
148dnl Check whether CRLF is the line terminator
149AC_DEFUN([LIBGFOR_CHECK_CRLF], [
150  AC_CACHE_CHECK([whether the target has CRLF as line terminator],
151                  libgfor_cv_have_crlf, [
152  AC_RUN_IFELSE([AC_LANG_SOURCE([[
153/* This test program should exit with status 0 if system uses a CRLF as
154   line terminator, and status 1 otherwise.
155   Since it is used to check for mingw systems, and should return 0 in any
156   other case, in case of a failure we will not use CRLF.  */
157#include <sys/stat.h>
158#include <stdlib.h>
159#include <fcntl.h>
160#include <stdio.h>
161
162int main ()
163{
164#ifndef O_BINARY
165  exit(1);
166#else
167  int fd, bytes;
168  char buff[5];
169
170  fd = open ("foo", O_WRONLY | O_CREAT | O_TRUNC, S_IRWXU);
171  if (fd < 0)
172    exit(1);
173  if (write (fd, "\n", 1) < 0)
174    perror ("write");
175
176  close (fd);
177
178  if ((fd = open ("foo", O_RDONLY | O_BINARY, S_IRWXU)) < 0)
179    exit(1);
180  bytes = read (fd, buff, 5);
181  if (bytes == 2 && buff[0] == '\r' && buff[1] == '\n')
182    exit(0);
183  else
184    exit(1);
185#endif
186}]])], libgfor_cv_have_crlf=yes, libgfor_cv_have_crlf=no, [
187case "${target}" in
188  *mingw*) libgfor_cv_have_crlf=yes ;;
189  *) libgfor_cv_have_crlf=no;;
190esac])])
191if test x"$libgfor_cv_have_crlf" = xyes; then
192  AC_DEFINE(HAVE_CRLF, 1, [Define if CRLF is line terminator.])
193fi])
194
195dnl Check whether the st_ino and st_dev stat fields taken together uniquely
196dnl identify the file within the system. This is should be true for POSIX
197dnl systems; it is known to be false on mingw32.
198AC_DEFUN([LIBGFOR_CHECK_WORKING_STAT], [
199  AC_CACHE_CHECK([whether the target stat is reliable],
200                  libgfor_cv_have_working_stat, [
201  AC_RUN_IFELSE([AC_LANG_SOURCE([[
202#include <stdio.h>
203#include <sys/types.h>
204#include <sys/stat.h>
205#include <unistd.h>
206
207int main ()
208{
209  FILE *f, *g;
210  struct stat st1, st2;
211
212  f = fopen ("foo", "w");
213  g = fopen ("bar", "w");
214  if (stat ("foo", &st1) != 0 || stat ("bar", &st2))
215    return 1;
216  if (st1.st_dev == st2.st_dev && st1.st_ino == st2.st_ino)
217    return 1;
218  fclose(f);
219  fclose(g);
220  return 0;
221}]])], libgfor_cv_have_working_stat=yes, libgfor_cv_have_working_stat=no, [
222case "${target}" in
223  *mingw*) libgfor_cv_have_working_stat=no ;;
224  *) libgfor_cv_have_working_stat=yes;;
225esac])])
226if test x"$libgfor_cv_have_working_stat" = xyes; then
227  AC_DEFINE(HAVE_WORKING_STAT, 1, [Define if target has a reliable stat.])
228fi])
229
230dnl Checks for fpsetmask function.
231AC_DEFUN([LIBGFOR_CHECK_FPSETMASK], [
232  AC_CACHE_CHECK([whether fpsetmask is present], libgfor_cv_have_fpsetmask, [
233    AC_LINK_IFELSE([AC_LANG_PROGRAM([[
234#if HAVE_FLOATINGPOINT_H
235# include <floatingpoint.h>
236#endif /* HAVE_FLOATINGPOINT_H */
237#if HAVE_IEEEFP_H
238# include <ieeefp.h>
239#endif /* HAVE_IEEEFP_H */]],[[fpsetmask(0);]])],
240    eval "libgfor_cv_have_fpsetmask=yes", eval "libgfor_cv_have_fpsetmask=no")
241  ])
242  if test x"$libgfor_cv_have_fpsetmask" = xyes; then
243    have_fpsetmask=yes
244    AC_DEFINE(HAVE_FPSETMASK, 1, [Define if you have fpsetmask.])
245  fi
246])
247
248dnl Check whether we have a mingw that provides a __mingw_snprintf function
249AC_DEFUN([LIBGFOR_CHECK_MINGW_SNPRINTF], [
250  AC_CACHE_CHECK([whether __mingw_snprintf is present], libgfor_cv_have_mingw_snprintf, [
251    AC_LINK_IFELSE([AC_LANG_PROGRAM([[
252#include <stdio.h>
253extern int __mingw_snprintf (char *, size_t, const char *, ...);
254]],[[
255__mingw_snprintf (NULL, 0, "%d\n", 1);
256]])],
257    eval "libgfor_cv_have_mingw_snprintf=yes", eval "libgfor_cv_have_mingw_snprintf=no")
258  ])
259  if test x"$libgfor_cv_have_mingw_snprintf" = xyes; then
260    AC_DEFINE(HAVE_MINGW_SNPRINTF, 1, [Define if you have __mingw_snprintf.])
261  fi
262])
263
264dnl Check whether we have a __float128 type
265AC_DEFUN([LIBGFOR_CHECK_FLOAT128], [
266  LIBQUADSPEC=
267
268  if test "x$enable_libquadmath_support" != xno; then
269
270  AC_CACHE_CHECK([whether we have a usable __float128 type],
271                 libgfor_cv_have_float128, [
272   GCC_TRY_COMPILE_OR_LINK([
273    typedef _Complex float __attribute__((mode(TC))) __complex128;
274
275    __float128 foo (__float128 x)
276    {
277
278     __complex128 z1, z2;
279
280     z1 = x;
281     z2 = x / 7.Q;
282     z2 /= z1;
283
284     return (__float128) z2;
285    }
286
287    __float128 bar (__float128 x)
288    {
289      return x * __builtin_huge_valq ();
290    }
291  ],[
292    foo (1.2Q);
293    bar (1.2Q);
294  ],[
295    libgfor_cv_have_float128=yes
296  ],[
297    libgfor_cv_have_float128=no
298])])
299
300  if test "x$libgfor_cv_have_float128" = xyes; then
301    AC_DEFINE(HAVE_FLOAT128, 1, [Define if have a usable __float128 type.])
302
303    dnl Check whether -Wl,--as-needed resp. -Wl,-zignore is supported
304    dnl
305    dnl Turn warnings into error to avoid testsuite breakage.  So enable
306    dnl AC_LANG_WERROR, but there's currently (autoconf 2.64) no way to turn
307    dnl it off again.  As a workaround, save and restore werror flag like
308    dnl AC_PATH_XTRA.
309    dnl Cf. http://gcc.gnu.org/ml/gcc-patches/2010-05/msg01889.html
310    ac_xsave_[]_AC_LANG_ABBREV[]_werror_flag=$ac_[]_AC_LANG_ABBREV[]_werror_flag
311    AC_CACHE_CHECK([whether --as-needed/-z ignore works],
312      [libgfor_cv_have_as_needed],
313      [
314      # Test for native Solaris options first.
315      # No whitespace after -z to pass it through -Wl.
316      libgfor_cv_as_needed_option="-zignore"
317      libgfor_cv_no_as_needed_option="-zrecord"
318      save_LDFLAGS="$LDFLAGS"
319      LDFLAGS="$LDFLAGS -Wl,$libgfor_cv_as_needed_option -lm -Wl,$libgfor_cv_no_as_needed_option"
320      libgfor_cv_have_as_needed=no
321      AC_LANG_WERROR
322      AC_LINK_IFELSE([AC_LANG_PROGRAM([])],
323		     [libgfor_cv_have_as_needed=yes],
324		     [libgfor_cv_have_as_needed=no])
325      LDFLAGS="$save_LDFLAGS"
326      if test "x$libgfor_cv_have_as_needed" = xno; then
327	libgfor_cv_as_needed_option="--as-needed"
328	libgfor_cv_no_as_needed_option="--no-as-needed"
329	save_LDFLAGS="$LDFLAGS"
330	LDFLAGS="$LDFLAGS -Wl,$libgfor_cv_as_needed_option -lm -Wl,$libgfor_cv_no_as_needed_option"
331	libgfor_cv_have_as_needed=no
332	AC_LANG_WERROR
333	AC_LINK_IFELSE([AC_LANG_PROGRAM([])],
334		       [libgfor_cv_have_as_needed=yes],
335		       [libgfor_cv_have_as_needed=no])
336	LDFLAGS="$save_LDFLAGS"
337      fi
338      ac_[]_AC_LANG_ABBREV[]_werror_flag=$ac_xsave_[]_AC_LANG_ABBREV[]_werror_flag
339    ])
340
341    dnl For static libgfortran linkage, depend on libquadmath only if needed.
342    if test "x$libgfor_cv_have_as_needed" = xyes; then
343      LIBQUADSPEC="%{static-libgfortran:$libgfor_cv_as_needed_option} -lquadmath %{static-libgfortran:$libgfor_cv_no_as_needed_option}"
344    else
345      LIBQUADSPEC="-lquadmath"
346    fi
347    if test -f ../libquadmath/libquadmath.la; then
348      LIBQUADLIB=../libquadmath/libquadmath.la
349      LIBQUADLIB_DEP=../libquadmath/libquadmath.la
350      LIBQUADINCLUDE='-I$(srcdir)/../libquadmath'
351    else
352      LIBQUADLIB="-lquadmath"
353      LIBQUADLIB_DEP=
354      LIBQUADINCLUDE=
355    fi
356  fi
357  else
358    # for --disable-quadmath
359    LIBQUADLIB=
360    LIBQUADLIB_DEP=
361    LIBQUADINCLUDE=
362  fi
363
364  dnl For the spec file
365  AC_SUBST(LIBQUADSPEC)
366  AC_SUBST(LIBQUADLIB)
367  AC_SUBST(LIBQUADLIB_DEP)
368  AC_SUBST(LIBQUADINCLUDE)
369
370  dnl We need a conditional for the Makefile
371  AM_CONDITIONAL(LIBGFOR_BUILD_QUAD, [test "x$libgfor_cv_have_float128" = xyes])
372])
373
374
375dnl Check whether we have strerror_r
376AC_DEFUN([LIBGFOR_CHECK_STRERROR_R], [
377  dnl Check for three-argument POSIX version of strerror_r
378  ac_save_CFLAGS="$CFLAGS"
379  CFLAGS="-Wimplicit-function-declaration -Werror"
380  AC_TRY_COMPILE([#define _GNU_SOURCE 1
381	     	  #include <string.h>
382		  #include <locale.h>],
383		  [char s[128]; strerror_r(5, s, 128);],
384		  AC_DEFINE(HAVE_STRERROR_R, 1,
385		  [Define if strerror_r is available in <string.h>.]),)
386  CFLAGS="$ac_save_CFLAGS"
387
388  dnl Check for two-argument version of strerror_r (e.g. for VxWorks)
389  ac_save_CFLAGS="$CFLAGS"
390  CFLAGS="-Wimplicit-function-declaration -Werror"
391  AC_TRY_COMPILE([#define _GNU_SOURCE 1
392	     	  #include <string.h>
393		  #include <locale.h>],
394		  [char s[128]; strerror_r(5, s);],
395		  AC_DEFINE(HAVE_STRERROR_R_2ARGS, 1,
396		  [Define if strerror_r takes two arguments and is available in <string.h>.]),)
397  CFLAGS="$ac_save_CFLAGS"
398])
399
400dnl Check for AVX
401
402AC_DEFUN([LIBGFOR_CHECK_AVX], [
403  ac_save_CFLAGS="$CFLAGS"
404  CFLAGS="-O2 -mavx"
405  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
406  void _mm256_zeroall (void)
407        {
408           __builtin_ia32_vzeroall ();
409        }]], [[]])],
410	AC_DEFINE(HAVE_AVX, 1,
411	[Define if AVX instructions can be compiled.]),
412	[])
413  CFLAGS="$ac_save_CFLAGS"
414])
415
416dnl Check for AVX2
417
418AC_DEFUN([LIBGFOR_CHECK_AVX2], [
419  ac_save_CFLAGS="$CFLAGS"
420  CFLAGS="-O2 -mavx2"
421  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
422  typedef long long __v4di __attribute__ ((__vector_size__ (32)));
423	__v4di
424	mm256_is32_andnotsi256  (__v4di __X, __v4di __Y)
425        {
426	   return __builtin_ia32_andnotsi256 (__X, __Y);
427        }]], [[]])],
428	AC_DEFINE(HAVE_AVX2, 1,
429	[Define if AVX2 instructions can be compiled.]),
430	[])
431  CFLAGS="$ac_save_CFLAGS"
432])
433
434dnl Check for AVX512f
435
436AC_DEFUN([LIBGFOR_CHECK_AVX512F], [
437  ac_save_CFLAGS="$CFLAGS"
438  CFLAGS="-O2 -mavx512f"
439  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
440	typedef double __m512d __attribute__ ((__vector_size__ (64)));
441	__m512d _mm512_add (__m512d a)
442	{
443	  __m512d b = __builtin_ia32_addpd512_mask (a, a, a, 1, 4);
444	  /* For -m64/-mx32 also verify that code will work even if
445	     the target uses call saved zmm16+ and needs to emit
446	     unwind info for them (e.g. on mingw).  See PR79127.  */
447#ifdef __x86_64__
448	  asm volatile ("" : : : "zmm16", "zmm17", "zmm18", "zmm19");
449#endif
450	  return b;
451        }]], [[]])],
452	AC_DEFINE(HAVE_AVX512F, 1,
453	[Define if AVX512f instructions can be compiled.]),
454	[])
455  CFLAGS="$ac_save_CFLAGS"
456])
457
458dnl Check for FMA3
459dnl
460AC_DEFUN([LIBGFOR_CHECK_FMA3], [
461  ac_save_CFLAGS="$CFLAGS"
462  CFLAGS="-O2 -mfma -mno-fma4"
463  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
464        typedef float __m128 __attribute__ ((__vector_size__ (16)));
465	typedef float __v4sf __attribute__ ((__vector_size__ (16)));
466	__m128 _mm_macc_ps(__m128 __A, __m128 __B, __m128 __C)
467	{
468	    return (__m128) __builtin_ia32_vfmaddps ((__v4sf)__A,
469						     (__v4sf)__B,
470						     (__v4sf)__C);
471        }]], [[]])],
472	AC_DEFINE(HAVE_FMA3, 1,
473	[Define if FMA3 instructions can be compiled.]),
474	[])
475  CFLAGS="$ac_save_CFLAGS"
476])
477
478dnl Check for FMA4
479dnl
480AC_DEFUN([LIBGFOR_CHECK_FMA4], [
481  ac_save_CFLAGS="$CFLAGS"
482  CFLAGS="-O2 -mfma4 -mno-fma"
483  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
484        typedef float __m128 __attribute__ ((__vector_size__ (16)));
485	typedef float __v4sf __attribute__ ((__vector_size__ (16)));
486	__m128 _mm_macc_ps(__m128 __A, __m128 __B, __m128 __C)
487	{
488	    return (__m128) __builtin_ia32_vfmaddps ((__v4sf)__A,
489						     (__v4sf)__B,
490						     (__v4sf)__C);
491        }]], [[]])],
492	AC_DEFINE(HAVE_FMA4, 1,
493	[Define if FMA4 instructions can be compiled.]),
494	[])
495  CFLAGS="$ac_save_CFLAGS"
496])
497
498dnl Check for -mprefer-avx128
499dnl This also defines an automake conditional.
500AC_DEFUN([LIBGFOR_CHECK_AVX128], [
501  ac_save_CFLAGS="$CFLAGS"
502  CFLAGS="-O2 -mavx -mprefer-avx128"
503  AC_COMPILE_IFELSE([AC_LANG_PROGRAM([[
504        void foo()
505	{
506        }]], [[]])],
507	AC_DEFINE(HAVE_AVX128, 1,
508	[Define if -mprefer-avx128 is supported.])
509	AM_CONDITIONAL([HAVE_AVX128],true),
510	[AM_CONDITIONAL([HAVE_AVX128],false)])
511  CFLAGS="$ac_save_CFLAGS"
512])
513