RFH: Annotating ELF binaries

[Florian Weimer]

On 11/07/2016 07:00 PM, Joseph Myers wrote:
> 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.)

Most people in the community don't have access to IEEE 754-2008 and 
therefore will not know what these terms mean (and considering how much 
stuff has been made up about IEEE 754 due to its secretive nature, I 
wouldn't want to rely on a paraphrase).

Florian