Implement missing hyperbolic Math functions from ES6 (#3670)
Math.cosh, Math.sinh, Math.tanh C implementation ported from fdlibm. Part of Issue #3568 JerryScript-DCO-1.0-Signed-off-by: Rafal Walczyna r.walczyna@samsung.com
This commit is contained in:
Rafal Walczyna
@@ -0,0 +1,113 @@
|
||||
/* Copyright JS Foundation and other contributors, http://js.foundation
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
* You may obtain a copy of the License at
|
||||
*
|
||||
* http://www.apache.org/licenses/LICENSE-2.0
|
||||
*
|
||||
* Unless required by applicable law or agreed to in writing, software
|
||||
* distributed under the License is distributed on an "AS IS" BASIS
|
||||
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
* See the License for the specific language governing permissions and
|
||||
* limitations under the License.
|
||||
*
|
||||
* This file is based on work under the following copyright and permission
|
||||
* notice:
|
||||
*
|
||||
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
||||
*
|
||||
* Developed at SunSoft, a Sun Microsystems, Inc. business.
|
||||
* Permission to use, copy, modify, and distribute this
|
||||
* software is freely granted, provided that this notice
|
||||
* is preserved.
|
||||
*
|
||||
* @(#)e_cosh.c 1.3 95/01/18
|
||||
*/
|
||||
|
||||
#include "jerry-libm-internal.h"
|
||||
|
||||
/* cosh(x)
|
||||
* Method:
|
||||
* mathematically cosh(x) if defined to be (exp(x) + exp(-x)) / 2
|
||||
* 1. Replace x by |x| (cosh(x) = cosh(-x)).
|
||||
* 2.
|
||||
* [ exp(x) - 1 ]^2
|
||||
* 0 <= x <= ln2/2 : cosh(x) := 1 + -------------------
|
||||
* 2*exp(x)
|
||||
*
|
||||
* exp(x) + 1/exp(x)
|
||||
* ln2/2 <= x <= 22 : cosh(x) := -------------------
|
||||
* 2
|
||||
*
|
||||
* 22 <= x <= lnovft : cosh(x) := exp(x)/2
|
||||
* lnovft <= x <= ln2ovft: cosh(x) := exp(x/2)/2 * exp(x/2)
|
||||
* ln2ovft < x : cosh(x) := huge * huge (overflow)
|
||||
*
|
||||
* Special cases:
|
||||
* cosh(x) is |x| if x is +INF, -INF, or NaN.
|
||||
* only cosh(0) = 1 is exact for finite x.
|
||||
*/
|
||||
|
||||
#define one 1.0
|
||||
#define half 0.5
|
||||
#define huge 1.0e300
|
||||
|
||||
double
|
||||
cosh (double x)
|
||||
{
|
||||
double t, w;
|
||||
int ix;
|
||||
unsigned lx;
|
||||
|
||||
/* High word of |x|. */
|
||||
ix = __HI (x);
|
||||
ix &= 0x7fffffff;
|
||||
|
||||
/* x is INF or NaN */
|
||||
if (ix >= 0x7ff00000)
|
||||
{
|
||||
return x * x;
|
||||
}
|
||||
/* |x| in [0, 0.5 * ln2], return 1 + expm1(|x|)^2 / (2 * exp(|x|)) */
|
||||
if (ix < 0x3fd62e43)
|
||||
{
|
||||
t = expm1 (fabs (x));
|
||||
w = one + t;
|
||||
if (ix < 0x3c800000)
|
||||
{
|
||||
/* cosh(tiny) = 1 */
|
||||
return w;
|
||||
}
|
||||
return one + (t * t) / (w + w);
|
||||
}
|
||||
|
||||
/* |x| in [0.5 * ln2, 22], return (exp(|x|) + 1 / exp(|x|) / 2; */
|
||||
if (ix < 0x40360000)
|
||||
{
|
||||
t = exp (fabs (x));
|
||||
return half * t + half / t;
|
||||
}
|
||||
|
||||
/* |x| in [22, log(maxdouble)] return half * exp(|x|) */
|
||||
if (ix < 0x40862E42)
|
||||
{
|
||||
return half * exp (fabs (x));
|
||||
}
|
||||
/* |x| in [log(maxdouble), overflowthresold] */
|
||||
lx = ((1 >> 29) + (unsigned int) x);
|
||||
if ((ix < 0x408633CE) ||
|
||||
((ix == 0x408633ce) && (lx <= (unsigned) 0x8fb9f87d)))
|
||||
{
|
||||
w = exp (half * fabs (x));
|
||||
t = half * w;
|
||||
return t * w;
|
||||
}
|
||||
|
||||
/* |x| > overflowthresold, cosh(x) overflow */
|
||||
return huge * huge;
|
||||
} /* cosh */
|
||||
|
||||
#undef one
|
||||
#undef half
|
||||
#undef huge
|
||||
@@ -56,6 +56,11 @@ double asin (double);
|
||||
double atan (double);
|
||||
double atan2 (double, double);
|
||||
|
||||
/* Hyperbolic functions. */
|
||||
double cosh (double x);
|
||||
double sinh (double x);
|
||||
double tanh (double x);
|
||||
|
||||
/* Inverse hyperbolic functions */
|
||||
double acosh (double);
|
||||
double asinh (double);
|
||||
|
||||
@@ -88,6 +88,10 @@ double cos (double x);
|
||||
double sin (double x);
|
||||
double tan (double x);
|
||||
|
||||
double cosh (double x);
|
||||
double sinh (double x);
|
||||
double tanh (double x);
|
||||
|
||||
double acosh (double x);
|
||||
double asinh (double x);
|
||||
double atanh (double x);
|
||||
|
||||
@@ -0,0 +1,115 @@
|
||||
/* Copyright JS Foundation and other contributors, http://js.foundation
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
* You may obtain a copy of the License at
|
||||
*
|
||||
* http://www.apache.org/licenses/LICENSE-2.0
|
||||
*
|
||||
* Unless required by applicable law or agreed to in writing, software
|
||||
* distributed under the License is distributed on an "AS IS" BASIS
|
||||
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
* See the License for the specific language governing permissions and
|
||||
* limitations under the License.
|
||||
*
|
||||
* This file is based on work under the following copyright and permission
|
||||
* notice:
|
||||
*
|
||||
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
||||
*
|
||||
* Developed at SunSoft, a Sun Microsystems, Inc. business.
|
||||
* Permission to use, copy, modify, and distribute this
|
||||
* software is freely granted, provided that this notice
|
||||
* is preserved.
|
||||
*
|
||||
* @(#)e_sinh.c 1.3 95/01/18
|
||||
*/
|
||||
|
||||
#include "jerry-libm-internal.h"
|
||||
|
||||
/* __sinh(x)
|
||||
* Method:
|
||||
* mathematically sinh(x) if defined to be (exp(x) - exp(-x)) / 2
|
||||
* 1. Replace x by |x| (sinh(-x) = -sinh(x)).
|
||||
* 2.
|
||||
* E + E/(E+1)
|
||||
* 0 <= x <= 22 : sinh(x) := -------------, E = expm1(x)
|
||||
* 2
|
||||
*
|
||||
* 22 <= x <= lnovft : sinh(x) := exp(x) / 2
|
||||
* lnovft <= x <= ln2ovft: sinh(x) := exp(x / 2) / 2 * exp(x / 2)
|
||||
* ln2ovft < x : sinh(x) := x * shuge (overflow)
|
||||
*
|
||||
* Special cases:
|
||||
* sinh(x) is |x| if x is +INF, -INF, or NaN.
|
||||
* only sinh(0) = 0 is exact for finite x.
|
||||
*/
|
||||
|
||||
#define one 1.0
|
||||
#define half 0.5
|
||||
#define shuge 1.0e307
|
||||
|
||||
double
|
||||
sinh (double x)
|
||||
{
|
||||
double t, w, h;
|
||||
int ix, jx;
|
||||
unsigned lx;
|
||||
|
||||
/* High word of |x|. */
|
||||
jx = __HI (x);
|
||||
ix = jx & 0x7fffffff;
|
||||
|
||||
/* x is INF or NaN */
|
||||
if (ix >= 0x7ff00000)
|
||||
{
|
||||
return x + x;
|
||||
}
|
||||
|
||||
h = 0.5;
|
||||
if (jx < 0)
|
||||
{
|
||||
h = -h;
|
||||
}
|
||||
/* |x| in [0,22], return sign(x) * 0.5 * (E + E / (E + 1))) */
|
||||
if (ix < 0x40360000)
|
||||
{
|
||||
/* |x| < 22 */
|
||||
if (ix < 0x3e300000)
|
||||
{
|
||||
/* |x| < 2**-28 */
|
||||
if (shuge + x > one)
|
||||
{
|
||||
/* sinh(tiny) = tiny with inexact */
|
||||
return x;
|
||||
}
|
||||
}
|
||||
t = expm1 (fabs (x));
|
||||
if (ix < 0x3ff00000)
|
||||
{
|
||||
return h * (2.0 * t - t * t / (t + one));
|
||||
}
|
||||
return h * (t + t / (t + one));
|
||||
}
|
||||
|
||||
/* |x| in [22, log(maxdouble)] return 0.5*exp(|x|) */
|
||||
if (ix < 0x40862E42)
|
||||
{
|
||||
return h * exp (fabs (x));
|
||||
}
|
||||
/* |x| in [log(maxdouble), overflowthresold] */
|
||||
lx = ((1 >> 29) + (unsigned int) x);
|
||||
if (ix < 0x408633CE || ((ix == 0x408633ce) && (lx <= (unsigned) 0x8fb9f87d)))
|
||||
{
|
||||
w = exp (0.5 * fabs (x));
|
||||
t = h * w;
|
||||
return t * w;
|
||||
}
|
||||
|
||||
/* |x| > overflowthresold, sinh(x) overflow */
|
||||
return x * shuge;
|
||||
} /* sinh */
|
||||
|
||||
#undef one
|
||||
#undef half
|
||||
#undef huge
|
||||
@@ -0,0 +1,117 @@
|
||||
/* Copyright JS Foundation and other contributors, http://js.foundation
|
||||
*
|
||||
* Licensed under the Apache License, Version 2.0 (the "License");
|
||||
* you may not use this file except in compliance with the License.
|
||||
* You may obtain a copy of the License at
|
||||
*
|
||||
* http://www.apache.org/licenses/LICENSE-2.0
|
||||
*
|
||||
* Unless required by applicable law or agreed to in writing, software
|
||||
* distributed under the License is distributed on an "AS IS" BASIS
|
||||
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||||
* See the License for the specific language governing permissions and
|
||||
* limitations under the License.
|
||||
*
|
||||
* This file is based on work under the following copyright and permission
|
||||
* notice:
|
||||
*
|
||||
* Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
|
||||
*
|
||||
* Developed at SunSoft, a Sun Microsystems, Inc. business.
|
||||
* Permission to use, copy, modify, and distribute this
|
||||
* software is freely granted, provided that this notice
|
||||
* is preserved.
|
||||
*
|
||||
* @(#)s_tanh.c 1.3 95/01/18
|
||||
*/
|
||||
|
||||
#include "jerry-libm-internal.h"
|
||||
|
||||
/* tanh(x)
|
||||
* Return the Hyperbolic Tangent of x
|
||||
*
|
||||
* Method:
|
||||
* x -x
|
||||
* e - e
|
||||
* 0. tanh(x) is defined to be -----------
|
||||
* x -x
|
||||
* e + e
|
||||
*
|
||||
* 1. reduce x to non-negative by tanh(-x) = -tanh(x).
|
||||
* 2. 0 <= x <= 2**-55 : tanh(x) := x * (one + x)
|
||||
*
|
||||
* -t
|
||||
* 2**-55 < x <= 1 : tanh(x) := -----; t = expm1(-2x)
|
||||
* t + 2
|
||||
*
|
||||
* 2
|
||||
* 1 <= x <= 22.0 : tanh(x) := 1- ----- ; t = expm1(2x)
|
||||
* t + 2
|
||||
*
|
||||
* 22.0 < x <= INF : tanh(x) := 1.
|
||||
*
|
||||
* Special cases:
|
||||
* tanh(NaN) is NaN;
|
||||
* only tanh(0) = 0 is exact for finite x.
|
||||
*/
|
||||
#define one 1.0
|
||||
#define two 2.0
|
||||
#define tiny 1.0e-300
|
||||
|
||||
double
|
||||
tanh (double x)
|
||||
{
|
||||
double t, z;
|
||||
int jx, ix;
|
||||
|
||||
/* High word of |x|. */
|
||||
jx = __HI (x);
|
||||
ix = jx & 0x7fffffff;
|
||||
|
||||
/* x is INF or NaN */
|
||||
if (ix >= 0x7ff00000)
|
||||
{
|
||||
if (jx >= 0)
|
||||
{
|
||||
/* tanh(+-inf) = +-1 */
|
||||
return one / x + one;
|
||||
}
|
||||
else
|
||||
{
|
||||
/* tanh(NaN) = NaN */
|
||||
return one / x - one;
|
||||
}
|
||||
}
|
||||
|
||||
/* |x| < 22 */
|
||||
if (ix < 0x40360000)
|
||||
{
|
||||
/* |x| < 2**-55 */
|
||||
if (ix < 0x3c800000)
|
||||
{
|
||||
/* tanh(small) = small */
|
||||
return x * (one + x);
|
||||
}
|
||||
if (ix >= 0x3ff00000)
|
||||
{
|
||||
/* |x| >= 1 */
|
||||
t = expm1 (two * fabs (x));
|
||||
z = one - two / (t + two);
|
||||
}
|
||||
else
|
||||
{
|
||||
t = expm1 (-two * fabs (x));
|
||||
z = -t / (t + two);
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
/* |x| > 22, return +-1 */
|
||||
z = one - tiny; /* raised inexact flag */
|
||||
}
|
||||
return (jx >= 0) ? z : -z;
|
||||
} /* tanh */
|
||||
|
||||
#undef one
|
||||
#undef two
|
||||
#undef tiny
|
||||
Reference in New Issue
Block a user