* [Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
@ 2004-05-08 18:42 ` pb at gcc dot gnu dot org
2004-05-08 21:51 ` belyshev at lubercy dot com
` (9 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pb at gcc dot gnu dot org @ 2004-05-08 18:42 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pb at gcc dot gnu dot org 2004-05-08 18:42 -------
Created an attachment (id=6241)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6241&action=view)
test case
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
2004-05-08 18:42 ` [Bug target/15342] " pb at gcc dot gnu dot org
@ 2004-05-08 21:51 ` belyshev at lubercy dot com
2004-05-09 13:59 ` belyshev at lubercy dot com
` (8 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: belyshev at lubercy dot com @ 2004-05-08 21:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From belyshev at lubercy dot com 2004-05-08 21:51 -------
Created an attachment (id=6242)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6242&action=view)
minimized testcase (1056 bytes)
I can confirm this bug with 3.4.1 and 3.5.0;
I think it is similar to bug 14615.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
2004-05-08 18:42 ` [Bug target/15342] " pb at gcc dot gnu dot org
2004-05-08 21:51 ` belyshev at lubercy dot com
@ 2004-05-09 13:59 ` belyshev at lubercy dot com
2004-05-09 15:25 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: belyshev at lubercy dot com @ 2004-05-09 13:59 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From belyshev at lubercy dot com 2004-05-09 13:59 -------
Created an attachment (id=6244)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6244&action=view)
even smaller testcase (312 bytes)
use '-O1 -fexpensive-optimizations -fgcse -fschedule-insns -frename-registers'
for this.
--
What |Removed |Added
----------------------------------------------------------------------------
Attachment #6242 is|0 |1
obsolete| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (2 preceding siblings ...)
2004-05-09 13:59 ` belyshev at lubercy dot com
@ 2004-05-09 15:25 ` pinskia at gcc dot gnu dot org
2004-10-29 16:44 ` [Bug rtl-optimization/15342] " rearnsha at gcc dot gnu dot org
` (6 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-09 15:25 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-05-09 15:25 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-05-09 15:25:27
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (3 preceding siblings ...)
2004-05-09 15:25 ` pinskia at gcc dot gnu dot org
@ 2004-10-29 16:44 ` rearnsha at gcc dot gnu dot org
2004-11-04 14:08 ` cvs-commit at gcc dot gnu dot org
` (5 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: rearnsha at gcc dot gnu dot org @ 2004-10-29 16:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rearnsha at gcc dot gnu dot org 2004-10-29 16:43 -------
I think the key to what has failed here is that the reg-rename pass has missed
the equivalence between start->index and a member of the copied structure.
In pseudo code, the output from the previous pass has the following instructions
r2 := [ip+8]/4
cc := cmp r2, #0
ne(cc): r0, r1, r2 := [r0]/12
ne(cc): [ip]/12 := r0, r1, r2 // Note [ip+8]/4 set to new r2 ...
cc := cmp r2, #1 // ...so no need to reload it here
gt(cc): r3 := #0
gt(cc): [ip+8]/4 := r3
return
Note that r2 is updated by the first conditional instruction (a conditional ldm
on ARM). The conditional move code on ARM uses hard registers, but CSE has
clearly noticed this equivalence at some point and merged the two uses to avoid
a redundant re-load of start->index. Unfortunately, rename_registers has missed
this and split the two uses up again. This creates a use of r2 when it isn't
correctly initialized.
r1 := [ip+8]/4
cc := cmp r1, #0
ne(cc): r0, r1, r2 := [r0]/12
ne(cc): [ip]/12 := r0, r1, r2
cc := cmp r2, #1 // r2 incorrect if previous insn not exec
gt(cc): r3 := #0
gt(cc): [ip+8]/4 := r3
return
--
What |Removed |Added
----------------------------------------------------------------------------
Component|target |rtl-optimization
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (4 preceding siblings ...)
2004-10-29 16:44 ` [Bug rtl-optimization/15342] " rearnsha at gcc dot gnu dot org
@ 2004-11-04 14:08 ` cvs-commit at gcc dot gnu dot org
2005-01-23 23:47 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-11-04 14:08 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2004-11-04 14:08 -------
Subject: Bug 15342
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: rsandifo@gcc.gnu.org 2004-11-04 14:08:16
Modified files:
gcc : ChangeLog regrename.c
gcc/testsuite : ChangeLog
Added files:
gcc/testsuite/gcc.dg: 20041104-1.c
Log message:
PR target/15342
* regrename.c (scan_rtx): Treat the destinations of SETs and CLOBBERs
as OP_INOUT if the instruction is predicated.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6166&r2=2.6167
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/regrename.c.diff?cvsroot=gcc&r1=1.89&r2=1.90
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4542&r2=1.4543
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20041104-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (5 preceding siblings ...)
2004-11-04 14:08 ` cvs-commit at gcc dot gnu dot org
@ 2005-01-23 23:47 ` pinskia at gcc dot gnu dot org
2005-01-23 23:48 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-23 23:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-23 23:47 -------
Fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (6 preceding siblings ...)
2005-01-23 23:47 ` pinskia at gcc dot gnu dot org
@ 2005-01-23 23:48 ` pinskia at gcc dot gnu dot org
2005-09-01 13:09 ` cvs-commit at gcc dot gnu dot org
` (2 subsequent siblings)
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-23 23:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-23 23:47 -------
*** Bug 18295 has been marked as a duplicate of this bug. ***
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |ralf_corsepius at rtems dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (7 preceding siblings ...)
2005-01-23 23:48 ` pinskia at gcc dot gnu dot org
@ 2005-09-01 13:09 ` cvs-commit at gcc dot gnu dot org
2005-09-01 13:14 ` rearnsha at gcc dot gnu dot org
2005-09-01 13:15 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-09-01 13:09 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-09-01 13:09 -------
Subject: Bug 15342
CVSROOT: /cvs/gcc
Module name: gcc
Branch: gcc-3_4-branch
Changes by: rearnsha@gcc.gnu.org 2005-09-01 13:09:08
Modified files:
gcc : ChangeLog regrename.c
Log message:
PR rtl-optimization/17810
Backport
2004-11-04 Richard Sandiford <rsandifo@redhat.com>
PR target/15342
* regrename.c (scan_rtx): Treat the destinations of SETs and CLOBBERs
as OP_INOUT if the instruction is predicated.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.910&r2=2.2326.2.911
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/regrename.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.73.2.1&r2=1.73.2.2
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (8 preceding siblings ...)
2005-09-01 13:09 ` cvs-commit at gcc dot gnu dot org
@ 2005-09-01 13:14 ` rearnsha at gcc dot gnu dot org
2005-09-01 13:15 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: rearnsha at gcc dot gnu dot org @ 2005-09-01 13:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rearnsha at gcc dot gnu dot org 2005-09-01 13:14 -------
*** Bug 17810 has been marked as a duplicate of this bug. ***
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |pisa at cmp dot felk dot
| |cvut dot cz
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread* [Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start
2004-05-08 18:41 [Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start pb at gcc dot gnu dot org
` (9 preceding siblings ...)
2005-09-01 13:14 ` rearnsha at gcc dot gnu dot org
@ 2005-09-01 13:15 ` pinskia at gcc dot gnu dot org
10 siblings, 0 replies; 12+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-09-01 13:15 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |3.4.4
Known to work| |3.4.5 4.0.0 4.1.0
Target Milestone|4.0.0 |3.4.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342
^ permalink raw reply [flat|nested] 12+ messages in thread