Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[John David Anglin]

> + /* The widest floating point format supported by the hardware.  Note that
> +    setting this influences some Ada floating point type sizes, currently
> +    required for GNAT to operate properly.  */
> + #define WIDEST_HARDWARE_FP_SIZE 64

I missed this "new" define and will try it.  Perhaps, this should
take account of the situation when TARGET_SOFT_FLOAT is true.  For
example,

#define WIDEST_HARDWARE_FP_SIZE (TARGET_SOFT_FLOAT ? 0 : 64)

Dave
-- 
J. David Anglin                                  dave.anglin@nrc-cnrc.gc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6602)

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Geert Bosch]

On Feb 15, 2006, at 11:44, John David Anglin wrote:
> I missed this "new" define and will try it.  Perhaps, this should
> take account of the situation when TARGET_SOFT_FLOAT is true.  For
> example,

When emulating all software floating-point, we still don't want to
use 128-bit floats. The whole idea is that Long_Long_Float is the
widest supported type that will still give reasonable performance.
In many cases this type is used for all computation, and changing that
to a 128-bit type is not a good idea until such a type is really
supported efficiently by hardware.

Accuracy requirements mandated by Annex G of the Ada standard
make it quite difficult to correctly implement this, since all
real and complex elementary functions will need to compute
accurate results. Because with 128-bit double extended IEEE
floating-point is supported yet, this work has not been done
yet, and it will be a tremendous effort, since there are
no good system math libraries yet.

   -Geert

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[John David Anglin]

> On Feb 15, 2006, at 11:44, John David Anglin wrote:
> > I missed this "new" define and will try it.  Perhaps, this should
> > take account of the situation when TARGET_SOFT_FLOAT is true.  For
> > example,
> 
> When emulating all software floating-point, we still don't want to
> use 128-bit floats. The whole idea is that Long_Long_Float is the

Understood.  My question was what should the define for
WIDEST_HARDWARE_FP_SIZE be when generating code for a target
with no hardware floating point support (e.g., when
TARGET_SOFT_FLOAT is true)?

Besides the accuracy issue, it has occured to me that the DWARF2
EH support probably can't unwind successfully from exceptions thrown
by the HP quad IEEE routines.

Dave
-- 
J. David Anglin                                  dave.anglin@nrc-cnrc.gc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6602)

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Geert Bosch]

On Feb 15, 2006, at 13:28, John David Anglin wrote:

> Understood.  My question was what should the define for
> WIDEST_HARDWARE_FP_SIZE be when generating code for a target
> with no hardware floating point support (e.g., when
> TARGET_SOFT_FLOAT is true)?

Practically, I'd say it should be 64, as it's a bit of a
universal assumption that you at least have 32-bit and 64-bit
float types, and possibly an 80 bit one (formatted up to 128 bits).
Of course, the idea with soft float is not to reflect reality,
but rather to have a reasonable match with expectations of the
software you'd want to run. 

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Rainer Emrich]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Geert Bosch schrieb:
> 
> On Feb 15, 2006, at 13:28, John David Anglin wrote:
> 
>> Understood.  My question was what should the define for
>> WIDEST_HARDWARE_FP_SIZE be when generating code for a target
>> with no hardware floating point support (e.g., when
>> TARGET_SOFT_FLOAT is true)?
> 
> Practically, I'd say it should be 64, as it's a bit of a
> universal assumption that you at least have 32-bit and 64-bit
> float types, and possibly an 80 bit one (formatted up to 128 bits).
> Of course, the idea with soft float is not to reflect reality,
> but rather to have a reasonable match with expectations of the
> software you'd want to run.
apart from your discussion:

The patch proposed by Olivier applied to 4.1 gives 0 failures for the whole
acats testsuite, as you can see:

LAST_UPDATED:
		=== acats tests ===

		=== acats Summary ===
# of expected passes		2316
# of unexpected failures	0
Native configuration is hppa2.0w-hp-hpux11.00

		=== gcc tests ===


Running target unix/
FAIL: gcc.dg/cpp/_Pragma3.c (test for excess errors)

		=== gcc Summary for unix/ ===

# of expected passes		36348
# of unexpected failures	1
# of expected failures		78
# of untested testcases		28
# of unsupported tests		420

Running target unix/-mpa-risc-2-0
FAIL: gcc.c-torture/execute/20010122-1.c execution,  -O0
FAIL: gcc.c-torture/execute/20010122-1.c execution,  -O1
FAIL: gcc.c-torture/execute/20010122-1.c execution,  -O2
FAIL: gcc.c-torture/execute/20010122-1.c execution,  -O3 -g
FAIL: gcc.c-torture/execute/20010122-1.c execution,  -Os
FAIL: gcc.dg/cpp/_Pragma3.c (test for excess errors)

		=== gcc Summary for unix/-mpa-risc-2-0 ===

# of expected passes		36343
# of unexpected failures	6
# of expected failures		78
# of untested testcases		28
# of unsupported tests		420

		=== gcc Summary ===

# of expected passes		72691
# of unexpected failures	7
# of expected failures		156
# of untested testcases		56
# of unsupported tests		840
/disk1/SCRATCH/gcc-build/HP-UX/hppa2.0w-hp-hpux11.00/gcc-4.1-test/gcc-4.1-test/gcc/xgcc
 version 4.1.0 20060214 (prerelease)


Compiler version: 4.1.0 20060214 (prerelease)
Platform: hppa2.0w-hp-hpux11.00
configure flags: --prefix=/SCRATCH/gcc-build/HP-UX/hppa2.0w-hp-hpux11.00/install
- --with-gnu-as
- --with-as=/SCRATCH/gcc-build/HP-UX/hppa2.0w-hp-hpux11.00/install/bin/as
- --with-ld=/usr/ccs/bin/ld --enable-threads=posix --disable-shared
- --with-gmp=/appl/shared/gnu/HP-UX/hppa2.0w-hp-hpux11.00
- --with-mpfr=/appl/shared/gnu/HP-UX/hppa2.0w-hp-hpux11.00 --enable-languages=c,ada

binutils:
binutils-2.16.1


Build system:
HP-UX c3600-1 B.11.00 A 9000/785 HP-UX

cc for building:
gcc
gcc (GCC) 3.4.5
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.


as for building:
GNU assembler 2.16.1
Copyright 2005 Free Software Foundation, Inc.
This program is free software; you may redistribute it under the terms of
the GNU General Public License.  This program has absolutely no warranty.
This assembler was configured for a target of \`hppa2.0w-hp-hpux11.00'.

ld for building:
92453-07 linker command s800.sgs ld PA64 B.11.43 REL 050124
/usr/ccs/bin/ld: Usage:  /usr/ccs/bin/ld [options] [flags] files
/usr/ccs/bin/ld: 92453-07 linker linker ld B.11.43 050125


Rainer
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFD9E6Z3s6elE6CYeURAs6sAJ0aosPF1+bpjDcI2hnJ9Qp2M3v8LACfWVKH
Oto+Xl3bpJ0tjUAPGHsRHrc=
=jqcg
-----END PGP SIGNATURE-----

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[John David Anglin]

> The patch proposed by Olivier applied to 4.1 gives 0 failures for the whole
> acats testsuite, as you can see:
> 
> LAST_UPDATED:
> 		=== acats tests ===
> 
> 		=== acats Summary ===
> # of expected passes		2316
> # of unexpected failures	0

While not quite as good as your 4.1.0 results, I had a similar improvement
on 4.0.3: http://gcc.gnu.org/ml/gcc-testresults/2006-02/msg00815.html

Olivier, with the addition of a ChangeLog entry, the patch is ok
for all active branches (3.4, 4.0, 4.1 and trunk).

Mark, is it ok for Olivier to apply the patch mentioned here on
4.1?

  http://gcc.gnu.org/ml/gcc/2006-02/msg00251.html

It only affects Ada on PA HP-UX.  It's obviously correct.

Thanks,
Dave
-- 
J. David Anglin                                  dave.anglin@nrc-cnrc.gc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6602)

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Olivier Hainque]

Rainer wrote:
> The patch proposed by Olivier applied to 4.1 gives 0 failures for the whole
> acats testsuite,

John David wrote:
> While not quite as good as your 4.1.0 results, I had a similar improvement
> on 4.0.3: http://gcc.gnu.org/ml/gcc-testresults/2006-02/msg00815.html

 Many thanks to both John David and Rainer for the testing and feedback :)

John David wrote:
> Olivier, with the addition of a ChangeLog entry, the patch is ok
> for all active branches (3.4, 4.0, 4.1 and trunk).

 Understood.

> Mark, is it ok for Olivier to apply the patch mentioned here on
> 4.1?
 
>   http://gcc.gnu.org/ml/gcc/2006-02/msg00251.html
> 
> It only affects Ada on PA HP-UX.  It's obviously correct.

 I'm deferring commits until the set of branches to which I should apply
 is settled. 

 Thanks again for your feedback and for exercising Ada :)

 Olivier

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[John David Anglin]

> > Mark, is it ok for Olivier to apply the patch mentioned here on
> > 4.1?
>  
> >   http://gcc.gnu.org/ml/gcc/2006-02/msg00251.html
> > 
> > It only affects Ada on PA HP-UX.  It's obviously correct.
> 
>  I'm deferring commits until the set of branches to which I should apply
>  is settled. 

As an additional note, this is Bug ada/13408.  Although the change
affects the ADA "ABI", I'm not particularly concerned since the shared
versions of libgnarl and libgnat are non-functional due to incorrect
installation (PR ad/26326).

Dave
-- 
J. David Anglin                                  dave.anglin@nrc-cnrc.gc.ca
National Research Council of Canada              (613) 990-0752 (FAX: 952-6602)

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Arnaud Charlet]

> As an additional note, this is Bug ada/13408.  Although the change
> affects the ADA "ABI"

Note that there is no clear Ada ABI at this stage, and no guarantee of
stability. It's a long term goal to achieve Ada ABI stability, but it's
a huge work.

So changing this is certainly fine.

Arno

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Mark Mitchell]

Olivier Hainque wrote:

>>Mark, is it ok for Olivier to apply the patch mentioned here on
>>4.1?
> 
>>  http://gcc.gnu.org/ml/gcc/2006-02/msg00251.html

Yes, thanks.

-- 
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Olivier Hainque]

Mark Mitchell wrote:
> > Mark, is it ok for Olivier to apply the patch mentioned here on
> > 4.1?

> Yes, thanks.

 I have been away for a couple of days and see that the patch has been
 committed to the various branches. Thanks :)

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Olivier Hainque]

Rainer Emrich wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> acats test cxg2014 hangs forever on hppa2.0w-hp-hpux11.00.

> ,.,. CXG2014 ACATS 2.5 06-02-10 18:02:32
> - ---- CXG2014 Check the accuracy of the SINH and COSH functions.
>    * CXG2014 sinh(1) actual:  7.49999999999999632E-01 expected:
>                 1.17520119364380146E+00 difference:
>                 -4.25201193643801825E-01 max err:
>                 1.01932454980493402E-18.

> Any Ideas ?

 I'm not sure about the hang. For the floating point operations, we are
 currently using

*** gcc/config/pa/pa.h.ori      Tue Mar 30 11:42:04 2004
--- gcc/config/pa/pa.h  Tue Mar 30 11:45:20 2004
***************
*** 461,466 ****
--- 461,471 ----
  #define UNITS_PER_WORD (TARGET_64BIT ? 8 : 4)
  #define MIN_UNITS_PER_WORD 4

+ /* The widest floating point format supported by the hardware.  Note that
+    setting this influences some Ada floating point type sizes, currently
+    required for GNAT to operate properly.  */
+ #define WIDEST_HARDWARE_FP_SIZE 64
+

 in our GCC 3.4 based tree. I haven't yet been able to check the
 situation in 4.X, which is why no patch submission has been issued as
 of today.

 You might still want to give it a try, though, because I think it is
 likely to remain applicable.

 It probably incurs a difference in size between C and Ada long_double s
 but this is minor compared to kind of damage you are observing.

 Olivier

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Eric Botcazou]

> Note that I opened PR ada/26296: "cxg2007 cxg2012 verify_flow_info
> failed" I'm seeing on x86_64-linux, may be something was recently broken
> on exception handling code and this could show up differently on hppa.

No, that's a different problem.

-- 
Eric Botcazou

Re: hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Laurent GUERBY]

Note that I opened PR ada/26296: "cxg2007 cxg2012 verify_flow_info
failed" I'm seeing on x86_64-linux, may be something was recently broken
on exception handling code and this could show up differently on hppa.

Laurent

On Mon, 2006-02-13 at 10:04 +0100, Rainer Emrich wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA1
> 
> acats test cxg2014 hangs forever on hppa2.0w-hp-hpux11.00.
> 
> Killing the process terminates the acats testsuite.
> The directory gcc/testsuite/ada/acats/tests/cxg/cxg2014 contains a cyg2014.log file:
> ,.,. CXG2014 ACATS 2.5 06-02-10 18:02:32
> - ---- CXG2014 Check the accuracy of the SINH and COSH functions.
>    * CXG2014 sinh(1) actual:  7.49999999999999632E-01 expected:
>                 1.17520119364380146E+00 difference:
>                 -4.25201193643801825E-01 max err:
>                 1.01932454980493402E-18.
>    * CXG2014 cosh(1) actual:  1.24999999999999978E+00 expected:
>                 1.54308063481524378E+00 difference:
>                 -2.93080634815243999E-01 max err:
>                 1.33840910126959890E-18.
>    * CXG2014 sinh(2) actual:  3.93749999999999761E+00 expected:
>                 3.62686040784701877E+00 difference:
>                 3.10639592152978846E-01 max err:
>                 3.14579994679152033E-18.
>    * CXG2014 cosh(2) actual:  4.06249999999999768E+00 expected:
>                 3.76219569108363146E+00 difference:
>                 3.00304308916366227E-01 max err:
>                 3.26318459327078156E-18.
>    * CXG2014 sinh(-1) actual: -7.49999999999999632E-01 expected:
>                 -1.17520119364380146E+00 difference:
>                 4.25201193643801825E-01 max err:
>                 1.01932454980493402E-18.
> /raid/tecosim/it/devel/projects/develtools/src/gcc-4.1/gcc/testsuite/ada/acats/run_all.sh:
> 7295 Terminated
> 
> I tried to use tusc to see what's going on:
> tusc cxg2014
> Last lines written:
>  write(1, "  ", 1)
> .....................................................................................................................................
> = 1
> 1.01932454980493402E-18.
> write(1, "1 . 0 1 9 3 2 4 5 4 9 8 0 4 9 3 ".., 25)
> ....................................................................................................
> = 25
> In user-mode
> ..........................................................................................................................................
> [running]
> 
> and then hanging forever.
> 
> Any Ideas ?
> 
> 
> - --
> Rainer Emrich
> TECOSIM GmbH
> Im Eichsfeld 3
> 65428 RÃŒsselsheim
> 
> Phone: +49(0)6142/8272 12
> Mobile: +49(0)163/56 949 20
> Fax.:   +49(0)6142/8272 49
> Web: www.tecosim.com
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.2 (MingW32)
> Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
> 
> iD8DBQFD8EuG3s6elE6CYeURAhI+AJ9b6y2y4785aoOmIyFApf3dTLCPMgCfT3a9
> OdKKDNFXDqu1TE4lDv8DyA4=
> =kK0n
> -----END PGP SIGNATURE-----
> 

hang in acats testsuite test cxg2014 on hppa2.0w-hp-hpux11.00

[Rainer Emrich]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

acats test cxg2014 hangs forever on hppa2.0w-hp-hpux11.00.

Killing the process terminates the acats testsuite.
The directory gcc/testsuite/ada/acats/tests/cxg/cxg2014 contains a cyg2014.log file:
,.,. CXG2014 ACATS 2.5 06-02-10 18:02:32
- ---- CXG2014 Check the accuracy of the SINH and COSH functions.
   * CXG2014 sinh(1) actual:  7.49999999999999632E-01 expected:
                1.17520119364380146E+00 difference:
                -4.25201193643801825E-01 max err:
                1.01932454980493402E-18.
   * CXG2014 cosh(1) actual:  1.24999999999999978E+00 expected:
                1.54308063481524378E+00 difference:
                -2.93080634815243999E-01 max err:
                1.33840910126959890E-18.
   * CXG2014 sinh(2) actual:  3.93749999999999761E+00 expected:
                3.62686040784701877E+00 difference:
                3.10639592152978846E-01 max err:
                3.14579994679152033E-18.
   * CXG2014 cosh(2) actual:  4.06249999999999768E+00 expected:
                3.76219569108363146E+00 difference:
                3.00304308916366227E-01 max err:
                3.26318459327078156E-18.
   * CXG2014 sinh(-1) actual: -7.49999999999999632E-01 expected:
                -1.17520119364380146E+00 difference:
                4.25201193643801825E-01 max err:
                1.01932454980493402E-18.
/raid/tecosim/it/devel/projects/develtools/src/gcc-4.1/gcc/testsuite/ada/acats/run_all.sh:
7295 Terminated

I tried to use tusc to see what's going on:
tusc cxg2014
Last lines written:
 write(1, "  ", 1)
.....................................................................................................................................
= 1
1.01932454980493402E-18.
write(1, "1 . 0 1 9 3 2 4 5 4 9 8 0 4 9 3 ".., 25)
....................................................................................................
= 25
In user-mode
..........................................................................................................................................
[running]

and then hanging forever.

Any Ideas ?


- --
Rainer Emrich
TECOSIM GmbH
Im Eichsfeld 3
65428 RÃŒsselsheim

Phone: +49(0)6142/8272 12
Mobile: +49(0)163/56 949 20
Fax.:   +49(0)6142/8272 49
Web: www.tecosim.com
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFD8EuG3s6elE6CYeURAhI+AJ9b6y2y4785aoOmIyFApf3dTLCPMgCfT3a9
OdKKDNFXDqu1TE4lDv8DyA4=
=kK0n
-----END PGP SIGNATURE-----