IEEE128 binary float to decimal float conversion routines

Joseph Myers joseph@codesourcery.com
Sat Dec 19 16:40:00 GMT 2015


On Fri, 18 Dec 2015, Steven Munroe wrote:

> > Well, I'd think the starting point is to implement operations following 
> > the correct semantics, which are quite clear in both TR 24732:2009 and TS 
> > 18661-2: as per IEEE 754-2008, conversions are correctly rounded with 
> > correct exceptions.  
> 
> Then you should be specific! Specific examples with test cases.

https://github.com/libdfp/libdfp/issues/29
https://github.com/libdfp/libdfp/issues/30
https://github.com/libdfp/libdfp/issues/31
https://github.com/libdfp/libdfp/issues/32
https://github.com/libdfp/libdfp/issues/33
https://github.com/libdfp/libdfp/issues/34

All include testcases, tested with current git libdfp on POWER8 
little-endian.  Five of the six work correctly with the libgcc 
conversions.  All should be understood to be likely to apply to most of 
the binary/decimal conversions in libdfp, in both directions, not just to 
the conversions from _Decimal128 to double used to illustrate them, 
because of the similarity of code used for different conversions.  I think 
together those issues provide reasonable coverage of the problems with 
libdfp conversions that I've identified in this thread.

-- 
Joseph S. Myers
joseph@codesourcery.com



More information about the Libc-alpha mailing list