On Thu, 22 Jan 2015, H.J. Lu wrote: > Here is the link: > > https://groups.google.com/forum/#!topic/ia32-abi/nq6cvH_VVV4
I sent the following reply to the ia32-abi list but haven't yet received it back from the list - you might want to check if it's stuck in moderation somewhere: I would suggest that rather than using old terms such as "single", "double" and "128-bit extended" to describe floating-point formats, and rather than referring to "IEEE-754R", the names from IEEE 754-2008 should be used. That is, binary32, binary64, binary128. (When referring to decimal32, decimal64, decimal128 you still need to specify somewhere that it's BID rather than DPD. And you'll still need to refer to 80-bit extended since that's not an IEEE interchange format.) -- Joseph S. Myers jos...@codesourcery.com
