* [Bug ada/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
@ 2006-01-21 20:59 ` pinskia at gcc dot gnu dot org
2006-01-21 23:11 ` laurent at guerby dot net
` (22 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-01-21 20:59 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Target Milestone|--- |4.2.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug ada/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
2006-01-21 20:59 ` [Bug ada/25899] " pinskia at gcc dot gnu dot org
@ 2006-01-21 23:11 ` laurent at guerby dot net
2006-01-21 23:33 ` [Bug target/25899] " steven at gcc dot gnu dot org
` (21 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: laurent at guerby dot net @ 2006-01-21 23:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from laurent at guerby dot net 2006-01-21 23:11 -------
c34006a and cc1226b were passing on r109969 and are failing since r109971
------------------------------------------------------------------------
r109971 | hubicka | 2006-01-19 18:10:24 +0100 (Thu, 19 Jan 2006) | 36 lines
* invoke.texi (generic): Document
(i686) Update.
* config.gcc: Make x86_64-* and i686-* default to generic tunning.
...
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hubicka at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
2006-01-21 20:59 ` [Bug ada/25899] " pinskia at gcc dot gnu dot org
2006-01-21 23:11 ` laurent at guerby dot net
@ 2006-01-21 23:33 ` steven at gcc dot gnu dot org
2006-01-22 14:51 ` hjl at lucon dot org
` (20 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: steven at gcc dot gnu dot org @ 2006-01-21 23:33 UTC (permalink / raw)
To: gcc-bugs
--
steven at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Component|ada |target
Ever Confirmed|0 |1
GCC host triplet|i686-pc-linux-gnu |
GCC target triplet| |i686-pc-linux-gnu
Last reconfirmed|0000-00-00 00:00:00 |2006-01-21 23:33:03
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (2 preceding siblings ...)
2006-01-21 23:33 ` [Bug target/25899] " steven at gcc dot gnu dot org
@ 2006-01-22 14:51 ` hjl at lucon dot org
2006-01-22 16:08 ` hjl at lucon dot org
` (19 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-22 14:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from hjl at lucon dot org 2006-01-22 14:51 -------
I don't know anything about Ada. Can you convert the testcase into C?
--
hjl at lucon dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hjl at lucon dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (3 preceding siblings ...)
2006-01-22 14:51 ` hjl at lucon dot org
@ 2006-01-22 16:08 ` hjl at lucon dot org
2006-01-22 16:14 ` hjl at lucon dot org
` (18 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-22 16:08 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from hjl at lucon dot org 2006-01-22 16:08 -------
Are you sure that r109969 really works. I got
mkdir -p ada/bldtools/nmake_b
cp -p /net/gnu-13/export/gnu/src/gcc-last/gcc/gcc/ada/sinfo.ads
/net/gnu-13/export/gnu/src/gcc-last/gcc/gcc/ada/nmake.adt
/net/gnu-13/export/gnu/src/gcc-last/gcc/gcc/ada/xnmake.adb ada/bldtools/nmake_b
(cd ada/bldtools/nmake_b; gnatmake -q xnmake ; ./xnmake -b ../../nmake.adb )
s-finroo.ads:65:15: identifier expected
s-finroo.ads:69:15: identifier expected
gnatmake: "xnmake.adb" compilation error
/bin/sh: line 1: ./xnmake: No such file or directory
make[3]: *** [ada/nmake.adb] Error 127
make[3]: Leaving directory `/export/build/gnu/gcc-last/build-i686-linux/gcc'
make[2]: *** [all-stage1-gcc] Error 2
make[2]: Leaving directory `/export/build/gnu/gcc-last/build-i686-linux'
make[1]: *** [stage1-bubble] Error 2
make[1]: Leaving directory `/export/build/gnu/gcc-last/build-i686-linux'
make: *** [all] Error 2
when I tried to build C and Ada with r109969.
--
hjl at lucon dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (4 preceding siblings ...)
2006-01-22 16:08 ` hjl at lucon dot org
@ 2006-01-22 16:14 ` hjl at lucon dot org
2006-01-22 16:50 ` laurent at guerby dot net
` (17 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-22 16:14 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from hjl at lucon dot org 2006-01-22 16:14 -------
I got the same Ada bootrap problem with revision 109968.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (5 preceding siblings ...)
2006-01-22 16:14 ` hjl at lucon dot org
@ 2006-01-22 16:50 ` laurent at guerby dot net
2006-01-23 5:32 ` hjl at lucon dot org
` (16 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: laurent at guerby dot net @ 2006-01-22 16:50 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from laurent at guerby dot net 2006-01-22 16:50 -------
It does work for me. What is the version of your host Ada compiler? On the
machine I used to bootstrap 109969 it is:
$ gnatls -v
GNATLS 4.0.2 20050808 (prerelease) (Ubuntu 4.0.1-4ubuntu9)
...
mkdir -p ada/bldtools/nmake_b
cp -p /n/05/guerby/trunk-109969/gcc/ada/sinfo.ads
/n/05/guerby/trunk-109969/gcc/ada/nmake.adt
/n/05/guerby/trunk-109969/gcc/ada/xnmake.adb ada/bldtools/nm\
ake_b
(cd ada/bldtools/nmake_b; gnatmake -q xnmake ; ./xnmake -b ../../nmake.adb )
mkdir -p ada/bldtools/nmake_s
cp -p /n/05/guerby/trunk-109969/gcc/ada/sinfo.ads
/n/05/guerby/trunk-109969/gcc/ada/nmake.adt
/n/05/guerby/trunk-109969/gcc/ada/xnmake.adb ada/nmake.adb a\
da/bldtools/nmake_s
(cd ada/bldtools/nmake_s; gnatmake -q xnmake ; ./xnmake -s ../../nmake.ads )
--
laurent at guerby dot net changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2006-01-21 23:33:03 |2006-01-22 16:50:16
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (6 preceding siblings ...)
2006-01-22 16:50 ` laurent at guerby dot net
@ 2006-01-23 5:32 ` hjl at lucon dot org
2006-01-23 5:34 ` hjl at lucon dot org
` (15 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 5:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from hjl at lucon dot org 2006-01-23 05:32 -------
I think it is a latent bug. When I added -mtune=k8 with revsion 109969, I got
the same failure on c34006a. Laurent, can you verify it as well as cc1226b?
Why do we only see it in Ada?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (7 preceding siblings ...)
2006-01-23 5:32 ` hjl at lucon dot org
@ 2006-01-23 5:34 ` hjl at lucon dot org
2006-01-23 6:03 ` hjl at lucon dot org
` (14 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 5:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from hjl at lucon dot org 2006-01-23 05:34 -------
[hjl@gnu-67 ada-1]$ make
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-next/build-i686-linux/gcc/testsuite/ada/acats/support
-c c34006a.adb
/export/build/gnu/gcc-next/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-next/build-i686-linux/gcc/testsuite/ada/acats/support
-I- -x c34006a.ali
/export/build/gnu/gcc-next/build-i686-linux/gcc/gnatlink c34006a.ali
--GCC="/export/build/gnu/gcc-next/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-next/build-i686-linux/gcc/"
./c34006a
,.,. C34006A ACATS 2.5 06-01-22 21:33:54
---- C34006A CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED
(IMPLICITLY) FOR DERIVED RECORD TYPES WITHOUT
DISCRIMINANTS AND WITH NON-LIMITED COMPONENT TYPES.
==== C34006A PASSED ============================.
[hjl@gnu-67 ada-1]$ make clean
rm -f c34006a c34006a.o
[hjl@gnu-67 ada-1]$ make
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-next/build-i686-linux/gcc/testsuite/ada/acats/support
-mtune=k8 -c c34006a.adb
/export/build/gnu/gcc-next/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-next/build-i686-linux/gcc/testsuite/ada/acats/support
-I- -x c34006a.ali
/export/build/gnu/gcc-next/build-i686-linux/gcc/gnatlink c34006a.ali
--GCC="/export/build/gnu/gcc-next/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-next/build-i686-linux/gcc/"
./c34006a
,.,. C34006A ACATS 2.5 06-01-22 21:34:11
---- C34006A CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED
(IMPLICITLY) FOR DERIVED RECORD TYPES WITHOUT
DISCRIMINANTS AND WITH NON-LIMITED COMPONENT TYPES.
* C34006A INCORRECT :=.
* C34006A INCORRECT QUALIFICATION.
* C34006A INCORRECT SELF CONVERSION.
* C34006A INCORRECT CONVERSION TO PARENT.
* C34006A INCORRECT SELECTION (VALUE).
**** C34006A FAILED ****************************.
[hjl@gnu-67 ada-1]$
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (8 preceding siblings ...)
2006-01-23 5:34 ` hjl at lucon dot org
@ 2006-01-23 6:03 ` hjl at lucon dot org
2006-01-23 14:37 ` [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8 hjl at lucon dot org
` (13 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 6:03 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from hjl at lucon dot org 2006-01-23 06:03 -------
This is very strange. Even without the -mtune=generic patch, c34006a fails on
Linux/i686 with -Os, -mtune[i386 i486 pentium k6 athlon k8 pentium4 nocona].
Laurent, do you know why?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (9 preceding siblings ...)
2006-01-23 6:03 ` hjl at lucon dot org
@ 2006-01-23 14:37 ` hjl at lucon dot org
2006-01-23 15:21 ` hjl at lucon dot org
` (12 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 14:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from hjl at lucon dot org 2006-01-23 14:37 -------
I have verified that cc1226b also failed with -mtune=k8:
[hjl@gnu-67 ada-2]$ make
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-mtune=k8 -c cc1226b.adb
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-I- -x cc1226b.ali
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatlink cc1226b.ali
--GCC="/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/"
./cc1226b
,.,. CC1226B ACATS 2.5 06-01-23 06:35:52
---- CC1226B CHECK, FOR A FORMAL NONLIMITED PRIVATE TYPE THAT ALL
ALLOWABLE OPERATIONS ARE IMPLICITLY DECLARED.
raised CONSTRAINT_ERROR : cc1226b.adb:155 discriminant check failed
make: *** [all] Error 1
[hjl@gnu-67 ada-2]$
--
hjl at lucon dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[4.2 Regression] ACATS FAIL |ACATS FAIL c34006a cc1226b
|c34006a cc1226b on x86-linux|on x86-linux with -mtune=k8
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (10 preceding siblings ...)
2006-01-23 14:37 ` [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8 hjl at lucon dot org
@ 2006-01-23 15:21 ` hjl at lucon dot org
2006-01-23 15:27 ` hubicka at gcc dot gnu dot org
` (11 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 15:21 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from hjl at lucon dot org 2006-01-23 15:21 -------
I have verified that c34006a and cc1226b are only new failures when -mtune=k8
is used.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (11 preceding siblings ...)
2006-01-23 15:21 ` hjl at lucon dot org
@ 2006-01-23 15:27 ` hubicka at gcc dot gnu dot org
2006-01-23 16:13 ` hjl at lucon dot org
` (10 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hubicka at gcc dot gnu dot org @ 2006-01-23 15:27 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from hubicka at gcc dot gnu dot org 2006-01-23 15:27 -------
This might be another manifestation of the argument saving area with
-maccumulate-outgoing-args
(if it is so, either -fno-tree-ter or -mno-accumulate-outgoing-args should
solve it). I will try to look into it tonight as well.
Honza
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (12 preceding siblings ...)
2006-01-23 15:27 ` hubicka at gcc dot gnu dot org
@ 2006-01-23 16:13 ` hjl at lucon dot org
2006-01-23 17:04 ` hjl at lucon dot org
` (9 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 16:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from hjl at lucon dot org 2006-01-23 16:13 -------
Created an attachment (id=10712)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10712&action=view)
Testcases
I am not sure -mno-accumulate-outgoing-args -fno-tree-ter will solve the
problem.
This is the testcase I am using:
[hjl@gnu-67 ada-3]$ make
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-mtune=k8 -c c34006a.adb
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-I- -x c34006a.ali
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatlink c34006a.ali
--GCC="/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/"
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-mtune=k8 -c cc1226b.adb
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support
-I- -x cc1226b.ali
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatlink cc1226b.ali
--GCC="/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/"
status=0; \
for f in c34006a cc1226b; do \
./$f || status=$?; \
done; \
exit $status
,.,. C34006A ACATS 2.5 06-01-23 08:13:12
---- C34006A CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED
(IMPLICITLY) FOR DERIVED RECORD TYPES WITHOUT
DISCRIMINANTS AND WITH NON-LIMITED COMPONENT TYPES.
* C34006A INCORRECT :=.
* C34006A INCORRECT QUALIFICATION.
* C34006A INCORRECT SELF CONVERSION.
* C34006A INCORRECT CONVERSION TO PARENT.
* C34006A INCORRECT SELECTION (VALUE).
**** C34006A FAILED ****************************.
,.,. CC1226B ACATS 2.5 06-01-23 08:13:12
---- CC1226B CHECK, FOR A FORMAL NONLIMITED PRIVATE TYPE THAT ALL
ALLOWABLE OPERATIONS ARE IMPLICITLY DECLARED.
raised CONSTRAINT_ERROR : cc1226b.adb:155 discriminant check failed
make: *** [all] Error 1
rm cc1226b.o c34006a.o
[hjl@gnu-67 ada-3]$
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (13 preceding siblings ...)
2006-01-23 16:13 ` hjl at lucon dot org
@ 2006-01-23 17:04 ` hjl at lucon dot org
2006-01-23 17:44 ` hubicka at ucw dot cz
` (8 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-23 17:04 UTC (permalink / raw)
To: gcc-bugs
------- Comment #13 from hjl at lucon dot org 2006-01-23 17:04 -------
Jan, I have verified that turn on x86_partial_reg_stall:
const int x86_partial_reg_stall = m_PPRO;
fixes those 2 failures. That is why only -mtune=pentiumpro passes those
2 tests. Does it ring any bells to you?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (14 preceding siblings ...)
2006-01-23 17:04 ` hjl at lucon dot org
@ 2006-01-23 17:44 ` hubicka at ucw dot cz
2006-01-24 12:05 ` ebotcazou at gcc dot gnu dot org
` (7 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: hubicka at ucw dot cz @ 2006-01-23 17:44 UTC (permalink / raw)
To: gcc-bugs
------- Comment #14 from hubicka at ucw dot cz 2006-01-23 17:43 -------
Subject: Re: ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
It does not :( I will get to machine with Ada compiler only tonight, but
I will try to review the PARTIAL_REG_STALL code, perhaps there is
something obvious.
Honza
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (15 preceding siblings ...)
2006-01-23 17:44 ` hubicka at ucw dot cz
@ 2006-01-24 12:05 ` ebotcazou at gcc dot gnu dot org
2006-01-24 13:28 ` [Bug target/25899] [4.2 Regression] " pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-24 12:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #15 from ebotcazou at gcc dot gnu dot org 2006-01-24 12:05 -------
> This might be another manifestation of the argument saving area with
> -maccumulate-outgoing-args
> (if it is so, either -fno-tree-ter or -mno-accumulate-outgoing-args should
> solve it). I will try to look into it tonight as well.
I fixed the -maccumulate-outgoing-args/-fno-tree-ter issue for 4.1 though.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (16 preceding siblings ...)
2006-01-24 12:05 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-24 13:28 ` pinskia at gcc dot gnu dot org
2006-01-25 7:05 ` [Bug target/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86 ebotcazou at gcc dot gnu dot org
` (5 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-01-24 13:28 UTC (permalink / raw)
To: gcc-bugs
------- Comment #16 from pinskia at gcc dot gnu dot org 2006-01-24 13:28 -------
This is still a regression even though Honza/HJL's change exposed a latent bug.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Summary|ACATS FAIL c34006a cc1226b |[4.2 Regression] ACATS FAIL
|on x86-linux with -mtune=k8 |c34006a cc1226b on x86-linux
| |with -mtune=k8
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug target/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (17 preceding siblings ...)
2006-01-24 13:28 ` [Bug target/25899] [4.2 Regression] " pinskia at gcc dot gnu dot org
@ 2006-01-25 7:05 ` ebotcazou at gcc dot gnu dot org
2006-01-25 7:37 ` [Bug rtl-optimization/25899] " ebotcazou at gcc dot gnu dot org
` (4 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 7:05 UTC (permalink / raw)
To: gcc-bugs
------- Comment #17 from ebotcazou at gcc dot gnu dot org 2006-01-25 07:05 -------
> Jan, I have verified that turn on x86_partial_reg_stall:
>
> const int x86_partial_reg_stall = m_PPRO;
>
> fixes those 2 failures. That is why only -mtune=pentiumpro passes those
> 2 tests.
Confirmed.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
GCC target triplet|i686-pc-linux-gnu |i?86-*-*
Last reconfirmed|2006-01-24 12:06:27 |2006-01-25 07:05:07
date| |
Summary|[4.2 Regression] ACATS FAIL |[4.2 Regression] ACATS
|c34006a cc1226b on x86-linux|c34006a cc1226b failure on
|with -mtune=k8 |x86
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug rtl-optimization/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (18 preceding siblings ...)
2006-01-25 7:05 ` [Bug target/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86 ebotcazou at gcc dot gnu dot org
@ 2006-01-25 7:37 ` ebotcazou at gcc dot gnu dot org
2006-01-25 8:01 ` ebotcazou at gcc dot gnu dot org
` (3 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 7:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #18 from ebotcazou at gcc dot gnu dot org 2006-01-25 07:37 -------
It's again the combiner:
26.life1:
(insn 21 19 22 2 (set (subreg:SI (reg:DI 64 [ D.654 ]) 0)
(const_int 1 [0x1])) 34 {*movsi_1} (insn_list:REG_DEP_TRUE 73 (nil))
(nil))
(insn 22 21 23 2 (set (strict_low_part (subreg:QI (reg:DI 64 [ D.654 ]) 4))
(const_int 1 [0x1])) 46 {*movstrictqi_1} (insn_list:REG_DEP_TRUE 21
(nil))
(nil))
27.combine
(note 21 19 22 2 NOTE_INSN_DELETED)
(insn 22 21 23 2 (set (reg:DI 64 [ D.654 ])
(const_int 1 [0x1])) 56 {*movdi_2} (nil)
(nil))
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |sayle at gcc dot gnu dot org
|dot org |
Status|NEW |ASSIGNED
Component|target |rtl-optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug rtl-optimization/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (19 preceding siblings ...)
2006-01-25 7:37 ` [Bug rtl-optimization/25899] " ebotcazou at gcc dot gnu dot org
@ 2006-01-25 8:01 ` ebotcazou at gcc dot gnu dot org
2006-01-25 13:43 ` hubicka at ucw dot cz
` (2 subsequent siblings)
23 siblings, 0 replies; 25+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 8:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #19 from ebotcazou at gcc dot gnu dot org 2006-01-25 08:01 -------
Same problem for cc1226b:
26.life1:
(insn 10 9 11 2 cc1226b.adb:28 (set (strict_low_part (subreg:QI (reg:DI 83 [
D.717 ]) 4))
(const_int 1 [0x1])) 46 {*movstrictqi_1} (insn_list:REG_DEP_TRUE 200
(nil))
(nil))
(insn 11 10 13 2 cc1226b.adb:28 (set (subreg:SI (reg:DI 83 [ D.717 ]) 0)
(const_int 5 [0x5])) 34 {*movsi_1} (insn_list:REG_DEP_TRUE 10 (nil))
(nil))
(insn 13 11 14 2 cc1226b.adb:28 (set (strict_low_part (subreg:QI (reg/v:DI 85 [
pack__ndvar ]) 4))
(subreg:QI (reg:DI 83 [ D.717 ]) 4)) 46 {*movstrictqi_1}
(insn_list:REG_DEP_TRUE 201 (insn_list:REG_DEP_TRUE 11 (nil)))
(expr_list:REG_DEAD (reg:DI 83 [ D.717 ])
(nil)))
(insn 14 13 15 2 cc1226b.adb:28 (set (subreg:SI (reg/v:DI 85 [ pack__ndvar ])
0)
(const_int 5 [0x5])) 34 {*movsi_1} (insn_list:REG_DEP_TRUE 13 (nil))
(nil))
27.combine:
(note 10 9 11 2 NOTE_INSN_DELETED)
(note 11 10 13 2 NOTE_INSN_DELETED)
(note 13 11 14 2 NOTE_INSN_DELETED)
(note 14 13 15 2 NOTE_INSN_DELETED)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug rtl-optimization/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (20 preceding siblings ...)
2006-01-25 8:01 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-25 13:43 ` hubicka at ucw dot cz
2006-01-25 13:52 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:57 ` hjl at lucon dot org
23 siblings, 0 replies; 25+ messages in thread
From: hubicka at ucw dot cz @ 2006-01-25 13:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #20 from hubicka at ucw dot cz 2006-01-25 13:43 -------
Subject: Re: [4.2 Regression] ACATS c34006a cc1226b failure on x86
Very good catch! Here is C testcase. I need to setup testing, then I
will try to debug the problem in combiner.
Honza
struct a
{
int a;
char b,c,d,e;
};
__attribute__ ((noinline))
__attribute__ ((regparm(1))) t(struct a a)
{
if (a.a!=1 || a.b!=1 || a.c!=1)
abort();
}
main()
{
struct a a;
a.c=1;
a.a=1;
a.b=1;
t(a);
return 0;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug rtl-optimization/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (21 preceding siblings ...)
2006-01-25 13:43 ` hubicka at ucw dot cz
@ 2006-01-25 13:52 ` ebotcazou at gcc dot gnu dot org
2006-01-25 14:57 ` hjl at lucon dot org
23 siblings, 0 replies; 25+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2006-01-25 13:52 UTC (permalink / raw)
To: gcc-bugs
------- Comment #21 from ebotcazou at gcc dot gnu dot org 2006-01-25 13:52 -------
> Very good catch! Here is C testcase. I need to setup testing, then I
> will try to debug the problem in combiner.
Don't bother, it's duplicate of 25703, assigned to Roger.
*** This bug has been marked as a duplicate of 25703 ***
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |DUPLICATE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread
* [Bug rtl-optimization/25899] [4.2 Regression] ACATS c34006a cc1226b failure on x86
2006-01-21 9:37 [Bug ada/25899] New: [4.2 Regression] ACATS FAIL c34006a cc1226b on x86-linux laurent at guerby dot net
` (22 preceding siblings ...)
2006-01-25 13:52 ` ebotcazou at gcc dot gnu dot org
@ 2006-01-25 14:57 ` hjl at lucon dot org
23 siblings, 0 replies; 25+ messages in thread
From: hjl at lucon dot org @ 2006-01-25 14:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #22 from hjl at lucon dot org 2006-01-25 14:57 -------
Can we add this C testcase to gcc testsuite?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899
^ permalink raw reply [flat|nested] 25+ messages in thread