Retro68/gcc/newlib/libm/mathfp/s_ldexp.c

126 lines
2.3 KiB
C
Raw Normal View History

2017-04-11 21:13:36 +00:00
/* @(#)z_ldexp.c 1.0 98/08/13 */
/*
FUNCTION
<<ldexp>>, <<ldexpf>>---load exponent
INDEX
ldexp
INDEX
ldexpf
ANSI_SYNOPSIS
#include <math.h>
double ldexp(double <[val]>, int <[exp]>);
float ldexpf(float <[val]>, int <[exp]>);
TRAD_SYNOPSIS
#include <math.h>
double ldexp(<[val]>, <[exp]>)
double <[val]>;
int <[exp]>;
float ldexpf(<[val]>, <[exp]>)
float <[val]>;
int <[exp]>;
DESCRIPTION
<<ldexp>> calculates the value
@ifnottex
<[val]> times 2 to the power <[exp]>.
@end ifnottex
@tex
$val\times 2^{exp}$.
@end tex
<<ldexpf>> is identical, save that it takes and returns <<float>>
rather than <<double>> values.
RETURNS
<<ldexp>> returns the calculated value.
Underflow and overflow both set <<errno>> to <<ERANGE>>.
On underflow, <<ldexp>> and <<ldexpf>> return 0.0.
On overflow, <<ldexp>> returns plus or minus <<HUGE_VAL>>.
PORTABILITY
<<ldexp>> is ANSI. <<ldexpf>> is an extension.
*/
/******************************************************************
* ldexp
*
* Input:
* d - a floating point value
* e - an exponent value
*
* Output:
* A floating point value f such that f = d * 2 ^ e.
*
* Description:
* This function creates a floating point number f such that
* f = d * 2 ^ e.
*
*****************************************************************/
#include <float.h>
#include "fdlibm.h"
#include "zmath.h"
#ifndef _DOUBLE_IS_32BITS
#define DOUBLE_EXP_OFFS 1023
double
_DEFUN (ldexp, (double, int),
double d _AND
int e)
{
int exp;
__uint32_t hd;
GET_HIGH_WORD (hd, d);
/* Check for special values and then scale d by e. */
switch (numtest (d))
{
case NAN:
errno = EDOM;
break;
case INF:
errno = ERANGE;
break;
case 0:
break;
default:
exp = (hd & 0x7ff00000) >> 20;
exp += e;
if (exp > DBL_MAX_EXP + DOUBLE_EXP_OFFS)
{
errno = ERANGE;
d = z_infinity.d;
}
else if (exp < DBL_MIN_EXP + DOUBLE_EXP_OFFS)
{
errno = ERANGE;
d = -z_infinity.d;
}
else
{
hd &= 0x800fffff;
hd |= exp << 20;
SET_HIGH_WORD (d, hd);
}
}
return (d);
}
#endif /* _DOUBLE_IS_32BITS */