| Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-09-05 | math: fix atanh (overflow and underflow issues)•••in atanh exception handling was left to the called log functions,
but the argument to those functions could underflow or overflow.
use double_t and float_t to avoid some useless stores on x86
| Szabolcs Nagy | 3 | -14/+37 |
| 2013-09-05 | math: remove libc.h include from libm.h•••libc.h is only for weak_alias so include it directly where it is used
| Szabolcs Nagy | 5 | -3/+5 |
| 2013-09-05 | math: fix acoshf on negative values•••acosh(x) is invalid for x<1, acoshf tried to be clever using
signed comparisions to handle all x<2 the same way, but the
formula was wrong on large negative values.
| Szabolcs Nagy | 2 | -7/+8 |
| 2013-09-05 | math: fix expm1l on x86_64 (avoid underflow for large negative x)•••copy the fix from i386: return -1 instead of exp2l(x)-1 when x <= -65
| Szabolcs Nagy | 3 | -3/+13 |
| 2013-09-05 | math: fix lrintl.s on x86_64 (use movslq to signextend the result) | Szabolcs Nagy | 1 | -1/+1 |
| 2013-09-05 | math: fix exp2l asm on x86 (raise underflow correctly)•••there were two problems:
* omitted underflow on subnormal results: exp2l(-16383.5) was calculated
as sqrt(2)*2^-16384, the last bits of sqrt(2) are zero so the down scaling
does not underflow eventhough the result is in subnormal range
* spurious underflow for subnormal inputs: exp2l(0x1p-16400) was evaluated
as f2xm1(x)+1 and f2xm1 raised underflow (because inexact subnormal result)
the first issue is fixed by raising underflow manually if x is in
(-32768,-16382] and not integer (x-0x1p63+0x1p63 != x)
the second issue is fixed by treating x in (-0x1p64,0x1p64) specially
for these fixes the special case handling was completely rewritten
| Szabolcs Nagy | 2 | -67/+78 |
| 2013-09-05 | math: cosmetic cleanup (use explicit union instead of fshape and dshape) | Szabolcs Nagy | 11 | -166/+140 |
| 2013-09-05 | math: remove *_WORD64 macros from libm.h•••only fma used these macros and the explicit union is clearer
| Szabolcs Nagy | 2 | -29/+13 |
| 2013-09-05 | math: remove old longdbl.h | Szabolcs Nagy | 2 | -113/+0 |
| 2013-09-05 | math: long double fix (use ldshape union)•••* use new ldshape union consistently
* add ld128 support to frexpl
* simplify sqrtl comment (ld64 is not just arm)
| Szabolcs Nagy | 8 | -51/+24 |
| 2013-09-05 | math: use float_t and double_t in scalbnf and scalbn•••remove STRICT_ASSIGN (c99 semantics is assumed) and use the conventional
union to prepare the scaling factor (so libm.h is no longer needed)
| Szabolcs Nagy | 2 | -16/+20 |
| 2013-09-05 | math: fix remaining old long double code (erfl, fmal, lgammal, scalbnl)•••in lgammal don't handle 1 and 2 specially, in fma use the new ldshape
union instead of ld80 one.
| Szabolcs Nagy | 5 | -93/+65 |
| 2013-09-05 | math: cbrt cleanup and long double fix•••* use float_t and double_t
* cleanup subnormal handling
* bithacks according to the new convention (ldshape for long double
and explicit unions for float and double)
| Szabolcs Nagy | 3 | -72/+59 |
| 2013-09-05 | math: fix underflow in exp*.c and long double handling in exp2l•••* don't care about inexact flag
* use double_t and float_t (faster, smaller, more precise on x86)
* exp: underflow when result is zero or subnormal and not -inf
* exp2: underflow when result is zero or subnormal and not exact
* expm1: underflow when result is zero or subnormal
* expl: don't underflow on -inf
* exp2: fix incorrect comment
* expm1: simplify special case handling and overflow properly
* expm1: cleanup final scaling and fix negative left shift ub (twopk)
| Szabolcs Nagy | 8 | -182/+139 |
| 2013-09-05 | math: long double trigonometric cleanup (cosl, sinl, sincosl, tanl)•••ld128 support was added to internal kernel functions (__cosl, __sinl,
__tanl, __rem_pio2l) from freebsd (not tested, but should be a good
start for when ld128 arch arrives)
__rem_pio2l had some code cleanup, the freebsd ld128 code seems to
gather the results of a large reduction with precision loss (fixed
the bug but a todo comment was added for later investigation)
the old copyright was removed from the non-kernel wrapper functions
(cosl, sinl, sincosl, tanl) since these are trivial and the interesting
parts and comments had been already rewritten.
| Szabolcs Nagy | 8 | -236/+228 |
| 2013-09-05 | math: long double inverse trigonometric cleanup (acosl, asinl, atanl, atan2l)•••* added ld128 support from freebsd fdlibm (untested)
* using new ldshape union instead of IEEEl2bits
* inexact status flag is not supported
| Szabolcs Nagy | 6 | -103/+180 |
| 2013-09-05 | math: rewrite hypot•••method: if there is a large difference between the scale of x and y
then the larger magnitude dominates, otherwise reduce x,y so the
argument of sqrt (x*x+y*y) does not overflow or underflow and calculate
the argument precisely using exact multiplication. If the argument
has less error than 1/sqrt(2) ~ 0.7 ulp, then the result has less error
than 1 ulp in nearest rounding mode.
the original fdlibm method was the same, except it used bit hacks
instead of dekker-veltkamp algorithm, which is problematic for long
double where different representations are supported. (the new hypot
and hypotl code should be smaller and faster on 32bit cpu archs with
fast fpu), the new code behaves differently in non-nearest rounding,
but the error should be still less than 2ulps.
ld80 and ld128 are supported
| Szabolcs Nagy | 3 | -324/+135 |
| 2013-09-05 | math: rewrite remainder functions (remainder, remquo, fmod, modf)•••* results are exact
* modfl follows truncl (raises inexact flag spuriously now)
* modf and modff only had cosmetic cleanup
* remainder is just a wrapper around remquo now
* using iterative shift+subtract for remquo and fmod
* ld80 and ld128 are supported as well
| Szabolcs Nagy | 11 | -1008/+470 |
| 2013-09-05 | math: rewrite rounding functions (ceil, floor, trunc, round, rint)•••* faster, smaller, cleaner implementation than the bit hacks of fdlibm
* use arithmetics like y=(double)(x+0x1p52)-0x1p52, which is an integer
neighbor of x in all rounding modes (0<=x<0x1p52) and only use bithacks
when that's faster and smaller (for float it usually is)
* the code assumes standard excess precision handling for casts
* long double code supports both ld80 and ld128
* nearbyint is not changed (it is a wrapper around rint)
| Szabolcs Nagy | 15 | -904/+273 |
| 2013-09-05 | math: fix logb(-0.0) in downward rounding mode•••use -1/(x*x) instead of -1/(x+0) to return -inf, -0+0 is -0 in
downward rounding mode
| Szabolcs Nagy | 3 | -6/+6 |
| 2013-09-05 | math: ilogb cleanup•••* consistent code style
* explicit union instead of typedef for double and float bit access
* turn FENV_ACCESS ON to make 0/0.0f raise invalid flag
* (untested) ld128 version of ilogbl (used by logbl which has ld128 support)
| Szabolcs Nagy | 3 | -16/+43 |
| 2013-09-05 | long double cleanup, initial commit•••new ldshape union, ld128 support is kept, code that used the old
ldshape union was rewritten (IEEEl2bits union of freebsd libm is
not touched yet)
ld80 __fpclassifyl no longer tries to handle invalid representation
| Szabolcs Nagy | 8 | -96/+89 |
| 2013-09-04 | fix typo in comment in __randname | Rich Felker | 1 | -1/+1 |
| 2013-09-02 | fix mips-specific bug in synccall (too little space for signal mask)•••switch to the new __block_all_sigs/__restore_sigs internal API to
clean up the code too.
| Rich Felker | 1 | -5/+3 |
| 2013-09-02 | in synccall, ignore the signal before any threads' signal handlers return•••this protects against deadlock from spurious signals (e.g. sent by
another process) arriving after the controlling thread releases the
other threads from the sync operation.
| Rich Felker | 1 | -4/+4 |
| 2013-09-02 | fix invalid pointer in synccall (multithread setuid, etc.)•••the head pointer was not being reset between calls to synccall, so any
use of this interface more than once would build the linked list
incorrectly, keeping the (now invalid) list nodes from the previous
call.
| Rich Felker | 1 | -0/+1 |
| 2013-09-01 | fix special-case breakage in popen due to reversed argument order | Rich Felker | 1 | -1/+1 |
