Rich Felker [Thu, 3 May 2012 00:56:55 +0000 (20:56 -0400)]
remove attempts to be pie-compatible from i386 crt1.s
it does not work; after further consideration, a separate Scrt1.s for
pie really is essential. it would be nice if the unified approach
worked, but the linker fails to generate the correct PLT entries and
instead puts textrels in the main program, which don't work because
the kernel maps the text read-only.
new Scrt1.s will be committed soon in place of this.
Rich Felker [Wed, 2 May 2012 17:59:48 +0000 (13:59 -0400)]
fix longstanding exit logic bugs in mbsnrtowcs and wcsnrtombs
these are POSIX 2008 (previously GNU extension) functions that are
rarely used. apparently they had never been tested before, since the
end-of-string logic was completely missing. mbsnrtowcs is used by
modern versions of bash for its glob implementation, and and this bug
was causing tab completion to hang in an infinite loop.
Rich Felker [Wed, 2 May 2012 01:20:06 +0000 (21:20 -0400)]
remove minimal linux kernel headers
these were at best of limited usefulness (for bootstrapping new
systems, mainly) and at worst caused real kernel headers to get
overwritten when upgrading libc.
in case they're needed by anyone, the exact same files are now
available in a new git repository:
git://git.etalabs.net/mini-lkh
Rich Felker [Tue, 1 May 2012 23:30:03 +0000 (19:30 -0400)]
reorganize Makefile to support "least surprise" config/make semantics
the major change here is that CFLAGS is now a variable that can be
changed entirely under user control, without causing essential flags
to be lost. previously, "CFLAGS += ..." was valid in config.mak, but
using "CFLAGS = ..." in config.mak would have badly broken the build
process unless the user took care to copy the necessary flags out of
the main Makefile.
I have also added a distclean target that removes config.mak.
Rich Felker [Tue, 1 May 2012 18:31:55 +0000 (14:31 -0400)]
remove objcopy --weaken from the makefile
as far as I can tell, it's not useful and never way. I wrote it way
back under the assumption that non-weak symbols in the POSIX or
extension namespace could conflict with legitimate uses of the same
symbol name in the main program or other libraries, but that does not
seem to be the case.
Rich Felker [Tue, 1 May 2012 04:07:37 +0000 (00:07 -0400)]
support alternate glibc name pow10 for exp10
Rich Felker [Tue, 1 May 2012 01:32:19 +0000 (21:32 -0400)]
add C stub for sqrtl (already implemented in asm on i386 and x86_64)
Rich Felker [Mon, 30 Apr 2012 07:26:53 +0000 (03:26 -0400)]
first try at writing an efficient and "correct" exp10
this is a nonstandard function so it's not clear what conditions it
should satisfy. my intent is that it be fast and exact for positive
integral exponents when the result fits in the destination type, and
fast and correctly rounded for small negative integral exponents.
otherwise we aim for at most 1ulp error; it seems to differ from pow
by at most 1ulp and it's often 2-5 times faster than pow.
Rich Felker [Mon, 30 Apr 2012 07:00:24 +0000 (03:00 -0400)]
make stack protector work with gcc configured for non-tls canary
Rich Felker [Mon, 30 Apr 2012 06:56:47 +0000 (02:56 -0400)]
fix off-by-one error that caused uninitialized memory read in floatscan
this caused misreading of certain floating point values that are exact
multiples of large powers of ten, unpredictable depending on prior
stack contents.
Rich Felker [Mon, 30 Apr 2012 00:36:32 +0000 (20:36 -0400)]
fix typo in the x86_64 rounding asm
Rich Felker [Mon, 30 Apr 2012 00:31:46 +0000 (20:31 -0400)]
new math asm (abs/rounding) for x86_64
untested
Rich Felker [Sun, 29 Apr 2012 23:54:29 +0000 (19:54 -0400)]
fix float_t and double_t defs on x86 when -mfpmath=sse -msse2 is used
Rich Felker [Sun, 29 Apr 2012 23:54:03 +0000 (19:54 -0400)]
add linux-specific unshare syscall wrapper
Rich Felker [Sun, 29 Apr 2012 04:20:53 +0000 (00:20 -0400)]
fix longstanding missing static in mq_notify (namespace pollution)
Rich Felker [Sat, 28 Apr 2012 22:05:29 +0000 (18:05 -0400)]
new fnmatch implementation
unlike the old one, this one's algorithm does not suffer from
potential stack overflow issues or pathologically bad performance on
certain patterns. instead of backtracking, it uses a matching
algorithm which I have not seen before (unsure whether I invented or
re-invented it) that runs in O(1) space and O(nm) time. it may be
possible to improve the time to O(n), but not without significantly
greater complexity.
Rich Felker [Fri, 27 Apr 2012 05:39:03 +0000 (01:39 -0400)]
support FLT_EVAL_METHOD changing on x86 with gcc -msse2 -mfpmath=sse
if the compiler provides a value, use it; otherwise fallback to the
platform default (2).
Rich Felker [Thu, 26 Apr 2012 16:24:44 +0000 (12:24 -0400)]
update fnmatch to POSIX 2008 semantics
an invalid bracket expression must be treated as if the opening
bracket were just a literal character. this is to fix a bug whereby
POSIX left the behavior of the "[" shell command undefined due to it
being an invalid bracket expression.
Rich Felker [Wed, 25 Apr 2012 18:35:51 +0000 (14:35 -0400)]
release notes for 0.8.10
Rich Felker [Wed, 25 Apr 2012 04:05:42 +0000 (00:05 -0400)]
gdb shared library debugging support
provide the minimal level of dynamic linker-to-debugger glue needed to
let gdb find loaded libraries and load their symbols.
Rich Felker [Tue, 24 Apr 2012 22:07:59 +0000 (18:07 -0400)]
first attempt at enabling stack protector support
the code is written to pre-init the thread pointer in static linked
programs that pull in __stack_chk_fail or dynamic-linked programs that
lookup the symbol. no explicit canary is set; the canary will be
whatever happens to be in the thread structure at the offset gcc
hard-coded. this can be improved later.
Rich Felker [Tue, 24 Apr 2012 22:06:56 +0000 (18:06 -0400)]
use signed char rather than plain char for int8_t
otherwise this BADLY breaks if -funsigned-char is passed to gcc
Rich Felker [Tue, 24 Apr 2012 20:49:11 +0000 (16:49 -0400)]
add another example option to dist/config.mak
Rich Felker [Tue, 24 Apr 2012 20:32:23 +0000 (16:32 -0400)]
ditch the priority inheritance locks; use malloc's version of lock
i did some testing trying to switch malloc to use the new internal
lock with priority inheritance, and my malloc contention test got
20-100 times slower. if priority inheritance futexes are this slow,
it's simply too high a price to pay for avoiding priority inversion.
maybe we can consider them somewhere down the road once the kernel
folks get their act together on this (and perferably don't link it to
glibc's inefficient lock API)...
as such, i've switch __lock to use malloc's implementation of
lightweight locks, and updated all the users of the code to use an
array with a waiter count for their locks. this should give optimal
performance in the vast majority of cases, and it's simple.
malloc is still using its own internal copy of the lock code because
it seems to yield measurably better performance with -O3 when it's
inlined (20% or more difference in the contention stress test).
Rich Felker [Tue, 24 Apr 2012 17:55:06 +0000 (13:55 -0400)]
internal locks: new owner of contended lock must set waiters flag
this bug probably would have gone unnoticed since it's only used in
the fallback code for systems where priority-inheritance locking
fails. unfortunately this approach results in one spurious wake
syscall on the final unlock, when there are no waiters remaining. the
alternative (possibly better) would be to use broadcast wakes instead
of reflagging the waiter unconditionally, and let each waiter reflag
itself; this saves one syscall at the expense of invoking the
"thundering herd" effect (worse performance degredation) when there
are many waiters.
ideally we would be able to update all of our locks to use an array of
two ints rather than a single int, and use a separate counter system
like proper mutexes use; then we could avoid all spurious wake calls
without resorting to broadcasts. however, it's not clear to me that
priority inheritance futexes support this usage. the kernel sets the
waiters flag for them (just like we're doing now) and i can't tell if
it's safe to bypass the kernel when unlocking just because we know
(from private data, the waiter count) that there are no waiters. this
is something that could be explored in the future.
Rich Felker [Tue, 24 Apr 2012 10:36:50 +0000 (06:36 -0400)]
new internal locking primitive; drop spinlocks
we use priority inheritance futexes if possible so that the library
cannot hit internal priority inversion deadlocks in the presence of
realtime priority scheduling (full support to be added later).
Rich Felker [Tue, 24 Apr 2012 08:23:55 +0000 (04:23 -0400)]
new wcwidth implementation (fast table-based)
i tried to go with improving the old binary-search-based algorithm,
but between growth in the number of ranges, bad performance, and lack
of confidence in the binary search code's stability under changes in
the table, i decided it was worth the extra 1.8k to have something
clean and maintainable.
also note that, like the alpha and punct tables, there's definitely
room to optimize the nonspacing/wide tables by overlapping subtables.
this is not a high priority, but i've begun looking into how to do it,
and i suspect the table sizes can be roughly halved. if that turns out
to be true, the new, fast, table-based implementation will be roughly
the same size as if i had just extended the old binary search one.
Rich Felker [Mon, 23 Apr 2012 23:19:26 +0000 (19:19 -0400)]
sync case mappings with unicode 6.1
also special-case ß (U+00DF) as lowercase even though it does not have
a mapping to uppercase. unicode added an uppercase version of this
character but does not map it, presumably because the uppercase
version is not actually used except for some obscure purpose...
Rich Felker [Mon, 23 Apr 2012 20:10:36 +0000 (16:10 -0400)]
optimize iswprint
Rich Felker [Mon, 23 Apr 2012 20:02:46 +0000 (16:02 -0400)]
fix spurious punct class for some surrogate codepoints (invalid)
this happened due to their entries in UnicodeData.txt
Rich Felker [Mon, 23 Apr 2012 19:25:23 +0000 (15:25 -0400)]
destubify iswalpha and update iswpunct to unicode 6.1
alpha is defined as unicode property "Alphabetic" plus category Nd
minus ASCII digits minus 2 special-cased Thai punctuation marks
supposedly misclassified by Unicode as letters.
punct is defined as all of unicode except control, alphanumeric, and
space characters.
the tables were generated by a simple tool based on the code posted
previously to the mailing list. in the future, this and other code
used for maintaining locale/iconv/i18n data will be published either
in the main source repository or in a separate locale data generation
repository.
Rich Felker [Mon, 23 Apr 2012 16:03:31 +0000 (12:03 -0400)]
make dlerror produce informative results
note that dlerror is specified to be non-thread-safe, so no locking is
performed on the error flag or message aside from the rwlock already
held by dlopen or dlsym. if 2 invocations of dlsym are generating
errors at the same time, they could clobber each other's results, but
the resulting string, albeit corrupt, will still be null-terminated.
any use of dlerror in such a situation could not be expected to give
meaningful results anyway.
Rich Felker [Sun, 22 Apr 2012 18:41:54 +0000 (14:41 -0400)]
implement getusershell, etc. legacy functions
I actually wrote these a month ago but forgot to integrate them. ugly,
probably-harmful-to-use functions, but some legacy apps want them...
Rich Felker [Sun, 22 Apr 2012 18:39:07 +0000 (14:39 -0400)]
getdtablesize is not standard; move it to its correct spot in unistd.h
Rich Felker [Sun, 22 Apr 2012 18:32:49 +0000 (14:32 -0400)]
new gcc wrapper, entirely specfile based
the _concept_ of this wrapper has been tested extensively, but the
integration with the build/install system, and using a persistent
specfile rather than one generated at build-time, have not been
heavily tested and may need minor tweaks.
this approach should be a lot more robust (and easier to improve) than
writing a shell script that's responsible for trying to mimic gcc's
logic about whether it's compiling or linking, building shared libs or
executable files, etc. it's also lighter weight and should result in
mildly faster builds when using the wrapper.
Rich Felker [Sun, 22 Apr 2012 18:05:12 +0000 (14:05 -0400)]
remove redundant (unmaintained) check in floatscan
also be extra careful to avoid wrapping the circular buffer early
Rich Felker [Sun, 22 Apr 2012 15:19:17 +0000 (11:19 -0400)]
fix breakage in endian.h
Rich Felker [Sun, 22 Apr 2012 15:08:01 +0000 (11:08 -0400)]
add some ugly byte swapping cruft in endian.h
Rich Felker [Sun, 22 Apr 2012 14:37:19 +0000 (10:37 -0400)]
add getresuid and getresgid syscall wrappers
Rich Felker [Sat, 21 Apr 2012 18:46:40 +0000 (14:46 -0400)]
fix major breakage in iconv, bogus rejecting of dest charsets
Rich Felker [Sat, 21 Apr 2012 18:14:10 +0000 (14:14 -0400)]
make floatscan correctly set errno for overflow/underflow
care is taken that the setting of errno correctly reflects underflow
condition. scanning exact denormal values does not result in ERANGE,
nor does scanning values (such as the usual string definition of
FLT_MIN) which are actually less than the smallest normal number but
which round to a normal result.
only the decimal case is handled so far; hex float require a separate
fix to come later.
Rich Felker [Sat, 21 Apr 2012 17:50:23 +0000 (13:50 -0400)]
skip leading zeros even after decimal point in floatscan
in principle this should just be an optimization, but it happens to
also fix a nasty bug where values like 0.
00000000001 were getting
caught by the early zero detection path and wrongly scanned as zero.
Rich Felker [Sat, 21 Apr 2012 15:57:39 +0000 (11:57 -0400)]
fix overread (consuming an extra byte) scanning NAN
bug detected by glib test suite
Rich Felker [Sat, 21 Apr 2012 15:45:07 +0000 (11:45 -0400)]
fix broken sysconf when correct value is -1
this caused glib to try to allocate >2gb for getpwnam_r, and probably
numerous other problems.
Rich Felker [Fri, 20 Apr 2012 02:02:50 +0000 (22:02 -0400)]
release notes for 0.8.9 (bugfix release)
Rich Felker [Thu, 19 Apr 2012 16:56:29 +0000 (12:56 -0400)]
further fixes to leading space issue (forgot the wide versions)
Rich Felker [Thu, 19 Apr 2012 16:47:34 +0000 (12:47 -0400)]
fix really bad breakage in strtol, etc.: failure to accept leading spaces
Rich Felker [Wed, 18 Apr 2012 17:11:35 +0000 (13:11 -0400)]
fix header typo
Rich Felker [Wed, 18 Apr 2012 16:22:24 +0000 (12:22 -0400)]
legacy junk compatibility grab-bag
- add the rest of the junk traditionally in sys/param.h
- add prototypes for some nonstandard functions
- add _GNU_SOURCE to their source files so the compiler can check proto
Rich Felker [Wed, 18 Apr 2012 15:41:04 +0000 (11:41 -0400)]
fix incorrect macro name for MATH_ERREXCEPT in math.h
Rich Felker [Wed, 18 Apr 2012 08:40:06 +0000 (04:40 -0400)]
release notes for 0.8.8
Rich Felker [Wed, 18 Apr 2012 07:53:53 +0000 (03:53 -0400)]
fix typo in exponent reading code or floats
this was basically harmless, but could have resulted in misreading
inputs with more than a few gigabytes worth of digits..
Rich Felker [Wed, 18 Apr 2012 03:35:49 +0000 (23:35 -0400)]
fix wide scanf's handling of input failure on %c, and simplify %[
Rich Felker [Wed, 18 Apr 2012 03:08:58 +0000 (23:08 -0400)]
fix failure to distinguish input/match failure in wide %[ scanf
this also includes a related fix for vswscanf's read function, which
was returning a spurious (uninitialized) character for empty strings.
Rich Felker [Wed, 18 Apr 2012 02:41:38 +0000 (22:41 -0400)]
fix over-read in %ls with non-wide scanf
Rich Felker [Wed, 18 Apr 2012 02:15:33 +0000 (22:15 -0400)]
fix broken %s and %[ with no width specifier in wide scanf
Rich Felker [Wed, 18 Apr 2012 02:05:51 +0000 (22:05 -0400)]
fix failure to read infinity in scanf
this code worked in strtod, but not in scanf. more evidence that i
should design a better interface for discarding multiple tail
characters than just calling unget repeatedly...
Rich Felker [Wed, 18 Apr 2012 01:17:19 +0000 (21:17 -0400)]
fix failure of int parser to unget an initial mismatching character
Rich Felker [Wed, 18 Apr 2012 01:17:09 +0000 (21:17 -0400)]
make wide scanf %[ respect width
Rich Felker [Tue, 17 Apr 2012 23:37:31 +0000 (19:37 -0400)]
fix wide scanf to respect field width for strings
Rich Felker [Tue, 17 Apr 2012 18:22:22 +0000 (14:22 -0400)]
fix some bugs in scanf %[ handling detected while writing the wide version
Rich Felker [Tue, 17 Apr 2012 18:19:46 +0000 (14:19 -0400)]
introduce new wide scanf code and remove the last remnants of old scanf
at this point, strto* and all scanf family functions are using the new
unified integer and floating point parser/converter code.
the wide scanf is largely a wrapper for ordinary byte-based scanf;
since numbers can only contain ascii characters, only strings need to
be handled specially.
Rich Felker [Tue, 17 Apr 2012 17:17:01 +0000 (13:17 -0400)]
avoid depending on POSIX symbol in code used from plain C functions
Rich Felker [Tue, 17 Apr 2012 15:50:02 +0000 (11:50 -0400)]
avoid null pointer dereference on %*p fields in scanf
Rich Felker [Tue, 17 Apr 2012 15:08:11 +0000 (11:08 -0400)]
also ensure that write buffer is bounded when __stdio_write returns
assuming other code is correct, this should be a no-op, but better to
be safe...
Rich Felker [Tue, 17 Apr 2012 14:58:02 +0000 (10:58 -0400)]
fix buffer overflow in vfprintf on long writes to unbuffered files
vfprintf temporarily swaps in a local buffer (for the duration of the
operation) when the target stream is unbuffered; this both simplifies
the implementation of functions like dprintf (they don't need their
own buffers) and eliminates the pathologically bad performance of
writing the formatted output with one or more write syscalls per
formatting field.
in cases like dprintf where we are dealing with a virgin FILE
structure, everything worked correctly. however for long-lived files
(like stderr), it's possible that the buffer bounds were already set
for the internal zero-size buffer. on the next write, __stdio_write
would pick up and use the new buffer provided by vfprintf, but the
bound (wend) field was still pointing at the internal zero-size
buffer's end. this in turn allowed unbounded writes to the temporary
buffer.
Rich Felker [Tue, 17 Apr 2012 01:50:23 +0000 (21:50 -0400)]
fix %lf, etc. with printf
the l prefix is redundant/no-op with printf, since default promotions
always promote floats to double; however, it is valid, and printf was
wrongly rejecting it.
Rich Felker [Mon, 16 Apr 2012 22:37:53 +0000 (18:37 -0400)]
better description for errno==0
Rich Felker [Mon, 16 Apr 2012 21:26:54 +0000 (17:26 -0400)]
implement wcstod and family
not heavily tested but these functions appear to work correctly
Rich Felker [Mon, 16 Apr 2012 21:17:05 +0000 (17:17 -0400)]
avoid hitting eof in wcstol
shunget cannot unget eof status, causing wcstol to leave endptr
pointing to the wrong place when scanning, for example, L"0x". cheap
fix is to make the read function provide an infinite stream of bogus
characters rather than eof. really this is something of a design flaw
in how the shgetc system is used for strto* and wcsto*; in the long
term, I believe multi-character unget should be scrapped and replaced
with a function that can subtract from the f->shcnt counter.
Rich Felker [Mon, 16 Apr 2012 20:55:24 +0000 (16:55 -0400)]
use the new integer parser (FILE/shgetc based) for strtol, wcstol, etc.
Rich Felker [Mon, 16 Apr 2012 20:03:45 +0000 (16:03 -0400)]
new scanf implementation and corresponding integer parser/converter
advantages over the old code:
- correct results for floating point (old code was bogus)
- wide/regular scanf separated so scanf does not pull in wide code
- well-defined behavior on integers that overflow dest type
- support for %[a-b] ranges with %[ (impl-defined by widely used)
- no intermediate conversion of fmt string to wide string
- cleaner, easier to share code with strto* functions
- better standards conformance for corner cases
the old code remains in the source tree, as the wide versions of the
scanf-family functions are still using it. it will be removed when no
longer needed.
Rich Felker [Mon, 16 Apr 2012 19:36:18 +0000 (15:36 -0400)]
fix buggy limiter handling in shgetc
this is needed for upcoming new scanf
Rich Felker [Mon, 16 Apr 2012 17:25:05 +0000 (13:25 -0400)]
wordexp must set the we_offs entries of we_wordv to null pointers
Rich Felker [Mon, 16 Apr 2012 17:03:22 +0000 (13:03 -0400)]
fix crash in wordfree if we_offs is not initialized by the caller
I'm not sure if it's legal for wordexp to modify this field, but this
is the only easy/straightforward fix, and applications should not
care. if it's an issue, i can work out a different (but more complex)
solution later.
Rich Felker [Mon, 16 Apr 2012 05:55:37 +0000 (01:55 -0400)]
fix broken shgetc limiter logic (wasn't working)
Rich Felker [Mon, 16 Apr 2012 05:53:52 +0000 (01:53 -0400)]
floatscan: fix incorrect count of leading nonzero digits
this off-by-one error was causing values with just one digit past the
decimal point to be treated by the integer case. in many cases it
would yield the correct result, but if expressions are evaluated in
excess precision, double rounding may occur.
Rich Felker [Sun, 15 Apr 2012 21:05:10 +0000 (17:05 -0400)]
move F_DUPFD_CLOEXEC out of bits
fcntl values 1024 and up are universal, arch-independent. later I'll
add some of the other linux-specific ones for notify, leases, pipe
size, etc. here too.
Rich Felker [Sun, 15 Apr 2012 21:01:58 +0000 (17:01 -0400)]
add F_SETSIG and F_GETSIG (linux specific) to fcntl.h
F_* is in the reserved namespace so no feature test is needed
Rich Felker [Sun, 15 Apr 2012 02:32:42 +0000 (22:32 -0400)]
fix signedness error handling invalid multibyte sequences in regexec
the "< 0" test was always false due to use of an unsigned type. this
resulted in infinite loops on 32-bit machines (adding -1U to a pointer
is the same as adding -1) and crashes on 64-bit machines (offsetting
the string pointer by 4gb-1b when an illegal sequence was hit).
Rich Felker [Sat, 14 Apr 2012 03:06:54 +0000 (23:06 -0400)]
rename __sa_restorer to sa_restorer in struct sigaction
this is legal since sa_* is in the reserved namespace for signal.h,
per posix. note that the sa_restorer field is not used anywhere, so
programs that are trying to use it may still break, but at least
they'll compile. if it turns out such programs actually need to be
able to set their own sa_restorer to function properly, i'll add the
necessary code to sigaction.c later.
Rich Felker [Fri, 13 Apr 2012 23:50:58 +0000 (19:50 -0400)]
remove invalid code from TRE
TRE wants to treat + and ? after a +, ?, or * as special; ? means
ungreedy and + is reserved for future use. however, this is
non-conformant. although redundant, these redundant characters have
well-defined (no-op) meaning for POSIX ERE, and are actually _literal_
characters (which TRE is wrongly ignoring) in POSIX BRE mode.
the simplest fix is to simply remove the unneeded nonstandard
functionality. as a plus, this shaves off a small amount of bloat.
Rich Felker [Fri, 13 Apr 2012 22:40:38 +0000 (18:40 -0400)]
fix broken regerror (typo) and missing message
Rich Felker [Fri, 13 Apr 2012 08:38:56 +0000 (04:38 -0400)]
use fast version of the int reading code for the high-order digits too
this increases code size slightly, but it's considerably faster,
especially for power-of-2 bases.
Rich Felker [Fri, 13 Apr 2012 07:59:36 +0000 (03:59 -0400)]
use macros instead of inline functions in shgetc.h
at -Os optimization level, gcc refuses to inline these functions even
though the inlined code would roughly the same size as the function
call, and much faster. the easy solution is to make them into macros.
Rich Felker [Fri, 13 Apr 2012 07:26:59 +0000 (03:26 -0400)]
fix spurious overflows in strtoull with small bases
whenever the base was small enough that more than one digit could
still fit after UINTMAX_MAX/36-1 was reached, only the first would be
allowed; subsequent digits would trigger spurious overflow, making it
impossible to read the largest values in low bases.
Rich Felker [Thu, 12 Apr 2012 04:25:52 +0000 (00:25 -0400)]
remove magic numbers from floatscan
Rich Felker [Thu, 12 Apr 2012 04:16:01 +0000 (00:16 -0400)]
optimize more integer cases in floatscan; comment the whole procedure
Rich Felker [Thu, 12 Apr 2012 03:08:50 +0000 (23:08 -0400)]
revert invalid optimization in floatscan
Rich Felker [Thu, 12 Apr 2012 01:29:12 +0000 (21:29 -0400)]
fix stupid typo in floatscan that caused excess rounding of some values
Rich Felker [Thu, 12 Apr 2012 00:25:42 +0000 (20:25 -0400)]
add some more useful suggested options to config.mak template
Rich Felker [Wed, 11 Apr 2012 18:59:36 +0000 (14:59 -0400)]
Merge remote branch 'nsz/master'
Rich Felker [Wed, 11 Apr 2012 18:51:08 +0000 (14:51 -0400)]
optimize floatscan downscaler to skip results that won't be needed
when upscaling, even the very last digit is needed in cases where the
input is exact; no digits can be discarded. but when downscaling, any
digits less significant than the mantissa bits are destined for the
great bitbucket; the only influence they can have is their presence
(being nonzero). thus, we simply throw them away early. the result is
nearly a 4x performance improvement for processing huge values.
the particular threshold LD_B1B_DIG+3 is not chosen sharply; it's
simply a "safe" distance past the significant bits. it would be nice
to replace it with a sharp bound, but i suspect performance will be
comparable (within a few percent) anyway.
Rich Felker [Wed, 11 Apr 2012 18:20:45 +0000 (14:20 -0400)]
simplify/debloat radix point alignment code in floatscan
now that this is the first operation, it can rely on the circular
buffer contents not being wrapped when it begins. we limit the number
of digits read slightly in the initial parsing loops too so that this
code does not have to consider the case where it might cause the
circular buffer to wrap; this is perfectly fine because KMAX is chosen
as a power of two for circular-buffer purposes and is much larger than
it otherwise needs to be, anyway.
these changes should not affect performance at all.
Rich Felker [Wed, 11 Apr 2012 18:11:47 +0000 (14:11 -0400)]
optimize floatscan: avoid excessive upscaling
upscaling by even one step too much creates 3-29 extra iterations for
the next loop. this is still suboptimal since it always goes by 2^29
rather than using a smaller upscale factor when nearing the target,
but performance on common, small-magnitude, few-digit values has
already more than doubled with this change.
more optimizations on the way...
Rich Felker [Wed, 11 Apr 2012 04:26:41 +0000 (00:26 -0400)]
fix incorrect initial count in shgetc when data is already buffered
Rich Felker [Wed, 11 Apr 2012 04:18:57 +0000 (00:18 -0400)]
fix bug parsing lone zero followed by junk, and hex float over-reading
Rich Felker [Wed, 11 Apr 2012 03:41:54 +0000 (23:41 -0400)]
fix float scanning of certain values ending in zeros
for example, "
1000000000" was being read as "1" due to this loop
exiting early. it's necessary to actually update z and zero the
entries so that the subsequent rounding code does not get confused;
before i did that, spurious inexact exceptions were being raised.
Rich Felker [Wed, 11 Apr 2012 03:05:16 +0000 (23:05 -0400)]
fix potential overflow in exponent reading
note that there's no need for a precise cutoff, because exponents this
large will always result in overflow or underflow (it's impossible to
read enough digits to compensate for the exponent magnitude; even at a
few nanoseconds per digit it would take hundreds of years).
Rich Felker [Wed, 11 Apr 2012 02:38:21 +0000 (22:38 -0400)]
set errno properly when parsing floating point