check.sh

#!/usr/bin/env bash
# Usages:
# (1) to use check.sh with GNU MPFR installed in a non-standard
#     place, say /tmp/include and /tmp/lib, use the following
#     (LD_LIBRARY_PATH is needed because of dynamic linking):
#     LD_LIBRARY_PATH=/tmp/lib CFLAGS=-I/tmp/include LDFLAGS=-L/tmp/lib ./check.sh ...
# (2) to check the GNU libc instead of CORE-MATH:
#     CORE_MATH_CHECK_STD=true ./check.sh ...
# (3) to check the GNU libc 2.27, installed in say /tmp/install:
#     CORE_MATH_CHECK_STD=true CORE_MATH_LAUNCHER="/tmp/lib/ld-2.27.so --library-path /tmp/lib" LDFLAGS="-L /tmp/lib" ./check.sh --worst --rndn exp

if [ "`which gmake`" != "" ]; then
   MAKE=gmake
else
   MAKE=make
fi

FUN="${!#}"
ARGS=("${@:1:$#-1}")

MODES=()
for i in "${!ARGS[@]}"; do
    case "${ARGS[i]}" in
        --rnd*)
            MODES+=("${ARGS[i]}")
            unset 'ARGS[i]'
            ;;
    esac
done
if [[ "${#MODES[@]}" -eq 0 ]]; then
    MODES=("--rndn" "--rndz" "--rndu" "--rndd")
fi

FILE="$(echo src/*/*/"$FUN".c)"
ORIG_DIR="$(dirname "$FILE")"

if ! [ -d "$ORIG_DIR" ]; then
    echo "Could not find $FUN"
    exit 1
fi

TMP_DIR="$(mktemp -d -t core-math.XXXXXX)"

trap 'rm -rf "$TMP_DIR"' EXIT

DIR="$TMP_DIR/toto/$(basename "$ORIG_DIR")"

mkdir "$TMP_DIR/toto"
cp -a "$ORIG_DIR" "$ORIG_DIR/../support" "$TMP_DIR/toto"
cp -a "$ORIG_DIR/../../generic" "$TMP_DIR"

if [ -n "${ARGS[0]}" ]; then
    KIND="${ARGS[0]}"
    unset 'ARGS[0]'
else
    SIZE=${FILE#src/binary}
    SIZE=${SIZE%%/*}
    case "$SIZE" in
        32)
            KIND=--exhaustive
            ;;
        *)
            KIND=--worst
    esac
fi

if [[ -z "$CORE_MATH_VERBOSE" ]]; then
    QUIET=--quiet
else
    QUIET=
fi

# define CORE_MATH_NO_OPENMP if you don't want OpenMP
if [[ -z "$CORE_MATH_NO_OPENMP" ]]; then
   OPENMP=-fopenmp
else
   export CFLAGS="$CFLAGS -DCORE_MATH_NO_OPENMP"
fi

has_symbol () {
    [ "$(nm "$LIBM" | while read a b c; do if [ "$c" = "$FUN" ]; then echo OK; return; fi; done | wc -l)" -ge 1 ]
}

if [[ -n "$LIBM" ]] && ! has_symbol; then
    echo "Error: symbol $FUN is not present in $LIBM" >&2
    exit 2
fi

if [ "$CFLAGS" == "" ]; then
   if [ "$CC" == "clang" ]; then
      # clang does not provide -fsignaling-nans
      # (https://gitlab.inria.fr/core-math/core-math/-/issues/8)
      export CFLAGS="-O3 -march=native -fno-finite-math-only -frounding-math"
   else
      export CFLAGS="-O3 -march=native -fno-finite-math-only -frounding-math -fsignaling-nans"
   fi
else
   # the core-math code assumes -frounding-math
   # see also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=34678
   # and https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112367
   export ROUNDING_MATH="-frounding-math"
fi

case "$KIND" in
    --exhaustive)
        "$MAKE" --quiet -C "$DIR" clean
        "$MAKE" $QUIET -C "$DIR" check_exhaustive
        for MODE in "${MODES[@]}"; do
            echo "Running exhaustive check in $MODE mode..."
            $CORE_MATH_LAUNCHER "$DIR/check_exhaustive" "$MODE" "${ARGS[@]}"
        done
        ;;
    --worst)
        "$MAKE" --quiet -C "$DIR" clean
        OPENMP=$OPENMP "$MAKE" $QUIET -C "$DIR" check_worst
        for MODE in "${MODES[@]}"; do
            echo "Running worst cases check in $MODE mode..."
            $CORE_MATH_LAUNCHER "$DIR/check_worst" "$MODE" "${ARGS[@]}" < "${FILE%.c}.wc"
        done
        ;;
    --special)
        "$MAKE" --quiet -C "$DIR" clean
        "$MAKE" $QUIET -C "$DIR" check_special
        for MODE in "${MODES[@]}"; do
            echo "Running special checks in $MODE mode..."
            $CORE_MATH_LAUNCHER "$DIR/check_special" "$MODE" "${ARGS[@]}"
        done
        ;;
    --exact)
        "$MAKE" --quiet -C "$DIR" clean
        "$MAKE" $QUIET -C "$DIR" check_exact
        for MODE in "${MODES[@]}"; do
            echo "Running exact checks in $MODE mode..."
            $CORE_MATH_LAUNCHER "$DIR/check_exact" "$MODE" "${ARGS[@]}"
        done
        ;;
    *)
        echo "Unrecognized command"
        exit 1
esac