summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorLines
2012-11-18math: expl.c cleanupSzabolcs Nagy-24/+19
raise overflow and underflow when necessary, fix various comments.
2012-11-18math: expf.c cleanupSzabolcs Nagy-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.
2012-11-17math: cleanup exp2.c exp2f.c and exp2l.cSzabolcs Nagy-86/+56
* old code relied on sign extension on right shift * exp2l ld64 wrapper was wrong * use scalbn instead of bithacks
2012-11-17math: exp.c clean upSzabolcs Nagy-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.
2012-11-16dynamic linking support for powerpcRich Felker-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.
2012-11-15Merge remote-tracking branch 'nsz/math'Rich Felker-372/+330
2012-11-14fix indention with spaces in powerpc asmRich Felker-55/+54
2012-11-14Merge remote-tracking branch 'ppc-port/ppc-squashed'Rich Felker-0/+335
2012-11-14fenv: return FE_TONEAREST in dummy fegetroundSzabolcs Nagy-1/+1
2012-11-14math: ld80 invtrig cleanupsSzabolcs Nagy-110/+87
keeping only commonly used data in invtrigl
2012-11-13math: simplify hypot and hypotf using scalbnSzabolcs Nagy-11/+4
this also fixes overflow/underflow raising and excess precision issues (as those are handled well in scalbn)
2012-11-13math: turn off the STRICT_ASSIGN workaround by defaultSzabolcs Nagy-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.
2012-11-13PPC port cleaned up, static linking works well now.rofl0r-112/+321
2012-11-13import preliminary ppc work by rdp.Richard Pennington-0/+126
2012-11-13math: use '#pragma STDC FENV_ACCESS ON' when fenv is accessedSzabolcs Nagy-0/+11
2012-11-13math: excess precision fix modf, modff, scalbn, scalbnfSzabolcs Nagy-22/+18
old code was correct only if the result was stored (without the excess precision) or musl was compiled with -ffloat-store. now we use STRICT_ASSIGN to work around the issue. (see note 160 in c11 section 6.8.6.4)
2012-11-13math: fix scalbn and scalbnf on overflow/underflowSzabolcs Nagy-10/+24
old code was correct only if the result was stored (without the excess precision) or musl was compiled with -ffloat-store. (see note 160 in n1570.pdf section 6.8.6.4)
2012-11-13math: fix nextafter and nexttoward on maxdbl and maxflt inputSzabolcs Nagy-4/+4
old code (return x+x;) returns correct value and raises correct flags only if the result is stored as double (or float)
2012-11-13complex: add C11 CMPLX macros and replace cpack with themSzabolcs Nagy-156/+143
2012-11-13math: raise flags in logl.c on <= 0 argumentsSzabolcs Nagy-9/+3
2012-11-13math: fix logb*.c exceptions now that ilogb raises invalidSzabolcs Nagy-25/+17
2012-11-13math: raise flags in log2l.c on <= 0 arguments, and fix volatileSzabolcs Nagy-8/+3
2012-11-13math: raise exception flags in log1pl.c on <= -1 argumentsSzabolcs Nagy-7/+2
2012-11-12math: raise invalid flag in ilogb*.c on +-0, +-inf and nanSzabolcs Nagy-6/+18
2012-11-12math: fix exception behaviour of expm1l.c on inf and nanSzabolcs Nagy-13/+7
2012-11-12math: fix long double constants in exp10l.cSzabolcs Nagy-2/+2
2012-11-11debloat src/thread tree but putting lots of junk in one fileRich Felker-108/+93
POSIX includes mostly-useless attribute-get functions for each attribute-set function, presumably out of some object-oriented dogmatism. the get functions are not useful with the simple idiomatic usage of attributes. there are of course possible valid uses of them (like writing wrappers for pthread init functions that perform special actions on the presence of certain attributes), but considering how tiny these functions are anyway, little is lost by putting them all in one file, and some build-time cost and archive-file-size benefits are achieved.
2012-11-11report support of TPS option in unistd.h and sysconfRich Felker-2/+2
also update another newish feature in sysconf, stackaddr
2012-11-11add support for thread scheduling (POSIX TPS option)Rich Felker-13/+147
linux's sched_* syscalls actually implement the TPS (thread scheduling) functionality, not the PS (process scheduling) functionality which the sched_* functions are supposed to have. omitting support for the PS option (and having the sched_* interfaces fail with ENOSYS rather than omitting them, since some broken software assumes they exist) seems to be the only conforming way to do this on linux.
2012-11-11fix clobber of edx in i386 vsyscall asmRich Felker-1/+2
this function does not obey the normal calling convention; like a syscall instruction, it's expected not to clobber any registers except the return value. clobbering edx could break callers that were reusing the value cached in edx after the syscall returns.
2012-11-09always add memory streams to stdio open file listRich Felker-18/+21
per interpretation for austin group issue #626, fflush(0) and exit() must block waiting for a lock if another thread has locked a memory stream with flockfile. this adds some otherwise-unnecessary synchronization cost to use of memory streams, but there was already a synchronization cost calling malloc anyway. previously the stream was only added to the open file list in single-threaded programs, so that upon subsequent call to pthread_create, locking could be turned on for the stream.
2012-11-09support ldso path files without final newlineRich Felker-2/+5
2012-11-08change ldso path file logic to replace rather than add to search pathRich Felker-2/+2
this change was originally intended just to avoid repeated attempts to open a nonexistant /etc/ls-musl-$(ARCH).path file, but I realized it also prevents the default paths from being searched when such a path file exists. despite the potential to break existing usage, I believe the new behavior is the right behavior, and it's better to fix it sooner rather than later. with the old behavior, it was impossible to inhibit search of default paths which might contain musl-incompatible libs (or even libs from a different cpu arch, on multi-arch machines).
2012-11-08clean up sloppy nested inclusion from pthread_impl.hRich Felker-16/+28
this mirrors the stdio_impl.h cleanup. one header which is not strictly needed, errno.h, is left in pthread_impl.h, because since pthread functions return their error codes rather than using errno, nearly every single pthread function needs the errno constants. in a few places, rather than bringing in string.h to use memset, the memset was replaced by direct assignment. this seems to generate much better code anyway, and makes many functions which were previously non-leaf functions into leaf functions (possibly eliminating a great deal of bloat on some platforms where non-leaf functions require ugly prologue and/or epilogue).
2012-11-08clean up stdio_impl.hRich Felker-19/+93
this header evolved to facilitate the extremely lazy practice of omitting explicit includes of the necessary headers in individual stdio source files; not only was this sloppy, but it also increased build time. now, stdio_impl.h is only including the headers it needs for its own use; any further headers needed by source files are included directly where needed.
2012-11-08fix dlsym asm for mipsRich Felker-1/+2
saving the return address from the delay slot is not valid -- by the time the instruction executes, the return address has already been replaced.
2012-11-05improve SOCK_NONBLOCK/SOCK_CLOEXEC fallback codeRich Felker-1/+2
checking for EINVAL should be sufficient, but qemu user emulation returns EPROTONOSUPPORT in some of the failure cases, and it seems conceivable that other kernels doing linux-emulation could make the same mistake. since DNS lookups and other important code might break if the fallback does not get invoked, be extra careful and check for either error. note that it's important NOT to perform the fallback code on other errors such as resource-exhaustion cases, since the fallback is not atomic and will lead to file-descriptor leaks in multi-threaded programs that use exec. the fallback code is only "safe" to run when the initial failure is caused by the application's choice of arguments, not the system state.
2012-11-04mips cache flush/ctl syscall support and headerRich Felker-0/+18
2012-11-01remove one unnecessary static var from dynamic linkerRich Felker-2/+2
2012-11-01fix more unused variable warningsRich Felker-6/+5
some of these were coming from stdio functions locking files without unlocking them. I believe it's useful for this to throw a warning, so I added a new macro that's self-documenting that the file will never be unlocked to avoid the warning in the few places where it's wrong.
2012-11-01fix unused variable warningsRich Felker-2/+1
2012-10-31add dl_iterate_phdr interfaceRich Felker-7/+87
patches by Alex Caudill (npx). the dynamic-linked version is almost identical to the final submitted patch; I just added a couple missing lines for saving the phdr address when the dynamic linker is invoked directly to run a program, and removed a couple to avoid introducing another unnecessary type. the static-linked version is based on npx's draft. it could use some improvements which are contingent on the startup code saving some additional information for later use.
2012-10-28system is a cancellation pointRich Felker-0/+3
ideally, system would also be cancellable while running the external command, but I cannot find any way to make that work without either leaking zombie processes or introducing behavior that is far outside what the standard specifies. glibc handles cancellation by killing the child process with SIGKILL, but this could be unsafe in that it could leave the data being manipulated by the command in an inconsistent state.
2012-10-28fix shmdt syscall calling convention on old archsRich Felker-1/+1
2012-10-27separate getc/putc from fgetc/fputcRich Felker-6/+25
for conformance, two functions should not have the same address. a conforming program could use the addresses of getc and fgetc in ways that assume they are distinct. normally i would just use a wrapper, but these functions are so small and performance-critical that an extra layer of function call could make the one that's a wrapper nearly twice as slow, so I'm just duplicating the code instead.
2012-10-25use explicit visibility to optimize a few hot-path function callsRich Felker-11/+13
on x86 and some other archs, functions which make function calls which might go through a PLT incur a significant overhead cost loading the GOT register prior to making the call. this load is utterly useless in musl, since all calls are bound at library-creation time using -Bsymbolic-functions, but the compiler has no way of knowing this, and attempts to set the default visibility to protected have failed due to bugs in GCC and binutils. this commit simply manually assigns hidden/protected visibility, as appropriate, to a few internal-use-only functions which have many callers, or which have callers that are hot paths like getc/putc. it shaves about 5k off the i386 libc.so with -Os. many of the improvements are in syscall wrappers, where the benefit is just size and performance improvement is unmeasurable noise amid the syscall overhead. however, stdio may be measurably faster. if in the future there are toolchains that can do the same thing globally without introducing linking bugs, it might be worth considering removing these workarounds.
2012-10-24correct locking in stdio functions that tried to be lock-freeRich Felker-16/+36
these functions must behave as if they obtain the lock via flockfile to satisfy POSIX requirements. since another thread can provably hold the lock when they are called, they must wait to obtain the lock before they can return, even if the correct return value could be obtained without locking. in the case of fclose and freopen, failure to do so could cause correct (albeit obscure) programs to crash or otherwise misbehave; in the case of feof, ferror, and fwide, failure to obtain the lock could sometimes return incorrect results. in any case, having these functions proceed and return while another thread held the lock was wrong.
2012-10-24greatly improve freopen behaviorRich Felker-17/+41
1. don't open /dev/null just as a basis to copy flags; use shared __fmodeflags function to get the right file flags for the mode. 2. handle the case (probably invalid, but whatever) case where the original stream's file descriptor was closed; previously, the logic re-closed it. 3. accept the "e" mode flag for close-on-exec; update dup3 to fallback to using dup2 so we can simply call __dup3 instead of putting fallback logic in freopen itself.
2012-10-24remove useless failure-check from freopen (can't happen)Rich Felker-2/+2
2012-10-22simplify logic in stpcpy; avoid copying first aligned byte twiceRich Felker-4/+4
gcc seems to be generating identical or near-identical code for both versions, but the newer code is more expressive of what it's doing.