Re: [cxx-abi-dev] IEEE 754r half-precision fp mangling?

[PremAnand M Rao <premanand.rao@xxxxxx>]

Mark Mitchell wrote:
> scott douglass wrote:
>
> > --- /tmp/abi-orig.html        2008-06-11 16:13:17.000000000 +0100
> > +++ /tmp/abi.html     2008-06-11 16:22:57.000000000 +0100
> > @@ -4239,6 +4239,10 @@
> >                ::= e  # long double, __float80
> >                ::= g  # __float128
> >                ::= z  # ellipsis
> > +              ::= De # IEEE 754r decimal floating point (size?)
> > +              ::= Df # IEEE 754r decimal floating point (size?)
> > +              ::= Dh # IEEE 754r half-precision floating point (16 bits)
> > +              ::= Dr # IEEE 754r decimal floating point (size?)
> >                ::= u <source-name> # vendor extended type
>
> DFP folks: would one of you please fill in proper names for the DFP
> mangling types?  And then I'll check in this change.

I think there is an error in the above, there should not be both a "De" 
and a "Dr".  I believe Michael suggested "Dr" for 128-bits decimal 
float, but Dennis and Daveed expressed a preference for "De" (instead of 
"Dr") to match the binary floating point mangling.  Unless Michael 
really wants "Dr" (instead of "De"), I believe the above table should be 
corrected with:

Df # IEEE 754r decimal floating point (32 bits)
Dd # IEEE 754r decimal floating point (64 bits)
De # IEEE 754r decimal floating point (128 bits)

and of course, Dh as Scott has correctly added.

PremAnand.