configure.ac

# Copyright 2010 members of the LinBox group
# 
# This file is part of LA-BENCHER, licensed under the GNU General Public
# License version 3. See COPYING for more information.

dnl X_CFLAGS_APPEND(cflag)
AC_DEFUN([X_CFLAGS_APPEND],
[
AC_MSG_CHECKING([whether compiler supports $1])
TCFLAGS="${CFLAGS}"
if test "x${CFLAGS}" = "x" ; then
  CFLAGS="$1"
else
  CFLAGS="${CFLAGS} $1"
fi
AC_COMPILE_IFELSE([AC_LANG_PROGRAM(
[[
]], [[
    return 0;
]])],
              AC_MSG_RESULT([yes]),
              AC_MSG_RESULT([no])
              [CFLAGS="${TCFLAGS}"]
)
])

dnl X_CDEBUGFLAGS_APPEND(cflag)
AC_DEFUN([X_CDEBUGFLAGS_APPEND],
[
AC_MSG_CHECKING([whether compiler supports $1])
TCDEBUGFLAGS="${CDEBUGFLAGS}"
if test "x${CDEBUGFLAGS}" = "x" ; then
  CDEBUGFLAGS="$1"
else
  CDEBUGFLAGS="${CDEBUGFLAGS} $1"
fi
AC_COMPILE_IFELSE([AC_LANG_PROGRAM(
[[
]], [[
    return 0;
]])],
              AC_MSG_RESULT([yes]),
              AC_MSG_RESULT([no])
              [CDEBUGFLAGS="${TCDEBUGFLAGS}"]
)
])

dnl X_COMPILABLE(label, hcode, mcode, rvar)
dnl
dnl Use AC_LINK_IFELSE() rather than AC_COMPILE_IFELSE() so that linker errors
dnl cause failure.
AC_DEFUN([X_COMPILABLE],
[
AC_CACHE_CHECK([whether $1 is compilable],
               [$4],
               [AC_LINK_IFELSE([AC_LANG_PROGRAM([$2],
                                                [$3])],
                               [$4=yes],
                               [$4=no])])
])


AC_PREREQ(2.50)
AC_INIT(LA-BENCHER,0.0.1,ederc@mathematik.uni-kl.de)
AM_INIT_AUTOMAKE([1.8 gnu no-dependencies])
AM_CONFIG_HEADER([include/la-bencher-config.h])
AX_PREFIX_CONFIG_H(include/la-bencher-config.h, __F4RT)
AC_PATH_PROG(RM, rm, $FALSE)
RM="$RM -f"

AC_CONFIG_MACRO_DIR([m4])

AM_MAINTAINER_MODE
AM_DEP_TRACK
AM_OUTPUT_DEPENDENCY_COMMANDS 

# Give a sane default for CFLAGS and CXXFLAGS
# The sane thing is to define the flags differenly in tests, examples, interfaces, etc.  -bds
#DEFAULT_CFLAGS="-O2 -Wall"

#CFLAGS=${CFLAGS:-$DEFAULT_CFLAGS}
#CXXFLAGS=${CXXFLAGS:-$DEFAULT_CFLAGS}

# work around to fix the backward compatibility issue of automake 1.10 with 1.9 (pb with MKDIR_P)
AC_SUBST([MKDIR_P])
AC_STDC_HEADERS
#LT_INIT()
LT_INIT([disable-shared])
AM_PROG_CC_C_O
AC_PROG_CC_STDC

AC_PROG_CXX

# check assert setting
AC_HEADER_ASSERT

# Machine characteristics

AC_CHECK_SIZEOF(char, 8)
AC_CHECK_SIZEOF(short, 16)
AC_CHECK_SIZEOF(int, 32)
AC_CHECK_SIZEOF(void*, 32)
AC_CHECK_SIZEOF(long, 32)
AC_CHECK_SIZEOF(long long, 64)
AC_CHECK_SIZEOF(__int64, 64)
AC_CHECK_SIZEOF(__uint128_t, 128)
AC_CHECK_SIZEOF(__uint256_t, 256)

# check endianness of the architecture
AC_C_BIGENDIAN(
  [AC_DEFINE(HAVE_BIG_ENDIAN, 1, [Define that architecture uses big endian storage])],
  [AC_DEFINE(HAVE_LITTLE_ENDIAN, 1, [Define that architecture uses little endian storage])],[])

dnl If CFLAGS isn't defined, set CFLAGS to something reasonable.  Otherwise,
dnl just prevent autoconf from molesting CFLAGS.
CFLAGS=$CFLAGS
if test "x$GCC" != "xyes" ; then
  AC_CACHE_CHECK([whether compiler is MSVC],
                 [x_cv_msvc],
                 [AC_COMPILE_IFELSE([AC_LANG_PROGRAM([],
                                                     [
#ifndef _MSC_VER
  int fail[-1];
#endif
])],
                               [x_cv_msvc=yes],
                               [x_cv_msvc=no])])
fi

if test "x$CFLAGS" = "x" ; then
  no_CFLAGS="yes"
  if test "x$GCC" = "xyes" ; then
    X_CFLAGS_APPEND([-std=gnu99])
    X_CFLAGS_APPEND([-Wall])
    X_CFLAGS_APPEND([-pipe])
    X_CDEBUGFLAGS_APPEND([-g3])
    X_CDEBUGFLAGS_APPEND([-ggdb])
    X_CDEBUGFLAGS_APPEND([-Wall])
  elif test "x$x_cv_msvc" = "xyes" ; then
    CC="$CC -nologo"
    X_CFLAGS_APPEND([-Zi])
    X_CFLAGS_APPEND([-MT])
    X_CFLAGS_APPEND([-W3])
    CPPFLAGS="$CPPFLAGS -I${srcroot}/include/msvc_compat"
  fi
fi
dnl Append EXTRA_CFLAGS to CFLAGS, if defined.
if test "x$EXTRA_CFLAGS" != "x" ; then
  X_CFLAGS_APPEND([$EXTRA_CFLAGS])
fi
AC_PROG_CPP


# check for mmap, ...
AC_FUNC_MMAP

if test "$ac_cv_func_mmap_fixed_mapped"  = "yes"; then
  AC_DEFINE([VALLOC],[xVallocMmap],[valloc uses mmap])
else
  AC_DEFINE([VALLOC],[xVallocNoMmap],[valloc does not use mmap])
fi

AC_ARG_ENABLE([debug],
              [AC_HELP_STRING([--disable-debug],
                              [Disable debug version])],
              [],
              [enable_debug=yes])


AM_CONDITIONAL(ENABLE_DEBUG, test "x$enable_debug" = xyes)

dnl Only optimize if not debugging.
if test "x$GCC" = "xyes" ; then
  X_CFLAGS_APPEND([-O3])
  X_CFLAGS_APPEND([-funroll-loops])
  X_CDEBUGFLAGS_APPEND([-O0])
elif test "x$x_cv_msvc" = "xyes" ; then
  X_CFLAGS_APPEND([-O2])
  X_CDEBUGFLAGS_APPEND([-O0])
else
  X_CFLAGS_APPEND([-O])
  X_CDEBUGFLAGS_APPEND([-O0])
fi
# SSE2 support
AC_ARG_ENABLE([sse2],
        AS_HELP_STRING([--disable-sse2], [don't use SSE2 instruction set.]),
	, [if test "$x_wrapword" = "yes"; then enable_sse2="no"; else enable_sse2="yes"; fi])

AS_IF([test "x$enable_sse2" != "xno"], [
   if test "$x_wrapword" = "yes"; then
      AC_MSG_ERROR([SSE2 cannot be supported when wrapping word in a C++ class.])
   fi
   case $host_cpu in i[[3456]]86*|x86_64*)
          AX_CPU_VENDOR()
          if test "x$ax_cv_cpu_vendor" = "xIntel"; then
             AX_EXT() # SSE2 is slower on the Opteron
          fi
   esac
])
if test x"$ax_cv_have_sse2_ext" = x"yes"; then
  F4RT_HAVE_SSE2=1
else
  F4RT_HAVE_SSE2=0
fi
AC_SUBST(F4RT_HAVE_SSE2)


AC_ARG_WITH(papi,
    AS_HELP_STRING([--with-papi@<:@=PATH@:>@], [The PAPI install prefix, if configure can't find it.]),
    [x_config_papi=$withval])

dnl Search for hwloc
AC_CHECK_LIB([hwloc], [main], [
    AC_DEFINE([HAVE_HWLOC],[],"hwloc available.")
    LIBS="-lhwloc $LIBS"
    ], [echo "libhwloc not found."])

dnl Search for Open MP
AX_OPENMP()

dnl Search for BLAS
AX_BLAS()

dnl Search for LAPACK
AX_LAPACK()

dnl Search for Intel TBB
AC_CHECK_LIB([tbb], [main], [
    AC_DEFINE([HAVE_INTEL_TBB],[],"Intel TBB available.")
    LIBS="-ltbb $LIBS"
    ], [echo "libtbb not found."])

dnl Search for KAAPI
 AC_CHECK_LIB([kaapi], [main], [
    AC_DEFINE([HAVE_KAAPI],[],"KAAPI available.")
    LIBS="-lkaapi $LIBS"
    ], [echo "libkaapi not found."])

dnl Search for KAAPIC
AC_CHECK_LIB([kaapic], [main], [
    AC_DEFINE([HAVE_KAAPIC],[],"KAAPIC available.")
    LIBS="-lkaapic $LIBS"
    ], [echo "libkaapic not found."])

dnl Search for KAAPI++
 AC_CHECK_LIB([kaapi++], [main], [
    AC_DEFINE([HAVE_KAAPIPP],[],"KAAPI++ available.")
    LIBS="-lkaapi++ $LIBS"
    ], [echo "libkaapi++ not found."])

dnl Do not silence irrelevant compiler warnings by default, since enabling this
dnl option incurs a performance penalty.
AC_ARG_ENABLE([cc-silence],
  [AS_HELP_STRING([--enable-cc-silence],
                  [Silence irrelevant compiler warnings])],
[if test "x$enable_cc_silence" = "xno" ; then
  enable_cc_silence="0"
else
  enable_cc_silence="1"
fi
],
[enable_cc_silence="0"]
)
if test "x$enable_cc_silence" = "x1" ; then
  AC_DEFINE([CC_SILENCE], [ ], "not silencing irrelevant compiler warnings by
      default, since enabling this option incurs a performance penalty")
fi

# Do not enable allocation from DSS by default.
AC_ARG_ENABLE([dss],
  [AS_HELP_STRING([--enable-dss], [Enable allocation from DSS])],
[if test "x$enable_dss" = "xno" ; then
  enable_dss="0"
else
  enable_dss="1"
fi
],
[enable_dss="0"]
)

# Check whether the BSD/SUSv1 sbrk() exists.  If not, disable DSS support.
AC_CHECK_FUNC([sbrk], [have_sbrk="1"], [have_sbrk="0"])
if test "x$have_sbrk" = "x1" ; then
  AC_DEFINE([HAVE_SBRK], [1],[sbrk available ?])
else
  enable_dss="0"
fi

if test "x$enable_dss" = "x1" ; then
  AC_DEFINE([DSS], [1], [dss available])
fi
AC_SUBST([enable_dss])

dnl ===========================================================================
dnl CPU-specific settings.
CPU_SPINWAIT=""
case "${host_cpu}" in
  i[[345]]86)
	;;
  i686)
	X_COMPILABLE([__asm__], [], [[__asm__ volatile("pause"); return 0;]],
	              [x_cv_asm])
	if test "x${x_cv_asm}" = "xyes" ; then
	    CPU_SPINWAIT='__asm__ volatile("pause")'
	fi
	;;
  x86_64)
	X_COMPILABLE([__asm__ syntax], [],
	              [[__asm__ volatile("pause"); return 0;]], [x_cv_asm])
	if test "x${x_cv_asm}" = "xyes" ; then
	    CPU_SPINWAIT='__asm__ volatile("pause")'
	fi
	;;
  *)
	;;
esac
AC_DEFINE_UNQUOTED([CPU_SPINWAIT], [$CPU_SPINWAIT], "spinwait macro for LA-BENCHER")

LD_PRELOAD_VAR="LD_PRELOAD"
so="so"
importlib="${so}"
o="$ac_objext"
a="a"
exe="$ac_exeext"
libprefix="lib"
DSO_LDFLAGS='-shared -Wl,-soname,$(@F)'
RPATH='-Wl,-rpath,$(1)'
SOREV="${so}.${rev}"
PIC_CFLAGS='-fPIC -DPIC'
CTARGET='-o $@'
LDTARGET='-o $@'
EXTRA_LDFLAGS=
MKLIB='ar crus $@'
CC_MM=1

dnl Platform-specific settings.  abi and RPATH can probably be determined
dnl programmatically, but doing so is error-prone, which makes it generally
dnl not worth the trouble.
dnl
dnl Define cpp macros in CPPFLAGS, rather than doing AC_DEFINE(macro), since the
dnl definitions need to be seen before any headers are included, which is a pain
dnl to make happen otherwise.
default_munmap="1"
case "${host}" in
  *-*-darwin*)
	CFLAGS="$CFLAGS"
	abi="macho"
	AC_DEFINE([PURGE_MADVISE_FREE], [ ],"")
	RPATH=""
	LD_PRELOAD_VAR="DYLD_INSERT_LIBRARIES"
	so="dylib"
	importlib="${so}"
	force_tls="0"
	DSO_LDFLAGS='-shared -Wl,-dylib_install_name,$(@F)'
	SOREV="${rev}.${so}"
	;;
  *-*-freebsd*)
	CFLAGS="$CFLAGS"
	abi="elf"
	AC_DEFINE([PURGE_MADVISE_FREE], [ ],"")
	force_lazy_lock="1"
	;;
  *-*-linux*)
	CFLAGS="$CFLAGS"
	CPPFLAGS="$CPPFLAGS -D_GNU_SOURCE"
	abi="elf"
	AC_DEFINE([PURGE_MADVISE_DONTNEED], [ ],"")
	AC_DEFINE([THREADED_INIT], [ ],"")
	default_munmap="0"
	;;
  *-*-netbsd*)
	AC_MSG_CHECKING([ABI])
        AC_COMPILE_IFELSE([AC_LANG_PROGRAM(
[[#ifdef __ELF__
/* ELF */
#else
#error aout
#endif
]])],
                          [CFLAGS="$CFLAGS"; abi="elf"],
                          [abi="aout"])
	AC_MSG_RESULT([$abi])
	AC_DEFINE([PURGE_MADVISE_FREE], [ ],"")
	;;
  *-*-solaris2*)
	CFLAGS="$CFLAGS"
	abi="elf"
	RPATH='-Wl,-R,$(1)'
	dnl Solaris needs this for sigwait().
	CPPFLAGS="$CPPFLAGS -D_POSIX_PTHREAD_SEMANTICS"
	LIBS="-lposix4 -lsocket -lnsl $LIBS"
	;;
  *-ibm-aix*)
	if "$LG_SIZEOF_PTR" = "8"; then
	  dnl 64bit AIX
	  LD_PRELOAD_VAR="LDR_PRELOAD64"
	else
	  dnl 32bit AIX
	  LD_PRELOAD_VAR="LDR_PRELOAD"
	fi
	abi="xcoff"
	;;
  *-*-mingw*)
	abi="pecoff"
	force_tls="0"
	RPATH=""
	so="dll"
	if test "x$x_cv_msvc" = "xyes" ; then
	  importlib="lib"
	  DSO_LDFLAGS="-LD"
	  EXTRA_LDFLAGS="-link -DEBUG"
	  CTARGET='-Fo$@'
	  LDTARGET='-Fe$@'
	  MKLIB='lib -nologo -out:$@'
	  CC_MM=
        else
	  importlib="${so}"
	  DSO_LDFLAGS="-shared"
	fi
	a="lib"
	libprefix=""
	SOREV="${so}"
	PIC_CFLAGS=""
	;;
  *)
	AC_MSG_RESULT([Unsupported operating system: ${host}])
	abi="elf"
	;;
esac
AC_SUBST([abi])
AC_SUBST([RPATH])
AC_SUBST([LD_PRELOAD_VAR])
AC_SUBST([so])
AC_SUBST([importlib])
AC_SUBST([o])
AC_SUBST([a])
AC_SUBST([exe])
AC_SUBST([libprefix])
AC_SUBST([DSO_LDFLAGS])
AC_SUBST([EXTRA_LDFLAGS])
AC_SUBST([SOREV])
AC_SUBST([PIC_CFLAGS])
AC_SUBST([CTARGET])
AC_SUBST([LDTARGET])
AC_SUBST([MKLIB])
AC_SUBST([CC_MM])

if test "x$abi" != "xpecoff"; then
  dnl Heap profiling uses the log(3) function.
  LIBS="-lm $LIBS"
fi

X_COMPILABLE([__attribute__ syntax],
              [static __attribute__((unused)) void foo(void){}],
              [],
              [x_cv_attribute])
if test "x${x_cv_attribute}" = "xyes" ; then
  AC_DEFINE([HAVE_ATTR], [ ],"check if __attribute__ syntax is supported")
  if test "x${GCC}" = "xyes" -a "x${abi}" = "xelf"; then
    X_CFLAGS_APPEND([-fvisibility=hidden])
  fi
fi

dnl Check for tls_model attribute support (clang 3.0 still lacks support).
SAVED_CFLAGS="${CFLAGS}"
X_CFLAGS_APPEND([-Werror])
X_COMPILABLE([tls_model attribute], [],
              [static __thread int
               __attribute__((tls_model("initial-exec"))) foo;
               foo = 0;],
              [x_cv_tls_model])
CFLAGS="${SAVED_CFLAGS}"
if test "x${x_cv_tls_model}" = "xyes" ; then
  AC_DEFINE([TLS_MODEL],
            [__attribute__((tls_model("initial-exec")))], "model of tls
            attribute support ( clang 3.0 still lacks support )")
else
  AC_DEFINE([TLS_MODEL], [ ], "model of tls attribute support ( clang 3.0 still
  lacks support )")
fi

dnl Support optional additions to rpath.
AC_ARG_WITH([rpath],
  [AS_HELP_STRING([--with-rpath=<rpath>], [Colon-separated rpath (ELF systems only)])],
if test "x$with_rpath" = "xno" ; then
  RPATH_EXTRA=
else
  RPATH_EXTRA="`echo $with_rpath | tr \":\" \" \"`"
fi,
  RPATH_EXTRA=
)
AC_SUBST([RPATH_EXTRA])

dnl ============================================================================
dnl Configure pthreads.

if test "x$abi" != "xpecoff" ; then
  AC_CHECK_HEADERS([pthread.h], , [AC_MSG_ERROR([pthread.h is missing])])
  dnl Some systems may embed pthreads functionality in libc; check for libpthread
  dnl first, but try libc too before failing.
  AC_CHECK_LIB([pthread], [pthread_create], [LIBS="-lpthread $LIBS"],
               [AC_SEARCH_LIBS([pthread_create], , ,
                               AC_MSG_ERROR([libpthread is missing]))])
fi

CPPFLAGS="$CPPFLAGS -D_REENTRANT"

dnl Check whether the BSD-specific _malloc_thread_cleanup() exists.  If so, use
dnl it rather than pthreads TSD cleanup functions to support cleanup during
dnl thread exit, in order to avoid pthreads library recursion during
dnl bootstrapping.
AC_CHECK_FUNC([_malloc_thread_cleanup],
              [have__malloc_thread_cleanup="1"],
              [have__malloc_thread_cleanup="0"]
             )
if test "x$have__malloc_thread_cleanup" = "x1" ; then
  AC_DEFINE([THREAD_CLEANUP], [ ], "thread cleanup for LA-BENCHER")
  force_tls="1"
fi

dnl Check whether the BSD-specific _pthread_mutex_init_calloc_cb() exists.  If
dnl so, mutex initialization causes allocation, and we need to implement this
dnl callback function in order to prevent recursive allocation.
AC_CHECK_FUNC([_pthread_mutex_init_calloc_cb],
              [have__pthread_mutex_init_calloc_cb="1"],
              [have__pthread_mutex_init_calloc_cb="0"]
             )
if test "x$have__pthread_mutex_init_calloc_cb" = "x1" ; then
  AC_DEFINE([MUTEX_INIT_CB], [], "checks if
      BSD-specific _pthread_mutex_init_calloc_cb() exists")
fi

# Disable lazy locking by default.
AC_ARG_ENABLE([lazy_lock],
  [AS_HELP_STRING([--enable-lazy-lock],
  [Enable lazy locking (only lock when multi-threaded)])],
[if test "x$enable_lazy_lock" = "xno" ; then
  enable_lazy_lock="0"
else
  enable_lazy_lock="1"
fi
],
[enable_lazy_lock="0"]
)
if test "x$enable_lazy_lock" = "x0" -a "x${force_lazy_lock}" = "x1" ; then
  AC_MSG_RESULT([Forcing lazy-lock to avoid allocator/threading bootstrap issues])
  enable_lazy_lock="1"
fi
if test "x$enable_lazy_lock" = "x1" ; then
  if test "x$abi" != "xpecoff" ; then
    AC_CHECK_HEADERS([dlfcn.h], , [AC_MSG_ERROR([dlfcn.h is missing])])
    AC_CHECK_FUNC([dlsym], [],
      [AC_CHECK_LIB([dl], [dlsym], [LIBS="-ldl $LIBS"],
                    [AC_MSG_ERROR([libdl is missing])])
      ])
  fi
  AC_DEFINE([LAZY_LOCK], [ ], "Macro for lazy locking: Lock only if
      multi-threaded")
fi
AC_SUBST([enable_lazy_lock])

AC_ARG_ENABLE([tls],
  [AS_HELP_STRING([--disable-tls], [Disable thread-local storage (__thread keyword)])],
if test "x$enable_tls" = "xno" ; then
  enable_tls="0"
else
  enable_tls="1"
fi
,
enable_tls="1"
)
if test "x${enable_tls}" = "x0" -a "x${force_tls}" = "x1" ; then
  AC_MSG_RESULT([Forcing TLS to avoid allocator/threading bootstrap issues])
  enable_tls="1"
fi
if test "x${enable_tls}" = "x1" -a "x${force_tls}" = "x0" ; then
  AC_MSG_RESULT([Forcing no TLS to avoid allocator/threading bootstrap issues])
  enable_tls="0"
fi
if test "x${enable_tls}" = "x1" ; then
AC_MSG_CHECKING([for TLS])
AC_COMPILE_IFELSE([AC_LANG_PROGRAM(
[[
    __thread int x;
]], [[
    x = 42;

    return 0;
]])],
              AC_MSG_RESULT([yes]),
              AC_MSG_RESULT([no])
              enable_tls="0")
fi
AC_SUBST([enable_tls])
if test "x${enable_tls}" = "x1" ; then
  AC_DEFINE_UNQUOTED([TLS], [ ], "Macro for using thread-local storage in
      LA-BENCHER.")
elif test "x${force_tls}" = "x1" ; then
  AC_MSG_ERROR([Failed to configure TLS, which is mandatory for correct function])
fi

dnl ============================================================================
dnl Check for ffsl(3), and fail if not found.  This function exists on all
dnl platforms that jemalloc currently has a chance of functioning on without
dnl modification.
X_COMPILABLE([a program using ffsl], [
#include <strings.h>
#include <string.h>
], [
	{
		int rv = ffsl(0x08);
	}
], [x_cv_function_ffsl])
if test "x${x_cv_function_ffsl}" != "xyes" ; then
   AC_MSG_ERROR([Cannot build without ffsl(3)])
fi

dnl ============================================================================
dnl Check for atomic(9) operations as provided on FreeBSD.

X_COMPILABLE([atomic(9)], [
#include <sys/types.h>
#include <machine/atomic.h>
#include <inttypes.h>
], [
	{
		uint32_t x32 = 0;
		volatile uint32_t *x32p = &x32;
		atomic_fetchadd_32(x32p, 1);
	}
	{
		unsigned long xlong = 0;
		volatile unsigned long *xlongp = &xlong;
		atomic_fetchadd_long(xlongp, 1);
	}
], [x_cv_atomic9])
if test "x${x_cv_atomic9}" = "xyes" ; then
  AC_DEFINE([ATOMIC9],[],"atomic(9) operations as provided on FreeBSD")
fi

dnl ============================================================================
dnl Check for atomic(3) operations as provided on Darwin.

X_COMPILABLE([Darwin OSAtomic*()], [
#include <libkern/OSAtomic.h>
#include <inttypes.h>
], [
	{
		int32_t x32 = 0;
		volatile int32_t *x32p = &x32;
		OSAtomicAdd32(1, x32p);
	}
	{
		int64_t x64 = 0;
		volatile int64_t *x64p = &x64;
		OSAtomicAdd64(1, x64p);
	}
], [x_cv_osatomic])
if test "x${x_cv_osatomic}" = "xyes" ; then
  AC_DEFINE([OSATOMIC], [ ], "atomic(3) operations as provided on Darwin / Mac
      OS X")
fi

dnl ============================================================================
dnl Check whether __sync_{add,sub}_and_fetch() are available despite
dnl __GCC_HAVE_SYNC_COMPARE_AND_SWAP_n macros being undefined.

AC_DEFUN([X_SYNC_COMPARE_AND_SWAP_CHECK],[
  AC_CACHE_CHECK([whether to force $1-bit __sync_{add,sub}_and_fetch()],
               [x_cv_sync_compare_and_swap_$2],
               [AC_LINK_IFELSE([AC_LANG_PROGRAM([
                                                 #include <stdint.h>
                                                ],
                                                [
                                                 #ifndef __GCC_HAVE_SYNC_COMPARE_AND_SWAP_$2
                                                 {
                                                    uint$1_t x$1 = 0;
                                                    __sync_add_and_fetch(&x$1, 42);
                                                    __sync_sub_and_fetch(&x$1, 1);
                                                 }
                                                 #else
                                                 #error __GCC_HAVE_SYNC_COMPARE_AND_SWAP_$2 is defined, no need to force
                                                 #endif
                                                ])],
                               [x_cv_sync_compare_and_swap_$2=yes],
                               [x_cv_sync_compare_and_swap_$2=no])])

  if test "x${x_cv_sync_compare_and_swap_$2}" = "xyes" ; then
    AC_DEFINE([FORCE_SYNC_COMPARE_AND_SWAP_$2], [ ],
        "__sync_{addsub}_and_fetch() ")
  fi
])

if test "x${x_cv_atomic9}" != "xyes" -a "x${x_cv_osatomic}" != "xyes" ; then
  X_SYNC_COMPARE_AND_SWAP_CHECK(32, 4)
  X_SYNC_COMPARE_AND_SWAP_CHECK(64, 8)
fi

dnl ============================================================================
dnl Check for spinlock(3) operations as provided on Darwin.

X_COMPILABLE([Darwin OSSpin*()], [
#include <libkern/OSAtomic.h>
#include <inttypes.h>
], [
	OSSpinLock lock = 0;
	OSSpinLockLock(&lock);
	OSSpinLockUnlock(&lock);
], [x_cv_osspin])
if test "x${x_cv_osspin}" = "xyes" ; then
  AC_DEFINE([OSSPIN], [ ], "spinlock(3) operations as provided on Darwin / Mac
      OS X")
fi

dnl ============================================================================
dnl Darwin-related configuration.

if test "x${abi}" = "xmacho" ; then
  AC_DEFINE([IVSALLOC], [ ], "darwin related configuratioin")
  AC_DEFINE([ZONE], [ ], "darwin related configuratioin")

  dnl The szone version jumped from 3 to 6 between the OS X 10.5.x and 10.6
  dnl releases.  malloc_zone_t and malloc_introspection_t have new fields in
  dnl 10.6, which is the only source-level indication of the change.
  AC_MSG_CHECKING([malloc zone version])
  AC_DEFUN([X_ZONE_PROGRAM],
    [AC_LANG_PROGRAM(
      [#include <malloc/malloc.h>],
      [static foo[[sizeof($1) $2 sizeof(void *) * $3 ? 1 : -1]]]
    )])

  AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_zone_t,==,14)],[ZONE_VERSION=3],[
  AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_zone_t,==,15)],[ZONE_VERSION=5],[
  AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_zone_t,==,16)],[
    AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_introspection_t,==,9)],[ZONE_VERSION=6],[
    AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_introspection_t,==,13)],[ZONE_VERSION=7],[ZONE_VERSION=]
  )])],[
  AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_zone_t,==,17)],[ZONE_VERSION=8],[
  AC_COMPILE_IFELSE([X_ZONE_PROGRAM(malloc_zone_t,>,17)],[ZONE_VERSION=9],[ZONE_VERSION=]
  )])])])])
  if test "x${ZONE_VERSION}" = "x"; then
    AC_MSG_RESULT([unsupported])
    AC_MSG_ERROR([Unsupported malloc zone version])
  fi
  if test "${ZONE_VERSION}" = 9; then
    ZONE_VERSION=8
    AC_MSG_RESULT([> 8])
  else
    AC_MSG_RESULT([$ZONE_VERSION])
  fi
  AC_DEFINE_UNQUOTED(ZONE_VERSION, [$ZONE_VERSION],"szone version in darwin:
      there was a jump from 3 to 6 between OS X 10.5.x and 10.6")
fi

# Support the junk/zero filling option by default.
AC_ARG_ENABLE([fill],
  [AS_HELP_STRING([--disable-fill],
                  [Disable support for junk/zero filling, quarantine, and redzones])],
[if test "x$enable_fill" = "xno" ; then
  enable_fill="0"
else
  enable_fill="1"
fi
],
[enable_fill="1"]
)
if test "x$enable_fill" = "x1" ; then
  AC_DEFINE([FILL], [1],[junk / zero filling enabled])
fi
AC_SUBST([enable_fill])

AC_ARG_ENABLE([cachetune],
     AS_HELP_STRING([--enable-cachetune],[calculate cache size from timing information.]))

AC_ARG_WITH(cachesize,
  AS_HELP_STRING([--with-cachesize@<:@=VALUE@:>@],
    [Manual cache sizes, separated by a colon.
    Overrides cache tuning.]),[f4rt_config_cachesize=$withval])

AC_ARG_WITH(cachelinesize,
  AS_HELP_STRING([--with-cachelinesize@<:@=VALUE@:>@],
    [Manual cache line size: Use the following format: "cache line size in
    kB":"log of 2 of cache line size".]),[f4rt_config_cachelinesize=$withval])

# L1 and L2 Cache Size
if test -z $f4rt_config_cachesize; then
   AX_CACHE_SIZE()
   AS_IF([test "x$enable_cachetune" = "xyes"], [AX_CACHE_SIZE_TUNE()])
else
  AS_IF([test "x$enable_cachetune" = "xyes"], [AC_MSG_WARN(Ignoring cache tuning since --with-cachesize was given.)])

  ax_l1_size=`echo $f4rt_config_cachesize | $SED 's/\:.*//g'`
  ax_l2_size=`echo $f4rt_config_cachesize | $SED 's/.*\://g'`

  F4RT_CPU_L1_CACHE=${ax_l1_size}
  F4RT_CPU_L2_CACHE=${ax_l2_size}
fi

if test -z $f4rt_config_cachelinesize; then
  AX_CACHE_LINE_SIZE()
else
  ax_cache_line_size=`echo $f4rt_config_cachelinesize | $SED 's/\:.*//g'`
  ax_cache_line_log_size=`echo $f4rt_config_cachelinesize | $SED 's/.*\://g'`

  F4RT_CPU_CACHE_LINE=${ax_cache_line_size}
  F4RT_LOG_CPU_CACHE_LINE=${ax_cache_line_log_size}
fi
  
# Create some useful data types of fixed, known lengths

F4RT_SIZEOF_SYSTEM_PAGE=4096;
F4RT_PAGES_PER_REGION=512;
F4RT_LOG_BIT_SIZEOF_SYSTEM_PAGE=12;
F4RT_BIT_SIZEOF_CHAR=8;
F4RT_MIN_NUMBER_PAGES_PER_REGION=512;
F4RT_SIZEOF_ALIGNMENT=8;
F4RT_SIZEOF_ALIGNMENT_MINUS_ONE=7;
F4RT_LOG_SIZEOF_ALIGNMENT=3;
F4RT_SIZEOF_STRICT_ALIGNMENT=8;

# for f4rt's specialized assert functionality
F4RT_STRINGIFICATION_OF_X="#x";
F4RT_ASSERT="xAssert(x,__FILE__,__LINE__)";

# maximal indexi resp. block size in xStaticBin array
# these values should depend on architecture, thus there needs to be implemented
# a more flexible choice of these values
F4RT_MAX_BIN_INDEX=22;
F4RT_MAX_SMALL_BLOCK_SIZE=1008;

# We hereby assume that a character is always one byte
F4RT_INT8="char";

case $ac_cv_sizeof_char in
  1)
     TWO_BYTES=2;
     FOUR_BYTES=4;
     EIGHT_BYTES=8;
     SIXTEEN_BYTES=16;
     THIRTY_TWO_BYTES=32;
     ;;
  8)
     TWO_BYTES=16;
     FOUR_BYTES=32;
     EIGHT_BYTES=64;
     SIXTEEN_BYTES=128;
     THIRTY_TWO_BYTES=256;
esac

case $TWO_BYTES in
  $ac_cv_sizeof_short)
     F4RT_INT16="short";
     ;;
  $ac_cv_sizeof_int)
     F4RT_INT16="int";
     ;;
esac

case $FOUR_BYTES in
  $ac_cv_sizeof_short)
     F4RT_INT32="short";
     ;;
  $ac_cv_sizeof_int)
     F4RT_INT32="int";
     ;;
  $ac_cv_sizeof_long)
     F4RT_INT32="long";
     F4RT_LOG_BIT_SIZEOF_LONG=5;
     F4RT_LOG_SIZEOF_LONG=2;
     ;;
esac

case $EIGHT_BYTES in
  $ac_cv_sizeof_short)
     F4RT_INT64="short";
     ;;
  $ac_cv_sizeof_int)
     F4RT_INT64="int";
     ;;
  $ac_cv_sizeof_long)
     F4RT_INT64="long";
     F4RT_LOG_BIT_SIZEOF_LONG=6;
     F4RT_LOG_SIZEOF_LONG=3;
     ;;
  $ac_cv_sizeof_long_long)
     F4RT_INT64="long long";
     ;;
  $ac_cv_sizeof___int64)
     F4RT_INT64="__int64";
     ;;
esac

case $SIXTEEN_BYTES in
  $ac_cv_sizeof___uint128_t)
     F4RT_UINT128="__uint128_t";
     ;;
esac

case $THIRTY_TWO_BYTES in
  $ac_cv_sizeof___uint256_t)
     F4RT_UINT256="__uint256_t";
     ;;
esac


AC_DEFINE_UNQUOTED(CPU_L1_CACHE, $F4RT_CPU_L1_CACHE, L1 cache size)
AC_DEFINE_UNQUOTED(CPU_L2_CACHE, $F4RT_CPU_L2_CACHE, L2 cache size)
AC_DEFINE_UNQUOTED(CPU_CACHE_LINE, $F4RT_CPU_CACHE_LINE, cache line size in
    bytes ( default 64 byte ))
AC_DEFINE_UNQUOTED(LOG_CPU_CACHE_LINE, $F4RT_LOG_CPU_CACHE_LINE , log cache line size)
AC_DEFINE_UNQUOTED(PAGES_PER_REGION, $F4RT_PAGES_PER_REGION, Depending on
    SIZEOF_LONG)
AC_DEFINE_UNQUOTED(MAX_SMALL_BLOCK_SIZE, $F4RT_MAX_SMALL_BLOCK_SIZE, Depending on
    SIZEOF_LONG)
AC_DEFINE_UNQUOTED(SIZEOF_SYSTEM_PAGE, $F4RT_SIZEOF_SYSTEM_PAGE, Size of
    system page)
AC_DEFINE_UNQUOTED(BIT_SIZEOF_CHAR, $F4RT_BIT_SIZEOF_CHAR, bitsize of char)
AC_DEFINE_UNQUOTED(BIT_SIZEOF_LONG,
    (__F4RT_BIT_SIZEOF_CHAR * __F4RT_SIZEOF_LONG),
    depends on bitsize of char and size of long)
AC_DEFINE_UNQUOTED(LOG_BIT_SIZEOF_SYSTEM_PAGE,
    $F4RT_LOG_BIT_SIZEOF_SYSTEM_PAGE, Log bit size of system page)
AC_DEFINE_UNQUOTED(LOG_BIT_SIZEOF_LONG, $F4RT_LOG_BIT_SIZEOF_LONG, Depending on
    SIZEOF_LONG)
AC_DEFINE_UNQUOTED(LOG_SIZEOF_LONG, $F4RT_LOG_SIZEOF_LONG, Depending on
    SIZEOF_LONG)
AC_DEFINE_UNQUOTED(SIZEOF_INDEX_PAGE_MINUS_ONE,
    ((__F4RT_SIZEOF_SYSTEM_PAGE << __F4RT_LOG_BIT_SIZEOF_LONG) - 1), Depending on
    LOG_BIT_SIZEOF_LONG)
AC_DEFINE_UNQUOTED(SIZEOF_PAGE_HEADER,
    (5*__F4RT_SIZEOF_VOIDP + __F4RT_SIZEOF_LONG), Depending on
    SIZEOF_LONG and SIZEOF_VOIDP)
AC_DEFINE_UNQUOTED(SIZEOF_PAGE,
    (__F4RT_SIZEOF_SYSTEM_PAGE - __F4RT_SIZEOF_PAGE_HEADER), Depending on
    SIZEOF_SYSTEM_PAGE and SIZEOF_PAGE_HEADER)
AC_DEFINE_UNQUOTED(INDEX_PAGE_SHIFT,
    (__F4RT_LOG_BIT_SIZEOF_LONG + __F4RT_LOG_BIT_SIZEOF_SYSTEM_PAGE), Depending on
    LOG_BIT_SIZEOF_LONG)
AC_DEFINE_UNQUOTED(MIN_NUMBER_PAGES_PER_REGION,
    $F4RT_MIN_NUMBER_PAGES_PER_REGION, default minimal value of the number of
    pages allocated for a new region)
AC_DEFINE_UNQUOTED(SIZEOF_ALIGNMENT,
    $F4RT_SIZEOF_ALIGNMENT, bitsize of alignment of memory allocated by
    f4rt)
AC_DEFINE_UNQUOTED(SIZEOF_ALIGNMENT_MINUS_ONE,
    $F4RT_SIZEOF_ALIGNMENT_MINUS_ONE, bitsize of alignment of memory allocated by
    f4rt)
AC_DEFINE_UNQUOTED(LOG_SIZEOF_ALIGNMENT,
    $F4RT_LOG_SIZEOF_ALIGNMENT, log bitsize of alignment of memory allocated by
    f4rt)
AC_DEFINE_UNQUOTED(SIZEOF_STRICT_ALIGNMENT,
    $F4RT_SIZEOF_STRICT_ALIGNMENT, size of strict alignment of memory allocated by
    f4rt)
AC_DEFINE_UNQUOTED(SIZEOF_VOIDP_MINUS_ONE,
    (__F4RT_SIZEOF_VOIDP - 1), depending on sizeof(void*))
AC_DEFINE_UNQUOTED(MAX_BIN_INDEX,
    $F4RT_MAX_BIN_INDEX, depending on the chosen size classes and their
    subdivision)
AC_DEFINE_UNQUOTED(STRINGIFICATION(x),
    $F4RT_STRINGIFICATION_OF_X, macro stringification mainly used by xassert)
AC_DEFINE_UNQUOTED(ASSERT(x),
    $F4RT_ASSERT, it is a macro in order to print out the correct file and
    line)
AC_DEFINE_UNQUOTED(INT8, $F4RT_INT8, Canonical 8-bit data type)
AC_DEFINE_UNQUOTED(INT16, $F4RT_INT16, Canonical 16-bit data type)
AC_DEFINE_UNQUOTED(INT32, $F4RT_INT32, Canonical 32-bit data type)
AC_DEFINE_UNQUOTED(INT64, $F4RT_INT64, Canonical 64-bit data type)
if test "x$F4RT_UINT128" != "x"; then
  AC_DEFINE_UNQUOTED(UINT128, $F4RT_UINT128, Canonical 128-bit data type)
fi
if test "x$F4RT_UINT256" != "x"; then
  AC_DEFINE_UNQUOTED(UINT256, $F4RT_UINT256, Canonical 256-bit data type)
fi
AC_DEFINE_UNQUOTED(NEXT(addr), *((void**) addr), Jump to next entry)
AC_DEFINE_UNQUOTED(MAX(a,b), ((a) > (b) ? (a) : (b)), maximum of two comparable
    values)
AC_DEFINE_UNQUOTED(MIN(a,b), ((a) > (b) ? (b) : (a)), minimum of two comparable
    values)

# Feature checks
# LB_MISC
# LB_DRIVER

AC_LANG_CPLUSPLUS
# LB_CHECK_GMP

AC_PATH_PROG(XMLTO,xmlto,"no")

if test "x$XMLTO" = "xno" ; then
  echo "Note: xmlto not found. Cannot rebuild documentation."
  XMLTO=
fi

AC_PATH_PROG(DOXYGEN,doxygen,"no")

if test "x$DOXYGEN" = "xno" ; then
  echo "Note: doxygen not found. Cannot rebuild reference-documentation."
  DOXYGEN=
fi

AM_CONDITIONAL(BUILD_DOCS,[test x$XMLTO != x])
AM_CONDITIONAL(BUILD_REFS,[test x$DOXYGEN != x])

# this is bogus so far as I can tell.  -bds
AM_CXXFLAGS="${CFLAGS} ${SIMD_FLAGS} ${OPENMP_CFLAGS} ${LAPACK_LIBS} ${BLAS_LIBS} ${LIBS} ${FLIBS}"
AM_CFLAGS="${CFLAGS} ${SIMD_FLAGS} ${OPENMP_CFLAGS} ${LAPACK_LIBS} ${BLAS_LIBS} ${LIBS} ${FLIBS}"
AM_CDEBUGFLAGS="${CDEBUGFLAGS} ${DEBUG_FLAGS} ${SIMD_FLAGS} ${OPENMP_CFLAGS}"
AC_SUBST([AM_CXXFLAGS])
AC_SUBST([AM_CFLAGS])
AC_SUBST([AM_CDEBUGFLAGS])

AC_OUTPUT([
Makefile
la-bencher.pc
la-bencher-config
src/Makefile
tests/Makefile
tests/data/Makefile
tests/unit/Makefile
m4/Makefile
doc/Makefile
])