| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | math: support invalid ld80 representations in fpclassify•••apparently gnulib requires invalid long double representations
to be handled correctly in printf so we classify them according
to how the fpu treats them: bad inf is nan, bad nan is nan,
bad normal is nan and bad subnormal/zero is minimal normal
| Szabolcs Nagy | 2013-09-05 | 1 | -2/+4 |
| * | 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 | 2013-09-05 | 3 | -14/+37 |
| * | 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 | 2013-09-05 | 5 | -3/+5 |
| * | 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 | 2013-09-05 | 2 | -7/+8 |
| * | 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 | 2013-09-05 | 3 | -3/+13 |
| * | math: fix lrintl.s on x86_64 (use movslq to signextend the result) | Szabolcs Nagy | 2013-09-05 | 1 | -1/+1 |
| * | 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 | 2013-09-05 | 2 | -67/+78 |
| * | math: cosmetic cleanup (use explicit union instead of fshape and dshape) | Szabolcs Nagy | 2013-09-05 | 11 | -166/+140 |
| * | math: remove *_WORD64 macros from libm.h•••only fma used these macros and the explicit union is clearer
| Szabolcs Nagy | 2013-09-05 | 2 | -29/+13 |
| * | math: remove old longdbl.h | Szabolcs Nagy | 2013-09-05 | 2 | -113/+0 |
| * | 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 | 2013-09-05 | 8 | -51/+24 |
| * | 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 | 2013-09-05 | 2 | -16/+20 |
| * | 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 | 2013-09-05 | 5 | -93/+65 |
| * | 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 | 2013-09-05 | 3 | -72/+59 |
| * | 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 | 2013-09-05 | 8 | -182/+139 |
| * | 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 | 2013-09-05 | 8 | -236/+228 |
| * | 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 | 2013-09-05 | 6 | -103/+180 |
| * | 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 | 2013-09-05 | 3 | -324/+135 |
| * | 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 | 2013-09-05 | 11 | -1008/+470 |
| * | 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 | 2013-09-05 | 15 | -904/+273 |
| * | 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 | 2013-09-05 | 3 | -6/+6 |
| * | 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 | 2013-09-05 | 3 | -16/+43 |
| * | 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 | 2013-09-05 | 8 | -96/+89 |
| * | fix typo in comment in __randname | Rich Felker | 2013-09-04 | 1 | -1/+1 |
| * | 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 | 2013-09-02 | 1 | -5/+3 |
| * | 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 | 2013-09-02 | 1 | -4/+4 |
| * | 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 | 2013-09-02 | 1 | -0/+1 |
| * | fix special-case breakage in popen due to reversed argument order | Rich Felker | 2013-09-01 | 1 | -1/+1 |
| * | fix missing return value warning in faccessat, minor cleanup•••clone will pass the return value of the start function to SYS_exit
anyway; there's no need to call the syscall directly.
| Rich Felker | 2013-08-31 | 1 | -1/+1 |
| * | fix invalid %m format crash in wide scanf variants•••the wide variant was missed in the previous commit.
| Rich Felker | 2013-08-31 | 1 | -0/+2 |
| * | avoid crash in scanf when invalid %m format is encountered•••invalid format strings invoke undefined behavior, so this is not a
conformance issue, but it's nicer for scanf to report the error safely
instead of calling free on a potentially-uninitialized pointer or a
pointer to memory belonging to the caller.
| Rich Felker | 2013-08-31 | 1 | -0/+2 |
| * | remove incorrect cancellation points from realpath | Rich Felker | 2013-08-31 | 1 | -4/+4 |
| * | debloat realpath's allocation strategy•••rather than allocating a PATH_MAX-sized buffer when the caller does
not provide an output buffer, work first with a PATH_MAX-sized temp
buffer with automatic storage, and either copy it to the caller's
buffer or strdup it on success. this not only avoids massive memory
waste, but also avoids pulling in free (and thus the full malloc
implementation) unnecessarily in static programs.
| Rich Felker | 2013-08-31 | 1 | -12/+6 |
| * | make realpath use O_PATH when opening the file•••this avoids failure if the file is not readable and avoids odd
behavior for device nodes, etc. on old kernels that lack O_PATH, the
old behavior (O_RDONLY) will naturally happen as the fallback.
| Rich Felker | 2013-08-31 | 1 | -1/+1 |
| * | fix breakage in synccall due to incorrect signal restoration in sigqueue•••commit 07827d1a82fb33262f686eda959857f0d28cd8fa seems to have
introduced this issue. sigqueue is called from the synccall core, at
which time, even implementation-internal signals are blocked. however,
pthread_sigmask removes the implementation-internal signals from the
old mask before returning, so that a process which began life with
them blocked will not be able to save a signal mask that has them
blocked, possibly causing them to become re-blocked later. however,
this was causing sigqueue to unblock the implementation-internal
signals during synccall, leading to deadlock.
| Rich Felker | 2013-08-31 | 1 | -2/+3 |
| * | optimized C memcpy•••unlike the old C memcpy, this version handles word-at-a-time reads and
writes even for misaligned copies. it does not require that the cpu
support misaligned accesses; instead, it performs bit shifts to
realign the bytes for the destination.
essentially, this is the C version of the ARM assembly language
memcpy. the ideas are all the same, and it should perform well on any
arch with a decent number of general-purpose registers that has a
barrel shift operation. since the barrel shifter is an optional cpu
feature on microblaze, it may be desirable to provide an alternate asm
implementation on microblaze, but otherwise the C code provides a
competitive implementation for "generic risc-y" cpu archs that should
alleviate the urgent need for arch-specific memcpy asm.
| Rich Felker | 2013-08-28 | 1 | -16/+111 |
| * | fix invalid instruction mnemonics in powerpc fenv asm•••there is no non-dot version of the andis instruction, but there's no
harm in updating the flags anyway, so just use the dot version.
| Rich Felker | 2013-08-27 | 1 | -3/+3 |
| * | optimized C memset•••this version of memset is optimized both for small and large values of
n, and makes no misaligned writes, so it is usable (and near-optimal)
on all archs. it is capable of filling up to 52 or 56 bytes without
entering a loop and with at most 7 branches, all of which can be fully
predicted if memset is called multiple times with the same size.
it also uses the attribute extension to inform the compiler that it is
violating the aliasing rules, unlike the previous code which simply
assumed it was safe to violate the aliasing rules since translation
unit boundaries hide the violations from the compiler. for non-GNUC
compilers, 100% portable fallback code in the form of a naive loop is
provided. I intend to eventually apply this approach to all of the
string/memory functions which are doing word-at-a-time accesses.
| Rich Felker | 2013-08-27 | 1 | -12/+77 |
| * | add the %s (seconds since the epoch) format to strftime•••this is a nonstandard extension but will be required in the next
version of POSIX, and it's widely used/useful in shell scripts
utilizing the date utility.
| Rich Felker | 2013-08-25 | 1 | -0/+4 |
| * | fix strftime regression in %e format•••%e pads with spaces instead of zeros.
| Rich Felker | 2013-08-24 | 1 | -2/+2 |
| * | properly fill in tzname[] for old (pre-64-bit-format) zoneinfo files•••in this case, the first standard-time and first daylight-time rules
should be taken as the "default" ones to expose.
| Rich Felker | 2013-08-24 | 1 | -1/+22 |
| * | minor fix to tz name checking•••if a zoneinfo file is not (or is no longer) in use, don't check the
abbrevs pointers, which may be invalid.
| Rich Felker | 2013-08-24 | 1 | -2/+2 |
| * | fix strftime handling of time zone data•••this may need further revision in the future, since POSIX is rather
unclear on the requirements, and is designed around the assumption of
POSIX TZ specifiers which are not sufficiently powerful to represent
real-world timezones (this is why zoneinfo support was added).
the basic issue is that strftime gets the string and numeric offset
for the timezone from the extra fields in struct tm, which are
initialized when calling localtime/gmtime/etc. however, a conforming
application might have created its own struct tm without initializing
these fields, in which case using __tm_zone (a pointer) could crash.
other zoneinfo-based implementations simply check for a null pointer,
but otherwise can still crash of the field contains junk.
simply ignoring __tm_zone and using tzname[] would "work" but would
give incorrect results in time zones with more complex rules. I feel
like this would lower the quality of implementation.
instead, simply validate __tm_zone: unless it points to one of the
zone name strings managed by the timezone system, assume it's invalid.
this commit also fixes several other minor bugs with formatting:
tm_isdst being negative is required to suppress printing of the zone
formats, and %z was using the wrong format specifiers since the type
of val was changed, resulting in bogus output.
| Rich Felker | 2013-08-24 | 4 | -8/+36 |
| * | make dlopen honor the rpath of the main program•••this seems to match what other systems do, and seems useful for
programs that have their libraries and plugins stored relative to the
executable.
| Rich Felker | 2013-08-23 | 1 | -1/+1 |
| * | fix mishandling of empty or blank TZ environment variable•••the empty TZ string was matching equal to the initial value of the
cached TZ name, thus causing do_tzset never to run and never to
initialize the time zone data.
| Rich Felker | 2013-08-23 | 1 | -1/+1 |
| * | fix regression in dn_expand/reverse dns•••off-by-one error copying the name components was yielding junk at the
beginning and truncating one character at the end (of every
component).
| Rich Felker | 2013-08-23 | 1 | -1/+1 |
| * | fix bugs in $ORIGIN handling•••1. an occurrence of ${ORIGIN} before $ORIGIN would be ignored due to
the strstr logic. (note that rpath contains multiple :-delimited paths
to be searched.)
2. data read by readlink was not null-terminated.
| Rich Felker | 2013-08-23 | 1 | -3/+9 |
| * | use AT_EXECFN, if available, for dynamic linker to identify main program•••fallback to argv[0] as before. unlike argv[0], AT_EXECFN was a valid
(but possibly relative) pathname for the new program image at the time
the execve syscall was made.
as a special case, ignore AT_EXECFN if it begins with "/proc/", in
order not to give bogus (and possibly harmful) results when fexecve
was used.
| Rich Felker | 2013-08-23 | 1 | -1/+5 |
| * | add rpath $ORIGIN processing to dynamic linker | Rich Felker | 2013-08-23 | 1 | -3/+59 |
| * | add recursive rpath support to dynamic linker•••previously, rpath was only honored for direct dependencies. in other
words, if A depends on B and B depends on C, only B's rpath (if any),
not A's rpath, was being searched for C. this limitation made
rpath-based deployment difficult in the presence of multiple levels of
library dependency.
at present, $ORIGIN processing in rpath is still unsupported.
| Rich Felker | 2013-08-23 | 1 | -12/+13 |
