Re: RFH: Annotating ELF binaries

[Joseph Myers <joseph at codesourcery dot com>]

On Sun, 6 Nov 2016, Ian Lance Taylor wrote:

> The only sensible way to write the psABI is for it to say "this is how
> to pass an 80 or 128 bit floating point value."  The psABI can't say

I would advise using IEEE 754-2008 names in psABIs where available (e.g. 
binary128).  (Of course you need to deal with the non-IEEE types such as 
x86 extended precision, but IEEE names are standard and unambiguous up to 
endianness for binary interchange formats, and unambiguous up to 
endianness and BID / DPD choice for decimal interchange formats.)

-- 
Joseph S. Myers
joseph@codesourcery.com