public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug optimization/12067] New: combine error
@ 2003-08-26 14:33 amodra at gcc dot gnu dot org
2003-08-26 15:23 ` [Bug optimization/12067] combine error due to rtl sharing amodra at gcc dot gnu dot org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: amodra at gcc dot gnu dot org @ 2003-08-26 14:33 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
Summary: combine error
Product: gcc
Version: 3.4
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: amodra at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
A current mainline bootstrap fails with an unrecognizable insn when compiling
libjava/verify.cc if configured with:
CFLAGS="-g -O" CXXFLAGS="-g -O" /src/gcc-current/configure
This results in verify.cc being compiled with -O1 instead of the normal -O2.
What seems to be happening is that the following three insns:
(insn 138 514 139 5 /src/gcc-current/libjava/verify.cc:553 (set (reg:SI 94 [
<variable>.local_changed ])
(mem/s/j:SI (plus:SI (reg/v/f:SI 59 [ copy ])
(const_int 16 [0x10])) [0 <variable>.local_changed+0 S4 A32]))
-1 (nil)
(nil))
(insn 139 138 517 5 /src/gcc-current/libjava/verify.cc:553 (set (reg:CCZ 17 flags)
(compare:CCZ (mem:QI (plus:SI (reg:SI 94 [ <variable>.local_changed ])
(reg/v:SI 84 [ i ])) [0 S1 A8])
(const_int 0 [0x0]))) -1 (insn_list 138 (nil))
(expr_list:REG_UNUSED (reg:CCZ 17 flags)
(nil)))
(insn 517 139 518 5 /src/gcc-current/libjava/verify.cc:553 (set (reg:CC 17 flags)
(compare:CC (mem:QI (plus:SI (reg:SI 94 [ <variable>.local_changed ])
(reg/v:SI 84 [ i ])) [0 S1 A8])
(const_int 1 [0x1]))) -1 (nil)
(expr_list:REG_DEAD (reg:SI 94 [ <variable>.local_changed ])
(nil)))
are combined (well, the first two), to
(gdb) p debug_rtx (newpat)
(parallel [
(set (reg:CCZ 17 flags)
(compare:CCZ (mem:QI (plus:SI (mem/s/j:SI (plus:SI (reg/v/f:SI 59 [
copy ])
(const_int 16 [0x10])) [0
<variable>.local_changed+0 S4 A32])
(reg/v:SI 84 [ i ])) [0 S1 A8])
(const_int 0 [0x0])))
(set (reg:SI 94 [ <variable>.local_changed ])
(mem/s/j:SI (plus:SI (reg/v/f:SI 59 [ copy ])
(const_int 16 [0x10])) [0 <variable>.local_changed+0 S4 A32]))
])
which is invalid, but code at combine.c:2046 figures correctly that the
first set is setting an unused reg so can be eliminated. The second set
is just insn 138 again and is obviously valid. The trouble is that
reg:SI 94 is also substituted in insn 517, at the time the first two
insns are combined, giving us:
(note 138 514 139 5 NOTE_INSN_DELETED)
(insn 139 138 517 5 /src/gcc-current/libjava/verify.cc:553 (set (reg:SI 94 [
<variable>.local_changed ])
(mem/s/j:SI (plus:SI (reg/v/f:SI 59 [ copy ])
(const_int 16 [0x10])) [0 <variable>.local_changed+0 S4 A32]))
38 {*movsi_1} (nil)
(nil))
(insn 517 139 518 5 /src/gcc-current/libjava/verify.cc:553 (set (reg:CC 17 flags)
(compare:CC (mem:QI (plus:SI (mem/s/j:SI (plus:SI (reg/v/f:SI 59 [ copy ])
(const_int 16 [0x10])) [0 <variable>.local_changed+0
S4 A32])
(reg/v:SI 84 [ i ])) [0 S1 A8])
(const_int 1 [0x1]))) -1 (nil)
(expr_list:REG_DEAD (reg:SI 94 [ <variable>.local_changed ])
(nil)))
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
@ 2003-08-26 15:23 ` amodra at gcc dot gnu dot org
2003-08-27 2:02 ` amodra at gcc dot gnu dot org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: amodra at gcc dot gnu dot org @ 2003-08-26 15:23 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
amodra at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|combine error |combine error due to rtl
| |sharing
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
2003-08-26 15:23 ` [Bug optimization/12067] combine error due to rtl sharing amodra at gcc dot gnu dot org
@ 2003-08-27 2:02 ` amodra at gcc dot gnu dot org
2003-08-27 2:32 ` amodra at gcc dot gnu dot org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: amodra at gcc dot gnu dot org @ 2003-08-27 2:02 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
amodra at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |amodra at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2003-08-27 02:02:45
date| |
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
2003-08-26 15:23 ` [Bug optimization/12067] combine error due to rtl sharing amodra at gcc dot gnu dot org
2003-08-27 2:02 ` amodra at gcc dot gnu dot org
@ 2003-08-27 2:32 ` amodra at gcc dot gnu dot org
2003-10-30 7:17 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: amodra at gcc dot gnu dot org @ 2003-08-27 2:32 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
------- Additional Comments From amodra at gcc dot gnu dot org 2003-08-27 02:32 -------
See http://gcc.gnu.org/ml/gcc-patches/2003-08/msg01677.html for
proposed fix.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
` (2 preceding siblings ...)
2003-08-27 2:32 ` amodra at gcc dot gnu dot org
@ 2003-10-30 7:17 ` pinskia at gcc dot gnu dot org
2003-11-25 3:32 ` amodra at gcc dot gnu dot org
2003-11-29 1:28 ` pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-10-30 7:17 UTC (permalink / raw)
To: gcc-bugs
PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch, wrong-code
Target Milestone|--- |3.4
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
` (3 preceding siblings ...)
2003-10-30 7:17 ` pinskia at gcc dot gnu dot org
@ 2003-11-25 3:32 ` amodra at gcc dot gnu dot org
2003-11-29 1:28 ` pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: amodra at gcc dot gnu dot org @ 2003-11-25 3:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From amodra at gcc dot gnu dot org 2003-11-25 03:32 -------
Jan promised to fix this.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|amodra at gcc dot gnu dot |hubicka at gcc dot gnu dot
|org |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/12067] combine error due to rtl sharing
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
` (4 preceding siblings ...)
2003-11-25 3:32 ` amodra at gcc dot gnu dot org
@ 2003-11-29 1:28 ` pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2003-11-29 1:28 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2003-11-29 01:28 -------
Fixed in 3.4 by Jan's patch.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12067
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2003-11-29 1:28 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-08-26 14:33 [Bug optimization/12067] New: combine error amodra at gcc dot gnu dot org
2003-08-26 15:23 ` [Bug optimization/12067] combine error due to rtl sharing amodra at gcc dot gnu dot org
2003-08-27 2:02 ` amodra at gcc dot gnu dot org
2003-08-27 2:32 ` amodra at gcc dot gnu dot org
2003-10-30 7:17 ` pinskia at gcc dot gnu dot org
2003-11-25 3:32 ` amodra at gcc dot gnu dot org
2003-11-29 1:28 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).