This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: FYI: IA-32 psABI draft version 0.1
- From: "H.J. Lu" <hjl dot tools at gmail dot com>
- To: Joseph Myers <joseph at codesourcery dot com>
- Cc: GCC Development <gcc at gcc dot gnu dot org>, GNU C Library <libc-alpha at sourceware dot org>, Binutils <binutils at sourceware dot org>, cfe-dev <cfe-dev at cs dot uiuc dot edu>, llvmdev <llvmdev at cs dot uiuc dot edu>
- Date: Thu, 22 Jan 2015 13:37:06 -0800
- Subject: Re: FYI: IA-32 psABI draft version 0.1
- Authentication-results: sourceware.org; auth=none
- References: <CAMe9rOppN+Rfb-8FPrXN4BxsrMEeh0ChmN+aWmGKyi6iRu=3aQ at mail dot gmail dot com> <alpine dot DEB dot 2 dot 10 dot 1501222112010 dot 17910 at digraph dot polyomino dot org dot uk>
On Thu, Jan 22, 2015 at 1:13 PM, Joseph Myers <joseph@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.