]>
Commit | Line | Data |
---|---|---|
993b3242 | 1 | /* Complex cosine hyperbole function for float. |
d4697bc9 | 2 | Copyright (C) 1997-2014 Free Software Foundation, Inc. |
993b3242 UD |
3 | This file is part of the GNU C Library. |
4 | Contributed by Ulrich Drepper <drepper@cygnus.com>, 1997. | |
5 | ||
6 | The GNU C Library is free software; you can redistribute it and/or | |
41bdb6e2 AJ |
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. | |
993b3242 UD |
10 | |
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 | |
41bdb6e2 | 14 | Lesser General Public License for more details. |
993b3242 | 15 | |
41bdb6e2 | 16 | You should have received a copy of the GNU Lesser General Public |
59ba27a6 PE |
17 | License along with the GNU C Library; if not, see |
18 | <http://www.gnu.org/licenses/>. */ | |
993b3242 UD |
19 | |
20 | #include <complex.h> | |
779ae82e | 21 | #include <fenv.h> |
993b3242 | 22 | #include <math.h> |
9277c064 | 23 | #include <math_private.h> |
e0b16cc2 | 24 | #include <float.h> |
993b3242 UD |
25 | |
26 | __complex__ float | |
27 | __ccoshf (__complex__ float x) | |
28 | { | |
29 | __complex__ float retval; | |
63551311 UD |
30 | int rcls = fpclassify (__real__ x); |
31 | int icls = fpclassify (__imag__ x); | |
993b3242 | 32 | |
a1ffb40e | 33 | if (__glibc_likely (rcls >= FP_ZERO)) |
993b3242 | 34 | { |
63551311 | 35 | /* Real part is finite. */ |
a1ffb40e | 36 | if (__glibc_likely (icls >= FP_ZERO)) |
993b3242 | 37 | { |
63551311 | 38 | /* Imaginary part is finite. */ |
e0b16cc2 | 39 | const int t = (int) ((FLT_MAX_EXP - 1) * M_LN2); |
7799b7b3 | 40 | float sinix, cosix; |
993b3242 | 41 | |
a1ffb40e | 42 | if (__glibc_likely (icls != FP_SUBNORMAL)) |
6d3bf199 LD |
43 | { |
44 | __sincosf (__imag__ x, &sinix, &cosix); | |
45 | } | |
46 | else | |
47 | { | |
48 | sinix = __imag__ x; | |
49 | cosix = 1.0f; | |
50 | } | |
7799b7b3 | 51 | |
e0b16cc2 JM |
52 | if (fabsf (__real__ x) > t) |
53 | { | |
54 | float exp_t = __ieee754_expf (t); | |
55 | float rx = fabsf (__real__ x); | |
56 | if (signbit (__real__ x)) | |
57 | sinix = -sinix; | |
58 | rx -= t; | |
59 | sinix *= exp_t / 2.0f; | |
60 | cosix *= exp_t / 2.0f; | |
61 | if (rx > t) | |
62 | { | |
63 | rx -= t; | |
64 | sinix *= exp_t; | |
65 | cosix *= exp_t; | |
66 | } | |
67 | if (rx > t) | |
68 | { | |
69 | /* Overflow (original real part of x > 3t). */ | |
70 | __real__ retval = FLT_MAX * cosix; | |
71 | __imag__ retval = FLT_MAX * sinix; | |
72 | } | |
73 | else | |
74 | { | |
75 | float exp_val = __ieee754_expf (rx); | |
76 | __real__ retval = exp_val * cosix; | |
77 | __imag__ retval = exp_val * sinix; | |
78 | } | |
79 | } | |
80 | else | |
81 | { | |
82 | __real__ retval = __ieee754_coshf (__real__ x) * cosix; | |
83 | __imag__ retval = __ieee754_sinhf (__real__ x) * sinix; | |
84 | } | |
f0302940 JM |
85 | |
86 | if (fabsf (__real__ retval) < FLT_MIN) | |
87 | { | |
88 | volatile float force_underflow | |
89 | = __real__ retval * __real__ retval; | |
90 | (void) force_underflow; | |
91 | } | |
92 | if (fabsf (__imag__ retval) < FLT_MIN) | |
93 | { | |
94 | volatile float force_underflow | |
95 | = __imag__ retval * __imag__ retval; | |
96 | (void) force_underflow; | |
97 | } | |
993b3242 UD |
98 | } |
99 | else | |
100 | { | |
63551311 | 101 | __imag__ retval = __real__ x == 0.0 ? 0.0 : __nanf (""); |
779ae82e UD |
102 | __real__ retval = __nanf (""); |
103 | ||
779ae82e UD |
104 | if (icls == FP_INFINITE) |
105 | feraiseexcept (FE_INVALID); | |
993b3242 UD |
106 | } |
107 | } | |
a1ffb40e | 108 | else if (__glibc_likely (rcls == FP_INFINITE)) |
993b3242 | 109 | { |
63551311 | 110 | /* Real part is infinite. */ |
a1ffb40e | 111 | if (__glibc_likely (icls > FP_ZERO)) |
993b3242 | 112 | { |
63551311 | 113 | /* Imaginary part is finite. */ |
7799b7b3 UD |
114 | float sinix, cosix; |
115 | ||
a1ffb40e | 116 | if (__glibc_likely (icls != FP_SUBNORMAL)) |
6d3bf199 LD |
117 | { |
118 | __sincosf (__imag__ x, &sinix, &cosix); | |
119 | } | |
120 | else | |
121 | { | |
122 | sinix = __imag__ x; | |
123 | cosix = 1.0f; | |
124 | } | |
7799b7b3 UD |
125 | |
126 | __real__ retval = __copysignf (HUGE_VALF, cosix); | |
0a54e401 UD |
127 | __imag__ retval = (__copysignf (HUGE_VALF, sinix) |
128 | * __copysignf (1.0, __real__ x)); | |
993b3242 | 129 | } |
bc62c2fb UD |
130 | else if (icls == FP_ZERO) |
131 | { | |
132 | /* Imaginary part is 0.0. */ | |
133 | __real__ retval = HUGE_VALF; | |
134 | __imag__ retval = __imag__ x * __copysignf (1.0, __real__ x); | |
135 | } | |
993b3242 UD |
136 | else |
137 | { | |
138 | /* The addition raises the invalid exception. */ | |
139 | __real__ retval = HUGE_VALF; | |
140 | __imag__ retval = __nanf ("") + __nanf (""); | |
779ae82e UD |
141 | |
142 | #ifdef FE_INVALID | |
143 | if (icls == FP_INFINITE) | |
144 | feraiseexcept (FE_INVALID); | |
145 | #endif | |
993b3242 UD |
146 | } |
147 | } | |
148 | else | |
149 | { | |
63551311 UD |
150 | __real__ retval = __nanf (""); |
151 | __imag__ retval = __imag__ x == 0.0 ? __imag__ x : __nanf (""); | |
993b3242 UD |
152 | } |
153 | ||
154 | return retval; | |
155 | } | |
1705f0a3 | 156 | #ifndef __ccoshf |
993b3242 | 157 | weak_alias (__ccoshf, ccoshf) |
1705f0a3 | 158 | #endif |