This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Add Ada tasking support for hppa-unknown-linux-gnu
- From: Geert Bosch <bosch at adacore dot com>
- To: "John David Anglin" <dave at hiauly1 dot hia dot nrc dot ca>
- Cc: charlet at adacore dot com (Arnaud Charlet), gcc-patches at gcc dot gnu dot org,laurent at guerby dot net, dewar at adacore dot com
- Date: Thu, 7 Apr 2005 13:40:26 -0400
- Subject: Re: [patch] Add Ada tasking support for hppa-unknown-linux-gnu
- References: <200504071719.j37HJJqw011140@hiauly1.hia.nrc.ca>
On Apr 7, 2005, at 13:19, John David Anglin wrote:
Do you know why? The PA floating point co-processor is fully
compatible
with ANSI/IEEE 754-1985. See page 8-7 of the PA-RISC 2.0 Architecture
book for the zero representation. The hardware supports signed zeros.
Earlier versions of the PA architecture didn't support fneg in
hardware. There was a problem with the implementation of neg[sd]f2
on the PA. These patterns didn't handle signed zeros correctly.
However, this problem has been fixed for some time.
Indeed, this was the reason that we considered signed zero support
broken on HP and configured the target has not using signed zeros.
As I said, this change on hppa-unknown-linux-gnu fixed the failured
of the signed zero test in cxg1005. The test machine had a PA 2.0
processor.
This is really not a failure, but an issue with the configuration of
the ACATS test suite. There is no requirement to provide signed zeros,
and the problems found previously on HPPA lead us to believe it was
better to configure GNAT to indicate there was no support for signed
zeros.
However, I checked and indeed full support is present now, and so we
should turn on Signed Zeros now for HPPA. Thanks for reporting this,
your patch is fine.
-Geert