On Thu, Jan 22, 2015 at 1:13 PM, Joseph Myers <jos...@codesourcery.com> wrote: > 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:
Gmail put the message in "Promotion" category :-). > 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.) > This change should be made in x86-64 psABI first before cherry-picked into IA-32 psABI. -- H.J.
