/* 2009 for Newlib: Sun's s_ilogb.c converted to be s_logb.c. */ /* @(#)s_ilogb.c 5.1 93/09/24 */ /* * ==================================================== * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved. * * Developed at SunPro, a Sun Microsystems, Inc. business. * Permission to use, copy, modify, and distribute this * software is freely granted, provided that this notice * is preserved. * ==================================================== */ /* FUNCTION <>, <>---get exponent of floating-point number INDEX logb INDEX logbf SYNOPSIS #include double logb(double <[x]>); float logbf(float <[x]>); DESCRIPTION The <> functions extract the exponent of <[x]>, as a signed integer value in floating-point format. If <[x]> is subnormal it is treated as though it were normalized; thus, for positive finite <[x]>, @ifnottex 1 <= (<[x]> * FLT_RADIX to the power (-logb(<[x]>))) < FLT_RADIX. @end ifnottex @tex $1 \leq ( x \cdot FLT\_RADIX ^ {-logb(x)} ) < FLT\_RADIX$. @end tex A domain error may occur if the argument is zero. In this floating-point implementation, FLT_RADIX is 2. Which also means that for finite <[x]>, <>(<[x]>) = <>(<>(<>(<[x]>))). All nonzero, normal numbers can be described as @ifnottex <[m]> * 2**<[p]>, where 1.0 <= <[m]> < 2.0. @end ifnottex @tex $m \cdot 2^p$, where $1.0 \leq m < 2.0$. @end tex The <> functions examine the argument <[x]>, and return <[p]>. The <> functions are similar to the <> functions, but returning <[m]> adjusted to the interval [.5, 1) or 0, and <[p]>+1. RETURNS @comment Formatting note: "$@" forces a new line When <[x]> is:@* +inf or -inf, +inf is returned;@* NaN, NaN is returned;@* 0, -inf is returned, and the divide-by-zero exception is raised;@* otherwise, the <> functions return the signed exponent of <[x]>. PORTABILITY ANSI C, POSIX SEEALSO frexp, ilogb */ /* double logb(double x) * return the binary exponent of non-zero x * logb(0) = -inf, raise divide-by-zero floating point exception * logb(+inf|-inf) = +inf (no signal is raised) * logb(NaN) = NaN (no signal is raised) * Per C99 recommendation, a NaN argument is returned unchanged. */ #include "fdlibm.h" #ifdef _NEED_FLOAT64 __float64 logb64(__float64 x) { __int32_t hx,lx,ix; EXTRACT_WORDS(hx,lx,x); hx &= 0x7fffffff; /* high |x| */ if(hx<0x00100000) { /* 0 or subnormal */ if((hx|lx)==0) { /* arg==0: return -inf and raise divide-by-zero exception */ return -1./fabs64(x); /* logb(0) = -inf */ } else /* subnormal x */ if(hx==0) { for (ix = -1043; lx>0; lx<<=1) ix -=1; } else { for (ix = -1022,hx<<=11; hx>0; hx<<=1) ix -=1; } return (__float64) ix; } else if (hx<0x7ff00000) return (hx>>20)-1023; /* normal # */ else if (hx>0x7ff00000 || lx) return x+x; /* x==NaN */ else return HUGE_VAL; /* x==inf (+ or -) */ } _MATH_ALIAS_d_d(logb) #endif /* _NEED_FLOAT64 */