gcc 11.1.0: printf("%.43f\n", 0x1.52f8a8e32e982p-140): printed value is incorrectly rounded
Thu Nov 4 16:48:39 GMT 2021
Corinna Vinschen <email@example.com> writes:
> Is anybody here willing to take a look and change Newlib to gdtoa?
It might be useful for newlib to adopt the Ryū floating point conversion
code developed by Ulf Adams (currently at Google). This does correct
double conversion in 128 bits, avoiding need for arbitrary precision
math and any allocations.
There is a BSD licensed implementation of the core algorithm available
on github; adopting that into complete printf/scanf implementations
isn't a huge amount of work. picolibc uses this implementation.
A friend of mine posited that this could be done, and got started on it
in grad school about 20 years ago. It was very nice to see someone
actually take the time to make it happen.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 832 bytes
Desc: not available
More information about the Newlib