dnl  GMP specific autoconf macros

dnl  Copyright 2000-2006, 2009, 2011, 2013-2015 Free Software Foundation, Inc.

dnl

dnl  This file is part of the GNU MP Library.

dnl

dnl  The GNU MP Library is free software; you can redistribute it and/or modify

dnl  it under the terms of either:

dnl

dnl    * the GNU Lesser General Public License as published by the Free

dnl      Software Foundation; either version 3 of the License, or (at your

dnl      option) any later version.

dnl

dnl  or

dnl

dnl    * the GNU General Public License as published by the Free Software

dnl      Foundation; either version 2 of the License, or (at your option) any

dnl      later version.

dnl

dnl  or both in parallel, as here.

dnl

dnl  The GNU MP Library is distributed in the hope that it will be useful, but

dnl  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY

dnl  or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

dnl  for more details.

dnl

dnl  You should have received copies of the GNU General Public License and the

dnl  GNU Lesser General Public License along with the GNU MP Library.  If not,

dnl  see https://www.gnu.org/licenses/.

dnl  Some tests use, or must delete, the default compiler output.  The

dnl  possible filenames are based on what autoconf looks for, namely

dnl

dnl    a.out - normal unix style

dnl    b.out - i960 systems, including gcc there

dnl    a.exe - djgpp

dnl    a_out.exe - OpenVMS DEC C called via GNV wrapper (gnv.sourceforge.net)

dnl    conftest.exe - various DOS compilers

define(IA64_PATTERN,

[[ia64*-*-* | itanium-*-* | itanium2-*-*]])

dnl  Need to be careful not to match m6811, m6812, m68hc11 and m68hc12, all

dnl  of which config.sub accepts.  (Though none of which are likely to work

dnl  with GMP.)

dnl

define(M68K_PATTERN,

[[m68k-*-* | m68[0-9][0-9][0-9]-*-*]])

define(POWERPC64_PATTERN,

[[powerpc64-*-* | powerpc64le-*-* | powerpc620-*-* | powerpc630-*-* | powerpc970-*-* | power[3-9]-*-*]])

define(S390_PATTERN,

[[s390-*-* | z900esa-*-* | z990esa-*-* | z9esa-*-* | z10esa-*-* | z196esa-*-*]])

define(S390X_PATTERN,

[[s390x-*-* | z900-*-* | z990-*-* | z9-*-* | z10-*-* | z196-*-*]])

define(X86_PATTERN,

[[i?86*-*-* | k[5-8]*-*-* | pentium*-*-* | athlon-*-* | viac3*-*-* | geode*-*-* | atom-*-*]])

define(X86_64_PATTERN,

[[athlon64-*-* | k8-*-* | k10-*-* | bobcat-*-* | jaguar*-*-* | bulldozer*-*-* | piledriver*-*-* | steamroller*-*-* | excavator*-*-* | pentium4-*-* | atom-*-* | silvermont-*-* | goldmont-*-* | core2-*-* | corei*-*-* | x86_64-*-* | nano-*-* | nehalem*-*-* | westmere*-*-* | sandybridge*-*-* | ivybridge*-*-* | haswell*-*-* | broadwell*-*-* | skylake*-*-* | kabylake*-*-*]])

dnl  GMP_FAT_SUFFIX(DSTVAR, DIRECTORY)

dnl  ---------------------------------

dnl  Emit code to set shell variable DSTVAR to the suffix for a fat binary

dnl  routine from DIRECTORY.  DIRECTORY can be a shell expression like $foo

dnl  etc.

dnl

dnl  The suffix is directory separators / or \ changed to underscores, and

dnl  if there's more than one directory part, then the first is dropped.

dnl

dnl  For instance,

dnl

dnl      x86         ->  x86

dnl      x86/k6      ->  k6

dnl      x86/k6/mmx  ->  k6_mmx

define(GMP_FAT_SUFFIX,

[[$1=`echo $2 | sed -e '/\//s:^[^/]*/::' -e 's:[\\/]:_:g'`]])

dnl  GMP_REMOVE_FROM_LIST(listvar,item)

dnl  ----------------------------------

dnl  Emit code to remove any occurrence of ITEM from $LISTVAR.  ITEM can be a

dnl  shell expression like $foo if desired.

define(GMP_REMOVE_FROM_LIST,

[remove_from_list_tmp=

for remove_from_list_i in $[][$1]; do

  if test $remove_from_list_i = [$2]; then :;

  else

     remove_from_list_tmp="$remove_from_list_tmp $remove_from_list_i"

  fi

done

[$1]=$remove_from_list_tmp

])

dnl  GMP_STRIP_PATH(subdir)

dnl  ----------------------

dnl  Strip entries */subdir from $path and $fat_path.

define(GMP_STRIP_PATH,

[GMP_STRIP_PATH_VAR(path, [$1])

GMP_STRIP_PATH_VAR(fat_path, [$1])

])

define(GMP_STRIP_PATH_VAR,

[tmp_path=

for i in $[][$1]; do

  case $i in

    */[$2]) ;;

    *) tmp_path="$tmp_path $i" ;;

  esac

done

[$1]="$tmp_path"

])

dnl  GMP_INCLUDE_GMP_H

dnl  -----------------

dnl  Expand to the right way to #include gmp-h.in.  This must be used

dnl  instead of gmp.h, since that file isn't generated until the end of the

dnl  configure.

dnl

dnl  Dummy value for GMP_LIMB_BITS is enough

dnl  for all current configure-time uses of gmp.h.

define(GMP_INCLUDE_GMP_H,

[[#define __GMP_WITHIN_CONFIGURE 1   /* ignore template stuff */

#define GMP_NAIL_BITS $GMP_NAIL_BITS

#define GMP_LIMB_BITS 123

$DEFN_LONG_LONG_LIMB

#include "$srcdir/gmp-h.in"]

])

dnl  GMP_HEADER_GETVAL(NAME,FILE)

dnl  ----------------------------

dnl  Expand at autoconf time to the value of a "#define NAME" from the given

dnl  FILE.  The regexps here aren't very rugged, but are enough for gmp.

dnl  /dev/null as a parameter prevents a hang if $2 is accidentally omitted.

define(GMP_HEADER_GETVAL,

[patsubst(patsubst(

esyscmd([grep "^#define $1 " $2 /dev/null 2>/dev/null]),

[^.*$1[ 	]+],[]),

[[

 	]*$],[])])

dnl  GMP_VERSION

dnl  -----------

dnl  The gmp version number, extracted from the #defines in gmp-h.in at

dnl  autoconf time.  Two digits like 3.0 if patchlevel <= 0, or three digits

dnl  like 3.0.1 if patchlevel > 0.

define(GMP_VERSION,

[GMP_HEADER_GETVAL(__GNU_MP_VERSION,gmp-h.in)[]dnl

.GMP_HEADER_GETVAL(__GNU_MP_VERSION_MINOR,gmp-h.in)[]dnl

.GMP_HEADER_GETVAL(__GNU_MP_VERSION_PATCHLEVEL,gmp-h.in)])

dnl  GMP_SUBST_CHECK_FUNCS(func,...)

dnl  ------------------------------

dnl  Setup an AC_SUBST of HAVE_FUNC_01 for each argument.

AC_DEFUN([GMP_SUBST_CHECK_FUNCS],

[m4_if([$1],,,

[_GMP_SUBST_CHECK_FUNCS(ac_cv_func_[$1],HAVE_[]m4_translit([$1],[a-z],[A-Z])_01)

GMP_SUBST_CHECK_FUNCS(m4_shift($@))])])

dnl  Called: _GMP_SUBST_CHECK_FUNCS(cachevar,substvar)

AC_DEFUN([_GMP_SUBST_CHECK_FUNCS],

[case $[$1] in

yes) AC_SUBST([$2],1) ;;

no)  [$2]=0 ;;

esac

])

dnl  GMP_SUBST_CHECK_HEADERS(foo.h,...)

dnl  ----------------------------------

dnl  Setup an AC_SUBST of HAVE_FOO_H_01 for each argument.

AC_DEFUN([GMP_SUBST_CHECK_HEADERS],

[m4_if([$1],,,

[_GMP_SUBST_CHECK_HEADERS(ac_cv_header_[]m4_translit([$1],[./],[__]),

HAVE_[]m4_translit([$1],[a-z./],[A-Z__])_01)

GMP_SUBST_CHECK_HEADERS(m4_shift($@))])])

dnl  Called: _GMP_SUBST_CHECK_HEADERS(cachevar,substvar)

AC_DEFUN([_GMP_SUBST_CHECK_HEADERS],

[case $[$1] in

yes) AC_SUBST([$2],1) ;;

no)  [$2]=0 ;;

esac

])

dnl  GMP_COMPARE_GE(A1,B1, A2,B2, ...)

dnl  ---------------------------------

dnl  Compare two version numbers A1.A2.etc and B1.B2.etc.  Set

dnl  $gmp_compare_ge to yes or no according to the result.  The A parts

dnl  should be variables, the B parts fixed numbers.  As many parts as

dnl  desired can be included.  An empty string in an A part is taken to be

dnl  zero, the B parts should be non-empty and non-zero.

dnl

dnl  For example,

dnl

dnl      GMP_COMPARE($major,10, $minor,3, $subminor,1)

dnl

dnl  would test whether $major.$minor.$subminor is greater than or equal to

dnl  10.3.1.

AC_DEFUN([GMP_COMPARE_GE],

[gmp_compare_ge=no

GMP_COMPARE_GE_INTERNAL($@)

])

AC_DEFUN([GMP_COMPARE_GE_INTERNAL],

[ifelse(len([$3]),0,

[if test -n "$1" && test "$1" -ge $2; then

  gmp_compare_ge=yes

fi],

[if test -n "$1"; then

  if test "$1" -gt $2; then

    gmp_compare_ge=yes

  else

    if test "$1" -eq $2; then

      GMP_COMPARE_GE_INTERNAL(m4_shift(m4_shift($@)))

    fi

  fi

fi])

])

dnl  GMP_PROG_AR

dnl  -----------

dnl  GMP additions to $AR.

dnl

dnl  A cross-"ar" may be necessary when cross-compiling since the build

dnl  system "ar" might try to interpret the object files to build a symbol

dnl  table index, hence the use of AC_CHECK_TOOL.

dnl

dnl  A user-selected $AR is always left unchanged.  AC_CHECK_TOOL is still

dnl  run to get the "checking" message printed though.

dnl

dnl  If extra flags are added to AR, then ac_cv_prog_AR and

dnl  ac_cv_prog_ac_ct_AR are set too, since libtool (cvs 2003-03-31 at

dnl  least) will do an AC_CHECK_TOOL and that will AR from one of those two

dnl  cached variables.  (ac_cv_prog_AR is used if there's an ac_tool_prefix,

dnl  or ac_cv_prog_ac_ct_AR is used otherwise.)  FIXME: This is highly

dnl  dependent on autoconf internals, perhaps it'd work to put our extra

dnl  flags into AR_FLAGS instead.

dnl

dnl  $AR_FLAGS is set to "cq" rather than leaving it to libtool "cru".  The

dnl  latter fails when libtool goes into piecewise mode and is unlucky

dnl  enough to have two same-named objects in separate pieces, as happens

dnl  for instance to random.o (and others) on vax-dec-ultrix4.5.  Naturally

dnl  a user-selected $AR_FLAGS is left unchanged.

dnl

dnl  For reference, $ARFLAGS is used by automake (1.8) for its ".a" archive

dnl  file rules.  This doesn't get used by the piecewise linking, so we

dnl  leave it at the default "cru".

dnl

dnl  FIXME: Libtool 1.5.2 has its own arrangements for "cq", but that version

dnl  is broken in other ways.  When we can upgrade, remove the forcible

dnl  AR_FLAGS=cq.

AC_DEFUN([GMP_PROG_AR],

[dnl  Want to establish $AR before libtool initialization.

AC_BEFORE([$0],[AC_PROG_LIBTOOL])

gmp_user_AR=$AR

AC_CHECK_TOOL(AR, ar, ar)

if test -z "$gmp_user_AR"; then

                        eval arflags=\"\$ar${abi1}_flags\"

  test -n "$arflags" || eval arflags=\"\$ar${abi2}_flags\"

  if test -n "$arflags"; then

    AC_MSG_CHECKING([for extra ar flags])

    AR="$AR $arflags"

    ac_cv_prog_AR="$AR $arflags"

    ac_cv_prog_ac_ct_AR="$AR $arflags"

    AC_MSG_RESULT([$arflags])

  fi

fi

if test -z "$AR_FLAGS"; then

  AR_FLAGS=cq

fi

])

dnl  GMP_PROG_M4

dnl  -----------

dnl  Find a working m4, either in $PATH or likely locations, and setup $M4

dnl  and an AC_SUBST accordingly.  If $M4 is already set then it's a user

dnl  choice and is accepted with no checks.  GMP_PROG_M4 is like

dnl  AC_PATH_PROG or AC_CHECK_PROG, but tests each m4 found to see if it's

dnl  good enough.

dnl

dnl  See mpn/asm-defs.m4 for details on the known bad m4s.

AC_DEFUN([GMP_PROG_M4],

[AC_ARG_VAR(M4,[m4 macro processor])

AC_CACHE_CHECK([for suitable m4],

                gmp_cv_prog_m4,

[if test -n "$M4"; then

  gmp_cv_prog_m4="$M4"

else

  cat >conftest.m4 <<\EOF

dnl  Must protect this against being expanded during autoconf m4!

dnl  Dont put "dnl"s in this as autoconf will flag an error for unexpanded

dnl  macros.

[define(dollarhash,``$][#'')ifelse(dollarhash(x),1,`define(t1,Y)',

``bad: $][# not supported (SunOS /usr/bin/m4)

'')ifelse(eval(89),89,`define(t2,Y)',

`bad: eval() doesnt support 8 or 9 in a constant (OpenBSD 2.6 m4)

')ifelse(eval(9,9),10,`define(t3,Y)',

`bad: eval() doesnt support radix in eval (FreeBSD 8.x,9.0,9.1,9.2 m4)

')ifelse(t1`'t2`'t3,YYY,`good

')]

EOF

dnl ' <- balance the quotes for emacs sh-mode

  echo "trying m4" >&AC_FD_CC

  gmp_tmp_val=`(m4 conftest.m4) 2>&AC_FD_CC`

  echo "$gmp_tmp_val" >&AC_FD_CC

  if test "$gmp_tmp_val" = good; then

    gmp_cv_prog_m4="m4"

  else

    IFS="${IFS= 	}"; ac_save_ifs="$IFS"; IFS=":"

dnl $ac_dummy forces splitting on constant user-supplied paths.

dnl POSIX.2 word splitting is done only on the output of word expansions,

dnl not every word.  This closes a longstanding sh security hole.

    ac_dummy="$PATH:/usr/5bin"

    for ac_dir in $ac_dummy; do

      test -z "$ac_dir" && ac_dir=.

      echo "trying $ac_dir/m4" >&AC_FD_CC

      gmp_tmp_val=`($ac_dir/m4 conftest.m4) 2>&AC_FD_CC`

      echo "$gmp_tmp_val" >&AC_FD_CC

      if test "$gmp_tmp_val" = good; then

        gmp_cv_prog_m4="$ac_dir/m4"

        break

      fi

    done

    IFS="$ac_save_ifs"

    if test -z "$gmp_cv_prog_m4"; then

      AC_MSG_ERROR([No usable m4 in \$PATH or /usr/5bin (see config.log for reasons).])

    fi

  fi

  rm -f conftest.m4

fi])

M4="$gmp_cv_prog_m4"

AC_SUBST(M4)

])

dnl  GMP_M4_M4WRAP_SPURIOUS

dnl  ----------------------

dnl  Check for spurious output from m4wrap(), as described in mpn/asm-defs.m4.

dnl

dnl  The following systems have been seen with the problem.

dnl

dnl  - Unicos alpha, but its assembler doesn't seem to mind.

dnl  - MacOS X Darwin, its assembler fails.

dnl  - NetBSD 1.4.1 m68k, and gas 1.92.3 there gives a warning and ignores

dnl    the bad last line since it doesn't have a newline.

dnl  - NetBSD 1.4.2 alpha, but its assembler doesn't seem to mind.

dnl  - HP-UX ia64.

dnl

dnl  Enhancement: Maybe this could be in GMP_PROG_M4, and attempt to prefer

dnl  an m4 with a working m4wrap, if it can be found.

AC_DEFUN([GMP_M4_M4WRAP_SPURIOUS],

[AC_REQUIRE([GMP_PROG_M4])

AC_CACHE_CHECK([if m4wrap produces spurious output],

               gmp_cv_m4_m4wrap_spurious,

[# hide the d-n-l from autoconf's error checking

tmp_d_n_l=d""nl

cat >conftest.m4 <

[changequote({,})define(x,)m4wrap({x})$tmp_d_n_l]

EOF

echo test input is >&AC_FD_CC

cat conftest.m4 >&AC_FD_CC

tmp_chars=`$M4 conftest.m4 | wc -c`

echo produces $tmp_chars chars output >&AC_FD_CC

rm -f conftest.m4

if test $tmp_chars = 0; then

  gmp_cv_m4_m4wrap_spurious=no

else

  gmp_cv_m4_m4wrap_spurious=yes

fi

])

GMP_DEFINE_RAW(["define(<M4WRAP_SPURIOUS>,<$gmp_cv_m4_m4wrap_spurious>)"])

])

dnl  GMP_PROG_NM

dnl  -----------

dnl  GMP additions to libtool AC_PROG_NM.

dnl

dnl  Note that if AC_PROG_NM can't find a working nm it still leaves

dnl  $NM set to "nm", so $NM can't be assumed to actually work.

dnl

dnl  A user-selected $NM is always left unchanged.  AC_PROG_NM is still run

dnl  to get the "checking" message printed though.

dnl

dnl  Perhaps it'd be worthwhile checking that nm works, by running it on an

dnl  actual object file.  For instance on sparcv9 solaris old versions of

dnl  GNU nm don't recognise 64-bit objects.  Checking would give a better

dnl  error message than just a failure in later tests like GMP_ASM_W32 etc.

dnl

dnl  On the other hand it's not really normal autoconf practice to take too

dnl  much trouble over detecting a broken set of tools.  And libtool doesn't

dnl  do anything at all for say ranlib or strip.  So for now we're inclined

dnl  to just demand that the user provides a coherent environment.

AC_DEFUN([GMP_PROG_NM],

[dnl  Make sure we're the first to call AC_PROG_NM, so our extra flags are

dnl   used by everyone.

AC_BEFORE([$0],[AC_PROG_NM])

gmp_user_NM=$NM

AC_PROG_NM

# FIXME: When cross compiling (ie. $ac_tool_prefix not empty), libtool

# defaults to plain "nm" if a "${ac_tool_prefix}nm" is not found.  In this

# case run it again to try the native "nm", firstly so that likely locations

# are searched, secondly so that -B or -p are added if necessary for BSD

# format.  This is necessary for instance on OSF with "./configure

# --build=alphaev5-dec-osf --host=alphaev6-dec-osf".

#

if test -z "$gmp_user_NM" && test -n "$ac_tool_prefix" && test "$NM" = nm; then

  $as_unset lt_cv_path_NM

  gmp_save_ac_tool_prefix=$ac_tool_prefix

  ac_tool_prefix=

  NM=

  AC_PROG_NM

  ac_tool_prefix=$gmp_save_ac_tool_prefix

fi

if test -z "$gmp_user_NM"; then

                        eval nmflags=\"\$nm${abi1}_flags\"

  test -n "$nmflags" || eval nmflags=\"\$nm${abi2}_flags\"

  if test -n "$nmflags"; then

    AC_MSG_CHECKING([for extra nm flags])

    NM="$NM $nmflags"

    AC_MSG_RESULT([$nmflags])

  fi

fi

])

dnl  GMP_PROG_CC_WORKS(cc+cflags,[ACTION-IF-WORKS][,ACTION-IF-NOT-WORKS])

dnl  --------------------------------------------------------------------

dnl  Check if cc+cflags can compile and link.

dnl

dnl  This test is designed to be run repeatedly with different cc+cflags

dnl  selections, so the result is not cached.

dnl

dnl  For a native build, meaning $cross_compiling == no, we require that the

dnl  generated program will run.  This is the same as AC_PROG_CC does in

dnl  _AC_COMPILER_EXEEXT_WORKS, and checking here will ensure we don't pass

dnl  a CC/CFLAGS combination that it rejects.

dnl

dnl  sparc-*-solaris2.7 can compile ABI=64 but won't run it if the kernel

dnl  was booted in 32-bit mode.  The effect of requiring the compiler output

dnl  will run is that a plain native "./configure" falls back on ABI=32, but

dnl  ABI=64 is still available as a cross-compile.

dnl

dnl  The various specific problems we try to detect are done in separate

dnl  compiles.  Although this is probably a bit slower than one test

dnl  program, it makes it easy to indicate the problem in AC_MSG_RESULT,

dnl  hence giving the user a clue about why we rejected the compiler.

AC_DEFUN([GMP_PROG_CC_WORKS],

[AC_MSG_CHECKING([compiler $1])

gmp_prog_cc_works=yes

# first see a simple "main()" works, then go on to other checks

GMP_PROG_CC_WORKS_PART([$1], [])

GMP_PROG_CC_WORKS_PART([$1], [function pointer return],

[/* The following provokes an internal error from gcc 2.95.2 -mpowerpc64

   (without -maix64), hence detecting an unusable compiler */

void *g() { return (void *) 0; }

void *f() { return g(); }

])

GMP_PROG_CC_WORKS_PART([$1], [cmov instruction],

[/* The following provokes an invalid instruction syntax from i386 gcc

   -march=pentiumpro on Solaris 2.8.  The native sun assembler

   requires a non-standard syntax for cmov which gcc (as of 2.95.2 at

   least) doesn't know.  */

int n;

int cmov () { return (n >= 0 ? n : 0); }

])

GMP_PROG_CC_WORKS_PART([$1], [double -> ulong conversion],

[/* The following provokes a linker invocation problem with gcc 3.0.3

   on AIX 4.3 under "-maix64 -mpowerpc64 -mcpu=630".  The -mcpu=630

   option causes gcc to incorrectly select the 32-bit libgcc.a, not

   the 64-bit one, and consequently it misses out on the __fixunsdfdi

   helper (double -> uint64 conversion).  */

double d;

unsigned long gcc303 () { return (unsigned long) d; }

])

GMP_PROG_CC_WORKS_PART([$1], [double negation],

[/* The following provokes an error from hppa gcc 2.95 under -mpa-risc-2-0 if

   the assembler doesn't know hppa 2.0 instructions.  fneg is a 2.0

   instruction, and a negation like this comes out using it.  */

double fneg_data;

unsigned long fneg () { return -fneg_data; }

])

GMP_PROG_CC_WORKS_PART([$1], [double -> float conversion],

[/* The following makes gcc 3.3 -march=pentium4 generate an SSE2 xmm insn

   (cvtsd2ss) which will provoke an error if the assembler doesn't recognise

   those instructions.  Not sure how much of the gmp code will come out

   wanting sse2, but it's easiest to reject an option we know is bad.  */

double ftod_data;

float ftod () { return (float) ftod_data; }

])

GMP_PROG_CC_WORKS_PART([$1], [gnupro alpha ev6 char spilling],

[/* The following provokes an internal compiler error from gcc version

   "2.9-gnupro-99r1" under "-O2 -mcpu=ev6", apparently relating to char

   values being spilled into floating point registers.  The problem doesn't

   show up all the time, but has occurred enough in GMP for us to reject

   this compiler+flags.  */

#include <string.h>  /* for memcpy */

struct try_t

{

 char dst[2];

 char size;

 long d0, d1, d2, d3, d4, d5, d6;

 char overlap;

};

struct try_t param[6];

int

param_init ()

{

 struct try_t *p;

 memcpy (p, &param[ 2 ], sizeof (*p));

 memcpy (p, &param[ 2 ], sizeof (*p));

 p->size = 2;

 memcpy (p, &param[ 1 ], sizeof (*p));

 p->dst[0] = 1;

 p->overlap = 2;

 memcpy (p, &param[ 3 ], sizeof (*p));

 p->dst[0] = 1;

 p->overlap = 8;

 memcpy (p, &param[ 4 ], sizeof (*p));

 memcpy (p, &param[ 4 ], sizeof (*p));

 p->overlap = 8;

 memcpy (p, &param[ 5 ], sizeof (*p));

 memcpy (p, &param[ 5 ], sizeof (*p));

 memcpy (p, &param[ 5 ], sizeof (*p));

 return 0;

}

])

# __builtin_alloca is not available everywhere, check it exists before

# seeing that it works

GMP_PROG_CC_WORKS_PART_TEST([$1],[__builtin_alloca availability],

[int k; int foo () { __builtin_alloca (k); }],

  [GMP_PROG_CC_WORKS_PART([$1], [alloca array],

[/* The following provokes an internal compiler error from Itanium HP-UX cc

    under +O2 or higher.  We use this sort of code in mpn/generic/mul_fft.c. */

int k;

int foo ()

{

  int i, **a;

  a = __builtin_alloca (k);

  for (i = 0; i <= k; i++)

    a[i] = __builtin_alloca (1 << i);

}

])])

GMP_PROG_CC_WORKS_PART([$1], [abs int -> double conversion],

[/* The following provokes an internal error from the assembler on

   power2-ibm-aix4.3.1.0.  gcc -mrios2 compiles to nabs+fcirz, and this

   results in "Internal error related to the source program domain".

   For reference it seems to be the combination of nabs+fcirz which is bad,

   not either alone.  This sort of thing occurs in mpz/get_str.c with the

   way double chars_per_bit_exactly is applied in MPN_SIZEINBASE.  Perhaps

   if that code changes to a scaled-integer style then we won't need this

   test.  */

double fp[1];

int x;

int f ()

{

  int a;

  a = (x >= 0 ? x : -x);

  return a * fp[0];

}

])

GMP_PROG_CC_WORKS_PART([$1], [long long reliability test 1],

[/* The following provokes a segfault in the compiler on powerpc-apple-darwin.

   Extracted from tests/mpn/t-iord_u.c.  Causes Apple's gcc 3.3 build 1640 and

   1666 to segfault with e.g., -O2 -mpowerpc64.  */

#if defined (__GNUC__) && ! defined (__cplusplus)

typedef unsigned long long t1;typedef t1*t2;

void g(){}

void h(){}

static __inline__ t1 e(t2 rp,t2 up,int n,t1 v0)

{t1 c,x,r;int i;if(v0){c=1;for(i=1;i

void f(){static const struct{t1 n;t1 src[9];t1 want[9];}d[]={{1,{0},{1}},};t1 got[9];int i;

for(i=0;i<1;i++){if(e(got,got,9,d[i].n)==0)h();g(i,d[i].src,d[i].n,got,d[i].want,9);if(d[i].n)h();}}

#else

int dummy;

#endif

])

GMP_PROG_CC_WORKS_PART([$1], [long long reliability test 2],

[/* The following provokes an internal compiler error on powerpc-apple-darwin.

   Extracted from mpz/cfdiv_q_2exp.c.  Causes Apple's gcc 3.3 build 1640 and

   1666 to get an ICE with -O1 -mpowerpc64.  */

#if defined (__GNUC__) && ! defined (__cplusplus)

int g();

void f(int u){int i;long long x;x=u?~0:0;if(x)for(i=0;i<9;i++);x&=g();if(x)g();}

int g(){return 0;}

#else

int dummy;

#endif

])

GMP_PROG_CC_WORKS_PART([$1], [freebsd hacked gcc],

[/* Provokes an ICE on i386-freebsd with the FreeBSD-hacked gcc, under

   -O2 -march=amdfam10.  We call helper functions here "open" and "close" in

   order for linking to succeed.  */

#if defined (__GNUC__) && ! defined (__cplusplus)

int open(int*,int*,int);void*close(int);void g(int*rp,int*up,int un){

__builtin_expect(un<=0x7f00,1)?__builtin_alloca(un):close(un);if(__builtin_clzl

(up[un])){open(rp,up,un);while(1){if(rp[un-1]!=0)break;un--;}}}

#else

int dummy;

#endif

])

GMP_PROG_CC_WORKS_PART_MAIN([$1], [mpn_lshift_com optimization],

[/* The following is mis-compiled by HP ia-64 cc version

        cc: HP aC++/ANSI C B3910B A.05.55 [Dec 04 2003]

   under "cc +O3", both in +DD32 and +DD64 modes.  The mpn_lshift_com gets

   inlined and its return value somehow botched to be 0 instead of 1.  This

   arises in the real mpn_lshift_com in mul_fft.c.  A lower optimization

   level, like +O2 seems ok.  This code needs to be run to show the problem,

   but that's fine, the offending cc is a native-only compiler so we don't

   have to worry about cross compiling.  */

#if ! defined (__cplusplus)

unsigned long

lshift_com (rp, up, n, cnt)

  unsigned long *rp;

  unsigned long *up;

  long n;

  unsigned cnt;

{

  unsigned long retval, high_limb, low_limb;

  unsigned tnc;

  long i;

  tnc = 8 * sizeof (unsigned long) - cnt;

  low_limb = *up++;

  retval = low_limb >> tnc;

  high_limb = low_limb << cnt;

  for (i = n - 1; i != 0; i--)

    {

      low_limb = *up++;

      *rp++ = ~(high_limb | (low_limb >> tnc));

      high_limb = low_limb << cnt;

    }

  return retval;

}

int

main ()

{

  unsigned long cy, rp[2], up[2];

  up[0] = ~ 0L;

  up[1] = 0;

  cy = lshift_com (rp, up, 2L, 1);

  if (cy != 1L)

    return 1;

  return 0;

}

#else

int

main ()

{

  return 0;

}

#endif

])

GMP_PROG_CC_WORKS_PART_MAIN([$1], [mpn_lshift_com optimization 2],

[/* The following is mis-compiled by Intel ia-64 icc version 1.8 under

    "icc -O3",  After several calls, the function writes partial garbage to

    the result vector.  Perhaps relates to the chk.a.nc insn.  This code needs

    to be run to show the problem, but that's fine, the offending cc is a

    native-only compiler so we don't have to worry about cross compiling.  */

#if ! defined (__cplusplus)

#include <stdlib.h>

void

lshift_com (rp, up, n, cnt)

  unsigned long *rp;

  unsigned long *up;

  long n;

  unsigned cnt;

{

  unsigned long high_limb, low_limb;

  unsigned tnc;

  long i;

  up += n;

  rp += n;

  tnc = 8 * sizeof (unsigned long) - cnt;

  low_limb = *--up;

  high_limb = low_limb << cnt;

  for (i = n - 1; i != 0; i--)

    {

      low_limb = *--up;

      *--rp = ~(high_limb | (low_limb >> tnc));

      high_limb = low_limb << cnt;

    }

  *--rp = ~high_limb;

}

int

main ()

{

  unsigned long *r, *r2;

  unsigned long a[88 + 1];

  long i;

  for (i = 0; i < 88 + 1; i++)

    a[i] = ~0L;

  r = malloc (10000 * sizeof (unsigned long));

  r2 = r;

  for (i = 0; i < 528; i += 23)

    {

      lshift_com (r2, a,

		  i / (8 * sizeof (unsigned long)) + 1,

		  i % (8 * sizeof (unsigned long)));

      r2 += 88 + 1;

    }

  if (r[2048] != 0 || r[2049] != 0 || r[2050] != 0 || r[2051] != 0 ||

      r[2052] != 0 || r[2053] != 0 || r[2054] != 0)

    abort ();

  free (r);

  return 0;

}

#else

int

main ()

{

  return 0;

}

#endif

])

# A certain _GLOBAL_OFFSET_TABLE_ problem in past versions of gas, tickled

# by recent versions of gcc.

#

if test "$gmp_prog_cc_works" = yes; then

  case $host in

    X86_PATTERN)

      # this problem only arises in PIC code, so don't need to test when

      # --disable-shared.  We don't necessarily have $enable_shared set to

      # yes at this point, it will still be unset for the default (which is

      # yes); hence the use of "!= no".

      if test "$enable_shared" != no; then

        GMP_PROG_CC_X86_GOT_EAX_EMITTED([$1],

          [GMP_ASM_X86_GOT_EAX_OK([$1],,

            [gmp_prog_cc_works="no, bad gas GOT with eax"])])

      fi

      ;;

  esac

fi

AC_MSG_RESULT($gmp_prog_cc_works)

case $gmp_prog_cc_works in

  yes)

    [$2]

    ;;

  *)

    [$3]

    ;;

esac

])

dnl  Called: GMP_PROG_CC_WORKS_PART(CC+CFLAGS,FAIL-MESSAGE [,CODE])

dnl  A dummy main() is appended to the CODE given.

dnl

AC_DEFUN([GMP_PROG_CC_WORKS_PART],

[GMP_PROG_CC_WORKS_PART_MAIN([$1],[$2],

[$3]

[int main () { return 0; }])

])

dnl  Called: GMP_PROG_CC_WORKS_PART_MAIN(CC+CFLAGS,FAIL-MESSAGE,CODE)

dnl  CODE must include a main().

dnl

AC_DEFUN([GMP_PROG_CC_WORKS_PART_MAIN],

[GMP_PROG_CC_WORKS_PART_TEST([$1],[$2],[$3],

  [],

  gmp_prog_cc_works="no[]m4_if([$2],,,[[, ]])[$2]",

  gmp_prog_cc_works="no[]m4_if([$2],,,[[, ]])[$2][[, program does not run]]")

])

dnl  Called: GMP_PROG_CC_WORKS_PART_TEST(CC+CFLAGS,TITLE,[CODE],

dnl            [ACTION-GOOD],[ACTION-BAD][ACTION-NORUN])

dnl

AC_DEFUN([GMP_PROG_CC_WORKS_PART_TEST],

[if test "$gmp_prog_cc_works" = yes; then

  # remove anything that might look like compiler output to our "||" expression

  rm -f conftest* a.out b.out a.exe a_out.exe

  cat >conftest.c <

[$3]

EOF

  echo "Test compile: [$2]" >&AC_FD_CC

  gmp_compile="$1 conftest.c >&AC_FD_CC"

  if AC_TRY_EVAL(gmp_compile); then

    cc_works_part=yes

    if test "$cross_compiling" = no; then

      if AC_TRY_COMMAND([./a.out || ./b.out || ./a.exe || ./a_out.exe || ./conftest]); then :;

      else

        cc_works_part=norun

      fi

    fi

  else

    cc_works_part=no

  fi

  if test "$cc_works_part" != yes; then

    echo "failed program was:" >&AC_FD_CC

    cat conftest.c >&AC_FD_CC

  fi

  rm -f conftest* a.out b.out a.exe a_out.exe

  case $cc_works_part in

    yes)

      $4

      ;;

    no)

      $5

      ;;

    norun)

      $6

      ;;

  esac

fi

])

dnl  GMP_PROG_CC_WORKS_LONGLONG(cc+cflags,[ACTION-YES][,ACTION-NO])

dnl  --------------------------------------------------------------

dnl  Check that cc+cflags accepts "long long".

dnl

dnl  This test is designed to be run repeatedly with different cc+cflags

dnl  selections, so the result is not cached.

AC_DEFUN([GMP_PROG_CC_WORKS_LONGLONG],

[AC_MSG_CHECKING([compiler $1 has long long])

cat >conftest.c <

long long  foo;

long long  bar () { return foo; }

int main () { return 0; }

EOF

gmp_prog_cc_works=no

gmp_compile="$1 -c conftest.c >&AC_FD_CC"

if AC_TRY_EVAL(gmp_compile); then

  gmp_prog_cc_works=yes

else

  echo "failed program was:" >&AC_FD_CC