Blame math/w_acoshf_compat.c

Packit Service 82fcde
/* Copyright (C) 2011-2018 Free Software Foundation, Inc.
Packit Service 82fcde
   This file is part of the GNU C Library.
Packit Service 82fcde
   Contributed by Ulrich Drepper <drepper@gmail.com>, 2011.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
   modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
   License as published by the Free Software Foundation; either
Packit Service 82fcde
   version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
   The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
   but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
   Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
   You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
   License along with the GNU C Library; if not, see
Packit Service 82fcde
   <http://www.gnu.org/licenses/>.  */
Packit Service 82fcde
Packit Service 82fcde
#include <math.h>
Packit Service 82fcde
#include <math_private.h>
Packit Service 82fcde
#include <math-svid-compat.h>
Packit Service 82fcde
#include <libm-alias-float.h>
Packit Service 82fcde
Packit Service 82fcde
Packit Service 82fcde
#if LIBM_SVID_COMPAT
Packit Service 82fcde
/* wrapper acoshf */
Packit Service 82fcde
float
Packit Service 82fcde
__acoshf (float x)
Packit Service 82fcde
{
Packit Service 82fcde
  if (__builtin_expect (isless (x, 1.0f), 0) && _LIB_VERSION != _IEEE_)
Packit Service 82fcde
    /* acosh(x<1) */
Packit Service 82fcde
    return __kernel_standard_f (x, x, 129);
Packit Service 82fcde
Packit Service 82fcde
  return __ieee754_acoshf (x);
Packit Service 82fcde
}
Packit Service 82fcde
libm_alias_float (__acosh, acosh)
Packit Service 82fcde
#endif