This is the mail archive of the
mailing list for the GCC project.
Re: When was decimal floating point added to gcc?
On Sun, Jun 03, 2007 at 02:41:57PM +0200, Gerald Pfeifer wrote:
> On Sun, 3 Jun 2007, Ben Elliston wrote:
> >> Are they mentioned in any gcc changes.html?
> > No, they're not. They probably should be.
> Do you think we could talk the submitters/maintainers into donating a
> patch? :-)
Support for the decimal floating point C extension could be mentioned
in the release notes for GCC 4.2, but there it's only supported for
powerpc*-linux and x86*-linux and only if requested at configure time.
The ABI for powerpc*-linux has changed since then, and the
representation will (has?) changed for x86*-linux. Is this worth
documenting for 4.2?