about summary refs log tree commit diff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* math: fix i386/expl.s with more precise x*log2eSzabolcs Nagy2012-12-142-7/+107
| | | | | | | | | with naive exp2l(x*log2e) the last 12bits of the result was incorrect for x with large absolute value with hi + lo = x*log2e is caluclated to 128 bits precision and then expl(x) = exp2l(hi) + exp2l(hi) * f2xm1(lo) this gives <1.5ulp measured error everywhere in nearest rounding mode
* math: add a non-dummy tgamma implementationSzabolcs Nagy2012-12-122-20/+215
| | | | | | | | | | | | uses the lanczos approximation method with the usual tweaks. same parameters were selected as in boost and python. (avoides some extra work and special casing found in boost so the precision is not that good: measured error is <5ulp for positive x and <10ulp for negative) an alternative lgamma_r implementation is also given in the same file which is simpler and smaller than the current one, but less precise so it's ifdefed out for now.
* math: cosh cleanupSzabolcs Nagy2012-12-123-70/+63
| | | | do fabs by hand, don't check for nan and inf separately
* math: fix comment in __rem_pio2f.cSzabolcs Nagy2012-12-121-2/+2
|
* math: add empty __invtrigl.s to i386 and x86_64Szabolcs Nagy2012-12-122-0/+0
| | | | | __invtrigl is not needed when acosl, asinl, atanl have asm implementations
* math: clean up inverse trigonometric functionsSzabolcs Nagy2012-12-1112-377/+258
| | | | | | | | | | | | | modifications: * avoid unsigned->signed conversions * removed various volatile hacks * use FORCE_EVAL when evaluating only for side-effects * factor out R() rational approximation instead of manual inline * __invtrigl.h now only provides __invtrigl_R, __pio2_hi and __pio2_lo * use 2*pio2_hi, 2*pio2_lo instead of pi_hi, pi_lo otherwise the logic is not changed, long double versions will need a revisit when a genaral long double cleanup happens
* math: rewrite inverse hyperbolic functions to be simpler/smallerSzabolcs Nagy2012-12-119-406/+149
| | | | | | | | | | | | modifications: * avoid unsigned->signed integer conversion * do not handle special cases when they work correctly anyway * more strict threshold values (0x1p26 instead of 0x1p28 etc) * smaller code, cleaner branching logic * same precision as the old code: acosh(x) has up to 2ulp error in [1,1.125] asinh(x) has up to 1.6ulp error in [0.125,0.5], [-0.5,-0.125] atanh(x) has up to 1.7ulp error in [0.125,0.5], [-0.5,-0.125]
* make CMPLX macros available in complex.h in non-c11 mode as wellSzabolcs Nagy2012-12-111-8/+0
|
* fix double errno-decoding in the old-kernel fallback path of pipe2Rich Felker2012-12-111-1/+1
| | | | | this bug seems to have caused any failure by pipe2 on such systems to set errno to 1, rather than the proper error code.
* document self-synchronized destruction issue for stdio lockingRich Felker2012-12-101-0/+10
|
* page-align initial brk value used by malloc in shared libcRich Felker2012-12-071-1/+5
| | | | | | | | | | this change fixes an obscure issue with some nonstandard kernels, where the initial brk syscall returns a pointer just past the end of bss rather than the beginning of a new page. in that case, the dynamic linker has already reclaimed the space between the end of bss and the page end for use by malloc, and memory corruption (allocating the same memory twice) will occur when malloc again claims it on the first call to brk.
* remove __arch_prctl alias for arch_prctlRich Felker2012-12-071-3/+1
| | | | | | | if there's evidence of any use for it, we can add it back later. as far as I can tell, glibc has it only for internal use (and musl uses a direct syscall in that case rather than a function call), not for exposing it to applications.
* move new linux syscall wrapper functions to proper source dirRich Felker2012-12-072-0/+0
|
* fix trailing whitespace issues that crept in here and thereRich Felker2012-12-074-4/+4
|
* fix invalid read in aligned_allocRich Felker2012-12-061-2/+3
| | | | | | in case of mmap-obtained chunks, end points past the end of the mapping and reading it may fault. since the value is not needed until after the conditional, move the access to prevent invalid reads.
* fix sigorset/sigandset: _NSIG/8 is the size in bytesrofl0r2012-12-062-2/+2
|
* sigandset/sigorset: do not check for NULL pointers.rofl0r2012-12-062-10/+0
| | | | | that way it's consistent with existing sig* functions, and saves some code size.
* fixup sigandsetrofl0r2012-12-062-2/+2
|
* add arch_prctl syscall (amd64/x32 only)rofl0r2012-12-061-0/+9
|
* add personality syscallrofl0r2012-12-061-0/+7
|
* add sigandset and sigorset (needed for qemu)rofl0r2012-12-062-0/+34
|
* add obsolete futimesat()rofl0r2012-12-061-0/+9
| | | | | | this function is obsolete, however it's available as a syscall and as such qemu userspace emulation tries to forward it to the host kernel.
* remove fenv saving/loading code from setjmp/longjmp on armRich Felker2012-12-052-4/+0
| | | | | | the issue is identical to the recent commit fixing the mips versions: despite other implementations doing this, it conflicts with the requirements of ISO C and it's a waste of time and code size.
* remove mips setjmp/longjmp code to save/restore fenvRich Felker2012-12-052-5/+1
| | | | | | | | | | | | | | | | | | | | | | nothing in the standard requires or even allows the fenv state to be restored by longjmp. restoring the exception flags is not such a big deal since it's probably valid to clobber them completely, but restoring the rounding mode yields an observable side effect not sanctioned by ISO C. saving/restoring it also wastes a few cycles and 16 bytes of code. as for historical behavior, reportedly SGI IRIX did save/restore fenv, and this is where glibc and uClibc got the behavior from. a few other systems save/restore it too (on archs other than mips), even though this is apparently wrong. further details are documented here: http://www-personal.umich.edu/~williams/archive/computation/setjmp-fpmode.html as musl aims for standards conformance rather than coddling historical programs expecting non-conforming behavior, and as it's unlikely that any historical programs actually depend on the incorrect behavior (such programs would break on other archs, anyway), I'm making the change not to save/restore fenv on mips.
* use alternate argument syntax for restrict with lio_listioRich Felker2012-12-041-1/+1
| | | | | | | for some reason I have not been able to determine, gcc 3.2 rejects the array notation. this seems to be a gcc bug, but since it's easy to work around, let's do the workaround and avoid gratuitously requiring newer compilers.
* fix ordering of shared library ctors with respect to libc initRich Felker2012-11-302-3/+11
| | | | | | | | | | | | | | | previously, shared library constructors were being called before important internal things like the environment (extern char **environ) and hwcap flags (needed for sjlj to work right with float on arm) were initialized in __libc_start_main. rather than trying to have to dynamic linker make sure this stuff all gets initialized right, I've opted to just defer calling shared library constructors until after the main program's entry point is reached. this also fixes the order of ctors to be the exact reverse of dtors, which is a desirable property and possibly even mandated by some languages. the main practical effect of this change is that shared libraries calling getenv from ctors will no longer fail.
* fix some restrict-qualifier mismatches in newly added interfacesRich Felker2012-11-271-2/+2
| | | | | these should have little/no practical impact but they're needed for strict conformance.
* eliminate gdb complaints about missing linux-gate.so.1Rich Felker2012-11-251-1/+2
| | | | | | actually, the hard-coded name should be eliminated too, and replaced by a search for the soname in the headers, but that can be done separately later.
* fix powerpc sigsetjmp asm to match the new jmp_buf size/offsetsRich Felker2012-11-231-2/+2
|
* fix powerpc setjmp/longjmp to save/restore float regs; enlarge/align jmp_bufRich Felker2012-11-232-0/+36
|
* powerpc: handle syscall error in clone.rofl0r2012-11-192-39/+24
| | | | sigsetjmp: store temporaries in jmp_buf rather than on stack.
* fix powerpc asm not to store data in volatile space below stack pointerRich Felker2012-11-182-12/+12
| | | | | | | | | | | it's essential to decrement the stack pointer before writing to new stack space, rather than afterwards. otherwise there is a race condition during which asynchronous code (signals) could clobber the data being stored. it may be possible to optimize the code further using stwu, but I wanted to avoid making any changes to the actual stack layout in this commit. further improvements can be made separately if desired.
* add port io functions to sys/io.hRich Felker2012-11-182-2/+4
| | | | | | | based on proposal by Isaac Dunham. nonexistance of bits/io.h will cause inclusion of sys/io.h to produce an error on archs that are not supposed to have it. this is probably the desired behavior, but the error message may be a bit unusual.
* fenv support for ppc, untestedRich Felker2012-11-181-0/+120
| | | | based on code sent to the mailing list by nsz, with minor changes.
* fix feholdexcept -- it needs to clear exceptions after saving environmentRich Felker2012-11-181-0/+1
|
* Merge remote-tracking branch 'nsz/math'Rich Felker2012-11-187-237/+171
|\
| * math: use float constants in exp10f.cSzabolcs Nagy2012-11-181-1/+1
| | | | | | | | use the 'f' suffix when a float constant is not representable
| * math: expl.c cleanupSzabolcs Nagy2012-11-181-24/+19
| | | | | | | | raise overflow and underflow when necessary, fix various comments.
| * math: expf.c cleanupSzabolcs Nagy2012-11-182-63/+55
| | | | | | | | | | | | similar to exp.c cleanup: use scalbnf, don't return excess precision, drop some optimizatoins. exp.c was changed to be more consistent with expf.c code.
| * math: cleanup exp2.c exp2f.c and exp2l.cSzabolcs Nagy2012-11-173-86/+56
| | | | | | | | | | | | * old code relied on sign extension on right shift * exp2l ld64 wrapper was wrong * use scalbn instead of bithacks
| * math: exp.c clean upSzabolcs Nagy2012-11-171-72/+49
| | | | | | | | | | | | | | overflow and underflow was incorrect when the result was not stored. an optimization for the 0.5*ln2 < |x| < 1.5*ln2 domain was removed. did various cleanups around static constants and made the comments consistent with the code.
* | fix typo in dynamic linker path file loading codeRich Felker2012-11-171-1/+1
| | | | | | | | | | | | fortunately the memory corruption could not hurt anything, but it prevented clearing the final newline and thus prevented the last path element from working.
* | add stub versions of some missing optional pthread interfacesRich Felker2012-11-175-0/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | priority inheritance is not yet supported, and priority protection probably will not be supported ever unless there's serious demand for it (it's a fairly heavy-weight feature). per-thread cpu clocks would be nice to have, but to my knowledge linux is still not capable of supporting them. glibc fakes them by using the _process_ cpu-time clock and subtracting the thread creation time, which gives seriously incorrect semantics (worse than not supporting the feature at all), so until there's a way to do it right, it will remain as a stub that always fails.
* | arg-skipping code for powerpc dynamic linkerRich Felker2012-11-171-0/+8
|/ | | | this allows using the dynamic linker as a command to load programs.
* dynamic linking support for powerpcRich Felker2012-11-161-17/+16
| | | | | | | | incomplete but at least partly working. requires all files to be compiled in the new "secure" plt model, not the old one that put plt code in the data segment. TLS is untested but may work. invoking the dynamic linker explicitly to load a program does not yet handle argv correctly.
* Merge remote-tracking branch 'nsz/math'Rich Felker2012-11-1586-372/+330
|\
| * fenv: return FE_TONEAREST in dummy fegetroundSzabolcs Nagy2012-11-141-1/+1
| |
| * math: ld80 invtrig cleanupsSzabolcs Nagy2012-11-148-110/+87
| | | | | | | | keeping only commonly used data in invtrigl
| * math: simplify hypot and hypotf using scalbnSzabolcs Nagy2012-11-132-11/+4
| | | | | | | | | | this also fixes overflow/underflow raising and excess precision issues (as those are handled well in scalbn)
| * math: turn off the STRICT_ASSIGN workaround by defaultSzabolcs Nagy2012-11-131-5/+3
| | | | | | | | | | | | | | | | | | the volatile hack in STRICT_ASSIGN is only needed if assignment is not respected and excess precision is kept. gcc -fexcess-precision=standard and -ffloat-store both respect assignment and musl use these flags by default. i kept the macro for now so the workaround may be used for bad compilers in the future.