| xf.li | bdd93d5 | 2023-05-12 07:10:14 -0700 | [diff] [blame] | 1 | /* Complex sine hyperbole function for float. | 
|  | 2 | Copyright (C) 1997-2016 Free Software Foundation, Inc. | 
|  | 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 | 
|  | 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. | 
|  | 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 | 
|  | 14 | Lesser General Public License for more details. | 
|  | 15 |  | 
|  | 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/>.  */ | 
|  | 19 |  | 
|  | 20 | #include <complex.h> | 
|  | 21 | #include <fenv.h> | 
|  | 22 | #include <math.h> | 
|  | 23 | #include <math_private.h> | 
|  | 24 | #include <float.h> | 
|  | 25 |  | 
|  | 26 | __complex__ float | 
|  | 27 | __csinhf (__complex__ float x) | 
|  | 28 | { | 
|  | 29 | __complex__ float retval; | 
|  | 30 | int negate = signbit (__real__ x); | 
|  | 31 | int rcls = fpclassify (__real__ x); | 
|  | 32 | int icls = fpclassify (__imag__ x); | 
|  | 33 |  | 
|  | 34 | __real__ x = fabsf (__real__ x); | 
|  | 35 |  | 
|  | 36 | if (__glibc_likely (rcls >= FP_ZERO)) | 
|  | 37 | { | 
|  | 38 | /* Real part is finite.  */ | 
|  | 39 | if (__glibc_likely (icls >= FP_ZERO)) | 
|  | 40 | { | 
|  | 41 | /* Imaginary part is finite.  */ | 
|  | 42 | const int t = (int) ((FLT_MAX_EXP - 1) * M_LN2); | 
|  | 43 | float sinix, cosix; | 
|  | 44 |  | 
|  | 45 | if (__glibc_likely (fabsf (__imag__ x) > FLT_MIN)) | 
|  | 46 | { | 
|  | 47 | __sincosf (__imag__ x, &sinix, &cosix); | 
|  | 48 | } | 
|  | 49 | else | 
|  | 50 | { | 
|  | 51 | sinix = __imag__ x; | 
|  | 52 | cosix = 1.0f; | 
|  | 53 | } | 
|  | 54 |  | 
|  | 55 | if (negate) | 
|  | 56 | cosix = -cosix; | 
|  | 57 |  | 
|  | 58 | if (fabsf (__real__ x) > t) | 
|  | 59 | { | 
|  | 60 | float exp_t = __ieee754_expf (t); | 
|  | 61 | float rx = fabsf (__real__ x); | 
|  | 62 | if (signbit (__real__ x)) | 
|  | 63 | cosix = -cosix; | 
|  | 64 | rx -= t; | 
|  | 65 | sinix *= exp_t / 2.0f; | 
|  | 66 | cosix *= exp_t / 2.0f; | 
|  | 67 | if (rx > t) | 
|  | 68 | { | 
|  | 69 | rx -= t; | 
|  | 70 | sinix *= exp_t; | 
|  | 71 | cosix *= exp_t; | 
|  | 72 | } | 
|  | 73 | if (rx > t) | 
|  | 74 | { | 
|  | 75 | /* Overflow (original real part of x > 3t).  */ | 
|  | 76 | __real__ retval = FLT_MAX * cosix; | 
|  | 77 | __imag__ retval = FLT_MAX * sinix; | 
|  | 78 | } | 
|  | 79 | else | 
|  | 80 | { | 
|  | 81 | float exp_val = __ieee754_expf (rx); | 
|  | 82 | __real__ retval = exp_val * cosix; | 
|  | 83 | __imag__ retval = exp_val * sinix; | 
|  | 84 | } | 
|  | 85 | } | 
|  | 86 | else | 
|  | 87 | { | 
|  | 88 | __real__ retval = __ieee754_sinhf (__real__ x) * cosix; | 
|  | 89 | __imag__ retval = __ieee754_coshf (__real__ x) * sinix; | 
|  | 90 | } | 
|  | 91 |  | 
|  | 92 | math_check_force_underflow_complex (retval); | 
|  | 93 | } | 
|  | 94 | else | 
|  | 95 | { | 
|  | 96 | if (rcls == FP_ZERO) | 
|  | 97 | { | 
|  | 98 | /* Real part is 0.0.  */ | 
|  | 99 | __real__ retval = __copysignf (0.0, negate ? -1.0 : 1.0); | 
|  | 100 | __imag__ retval = __nanf ("") + __nanf (""); | 
|  | 101 |  | 
|  | 102 | if (icls == FP_INFINITE) | 
|  | 103 | feraiseexcept (FE_INVALID); | 
|  | 104 | } | 
|  | 105 | else | 
|  | 106 | { | 
|  | 107 | __real__ retval = __nanf (""); | 
|  | 108 | __imag__ retval = __nanf (""); | 
|  | 109 |  | 
|  | 110 | feraiseexcept (FE_INVALID); | 
|  | 111 | } | 
|  | 112 | } | 
|  | 113 | } | 
|  | 114 | else if (__glibc_likely (rcls == FP_INFINITE)) | 
|  | 115 | { | 
|  | 116 | /* Real part is infinite.  */ | 
|  | 117 | if (__glibc_likely (icls > FP_ZERO)) | 
|  | 118 | { | 
|  | 119 | /* Imaginary part is finite.  */ | 
|  | 120 | float sinix, cosix; | 
|  | 121 |  | 
|  | 122 | if (__glibc_likely (fabsf (__imag__ x) > FLT_MIN)) | 
|  | 123 | { | 
|  | 124 | __sincosf (__imag__ x, &sinix, &cosix); | 
|  | 125 | } | 
|  | 126 | else | 
|  | 127 | { | 
|  | 128 | sinix = __imag__ x; | 
|  | 129 | cosix = 1.0f; | 
|  | 130 | } | 
|  | 131 |  | 
|  | 132 | __real__ retval = __copysignf (HUGE_VALF, cosix); | 
|  | 133 | __imag__ retval = __copysignf (HUGE_VALF, sinix); | 
|  | 134 |  | 
|  | 135 | if (negate) | 
|  | 136 | __real__ retval = -__real__ retval; | 
|  | 137 | } | 
|  | 138 | else if (icls == FP_ZERO) | 
|  | 139 | { | 
|  | 140 | /* Imaginary part is 0.0.  */ | 
|  | 141 | __real__ retval = negate ? -HUGE_VALF : HUGE_VALF; | 
|  | 142 | __imag__ retval = __imag__ x; | 
|  | 143 | } | 
|  | 144 | else | 
|  | 145 | { | 
|  | 146 | /* The addition raises the invalid exception.  */ | 
|  | 147 | __real__ retval = HUGE_VALF; | 
|  | 148 | __imag__ retval = __nanf ("") + __nanf (""); | 
|  | 149 |  | 
|  | 150 | #ifdef FE_INVALID | 
|  | 151 | if (icls == FP_INFINITE) | 
|  | 152 | feraiseexcept (FE_INVALID); | 
|  | 153 | #endif | 
|  | 154 | } | 
|  | 155 | } | 
|  | 156 | else | 
|  | 157 | { | 
|  | 158 | __real__ retval = __nanf (""); | 
|  | 159 | __imag__ retval = __imag__ x == 0.0 ? __imag__ x : __nanf (""); | 
|  | 160 | } | 
|  | 161 |  | 
|  | 162 | return retval; | 
|  | 163 | } | 
|  | 164 | #ifndef __csinhf | 
|  | 165 | weak_alias (__csinhf, csinhf) | 
|  | 166 | #endif |