Blame sysdeps/ieee754/flt-32/e_acoshf.c

Packit Service 82fcde
/* e_acoshf.c -- float version of e_acosh.c.
Packit Service 82fcde
 * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
Packit Service 82fcde
 */
Packit Service 82fcde
Packit Service 82fcde
/*
Packit Service 82fcde
 * ====================================================
Packit Service 82fcde
 * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
Packit Service 82fcde
 *
Packit Service 82fcde
 * Developed at SunPro, a Sun Microsystems, Inc. business.
Packit Service 82fcde
 * Permission to use, copy, modify, and distribute this
Packit Service 82fcde
 * software is freely granted, provided that this notice
Packit Service 82fcde
 * is preserved.
Packit Service 82fcde
 * ====================================================
Packit Service 82fcde
 */
Packit Service 82fcde
Packit Service 82fcde
#if defined(LIBM_SCCS) && !defined(lint)
Packit Service 82fcde
static char rcsid[] = "$NetBSD: e_acoshf.c,v 1.5 1995/05/12 04:57:20 jtc Exp $";
Packit Service 82fcde
#endif
Packit Service 82fcde
Packit Service 82fcde
#include <math.h>
Packit Service 82fcde
#include <math_private.h>
Packit Service 82fcde
Packit Service 82fcde
static const float
Packit Service 82fcde
one	= 1.0,
Packit Service 82fcde
ln2	= 6.9314718246e-01;  /* 0x3f317218 */
Packit Service 82fcde
Packit Service 82fcde
float __ieee754_acoshf(float x)
Packit Service 82fcde
{
Packit Service 82fcde
	float t;
Packit Service 82fcde
	int32_t hx;
Packit Service 82fcde
	GET_FLOAT_WORD(hx,x);
Packit Service 82fcde
	if(hx<0x3f800000) {		/* x < 1 */
Packit Service 82fcde
	    return (x-x)/(x-x);
Packit Service 82fcde
	} else if(hx >=0x4d800000) {	/* x > 2**28 */
Packit Service 82fcde
	    if(hx >=0x7f800000) {	/* x is inf of NaN */
Packit Service 82fcde
		return x+x;
Packit Service 82fcde
	    } else
Packit Service 82fcde
		return __ieee754_logf(x)+ln2;	/* acosh(huge)=log(2x) */
Packit Service 82fcde
	} else if (hx==0x3f800000) {
Packit Service 82fcde
	    return 0.0;			/* acosh(1) = 0 */
Packit Service 82fcde
	} else if (hx > 0x40000000) {	/* 2**28 > x > 2 */
Packit Service 82fcde
	    t=x*x;
Packit Service 82fcde
	    return __ieee754_logf((float)2.0*x-one/(x+sqrtf(t-one)));
Packit Service 82fcde
	} else {			/* 1
Packit Service 82fcde
	    t = x-one;
Packit Service 82fcde
	    return __log1pf(t+sqrtf((float)2.0*t+t*t));
Packit Service 82fcde
	}
Packit Service 82fcde
}
Packit Service 82fcde
strong_alias (__ieee754_acoshf, __acoshf_finite)