1 /* ix87 specific implementation of arcsinh.
2 Copyright (C) 1996-1997, 2005, 2012 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Contributed by Ulrich Drepper <drepper@cygnus.com>, 1996.
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; if not, see
18 <http://www.gnu.org/licenses/>. */
20 #include <machine/asm.h>
25 ASM_TYPE_DIRECTIVE(huge,@object)
27 ASM_SIZE_DIRECTIVE(huge)
29 /* Please note that we use double value for 1.0. This number
30 has an exact representation and so we don't get accuracy
31 problems. The advantage is that the code is simpler. */
32 ASM_TYPE_DIRECTIVE(one,@object)
34 ASM_SIZE_DIRECTIVE(one)
35 /* It is not important that this constant is precise. It is only
36 a value which is known to be on the safe side for using the
37 fyl2xp1 instruction. */
38 ASM_TYPE_DIRECTIVE(limit,@object)
40 ASM_SIZE_DIRECTIVE(limit)
43 #define MO(op) op##@GOTOFF(%edx)
57 jz 7f // x in ±Inf or NaN
62 fldln2 // log(2) : |x|
72 // 2^-34 <= |x| <= 2 => y = sign(x)*log1p(|x|+|x|^2/(1+sqrt(1+|x|^2)))
73 fld %st // |x| : |x| : log(2)
74 fmul %st(1) // |x|^2 : |x| : log(2)
75 fld %st // |x|^2 : |x|^2 : |x| : log(2)
76 faddl MO(one) // 1+|x|^2 : |x|^2 : |x| : log(2)
77 fsqrt // sqrt(1+|x|^2) : |x|^2 : |x| : log(2)
78 faddl MO(one) // 1+sqrt(1+|x|^2) : |x|^2 : |x| : log(2)
79 fdivrp // |x|^2/(1+sqrt(1+|x|^2)) : |x| : log(2)
80 faddp // |x|+|x|^2/(1+sqrt(1+|x|^2)) : log(2)
99 // |x| < 2^-34 => y = x (inexact iff |x| != 0.0)
108 fldt MO(huge) // huge : x : x
113 // |x| > 2^34 => y = sign(x) * (log(|x|) + log(2))
116 fldln2 // log(2) : log(|x|)
117 faddp // log(|x|)+log(2)
122 // |x| > 2 => y = sign(x) * log(2*|x| + 1/(|x|+sqrt(x*x+1)))
124 5: fld %st // |x| : |x| : log(2)
125 fadd %st, %st(1) // |x| : 2*|x| : log(2)
126 fld %st // |x| : |x| : 2*|x| : log(2)
127 fmul %st(1) // |x|^2 : |x| : 2*|x| : log(2)
128 faddl MO(one) // 1+|x|^2 : |x| : 2*|x| : log(2)
129 fsqrt // sqrt(1+|x|^2) : |x| : 2*|x| : log(2)
130 faddp // |x|+sqrt(1+|x|^2) : 2*|x| : log(2)
131 fdivrl MO(one) // 1/(|x|+sqrt(1+|x|^2)) : 2*|x| : log(2)
132 faddp // 2*|x|+1/(|x|+sqrt(1+|x|^2)) : log(2)
133 fyl2x // log(2*|x|+1/(|x|+sqrt(1+|x|^2)))
138 weak_alias (__asinhl, asinhl)