| 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 |