[PATCH 02/11] benchtests: Add erff benchmark

[DJ Delorie]

Adhemerval Zanella <adhemerval.zanella@linaro.org> writes:
> It is based on binary64 erf-inputs, with random inputs in [0,b=0x1.f5a888p+1]
> where b in the smallest number such that erff(b) rounds to 1 (to nearest).

> diff --git a/benchtests/Makefile b/benchtests/Makefile
>    cosh \
>    erf \
>    erfc \
> +  erff \
>    exp \

Ok.

> diff --git a/benchtests/erff-inputs b/benchtests/erff-inputs
> +## args: float
> +## ret: float
> +## includes: math.h
> +# Random inputs in [0,b=0x1.f5a888p+1]
> +# where b in the smallest number such that erff(b) rounds to 1 (to nearest)
> +## name: workload-random

Ok.

LGTM
Reviewed-by: DJ Delorie <dj@redhat.com>