[Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start

[Bug target/15342] New: [arm-linux] internal compiler error: in verify_local_live_at_start

[pb at gcc dot gnu dot org]

$ ./cc1 -O2 -frename-registers gtktext.i
[...]
gtktext.c: In function `gtk_text_insert':
gtktext.c:1085: internal compiler error: in verify_local_live_at_start, at
flow.c:546
Please submit a full bug report,

-- 
           Summary: [arm-linux] internal compiler error: in
                    verify_local_live_at_start
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pb at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: arm-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15342

[Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[pb at gcc dot gnu dot org]

------- 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

[Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[belyshev at lubercy dot com]

------- 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

[Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[belyshev at lubercy dot com]

------- 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

[Bug target/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[pinskia at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[rearnsha at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[cvs-commit at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[pinskia at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[pinskia at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[cvs-commit at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[rearnsha at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/15342] [arm-linux] internal compiler error: in verify_local_live_at_start

[pinskia at gcc dot gnu dot org]

-- 
           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