[Bug c/20249] New: ICE in final_scan_insn, at final.c:2501

[Bug c/20249] New: ICE in final_scan_insn, at final.c:2501

[marcus at jet dot franken dot de]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1086 bytes --]

when compiling this testcase (extracted from bash) with -fprofile-arcs 
the 4.0 branch ices. 
 
gcc  -O2    -fprofile-arcs -c variables.i  
variables.i: In function ‘ff’: 
variables.i:8: error: could not split insn 
(insn 13 28 44 (set (reg:DI 3 3 [ z ]) 
        (reg:SI 5 5 [124])) 237 {*movdi_internal32} (nil) 
    (expr_list:REG_DEAD (reg:SI 5 5 [124]) 
        (nil))) 
variables.i:8: internal compiler error: in final_scan_insn, at final.c:2501 
Please submit a full bug report, 
with preprocessed source if appropriate.

-- 
           Summary: ICE in final_scan_insn, at final.c:2501
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: marcus at jet dot franken dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: powerpc-suse-linux
  GCC host triplet: powerpc-suse-linux
GCC target triplet: powerpc-suse-linux


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

[Bug c/20249] ICE in final_scan_insn, at final.c:2501

[marcus at jet dot franken dot de]

------- Additional Comments From marcus at jet dot franken dot de  2005-02-28 13:38 -------
Created an attachment (id=8299)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8299&action=view)
variables.i

gcc -O2 -fprofile-arcs -c variables.i

-- 


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

[Bug c/20249] ICE in final_scan_insn, at final.c:2501

[marcus at jet dot franken dot de]

------- Additional Comments From marcus at jet dot franken dot de  2005-02-28 13:38 -------
gcc -v 
Using built-in specs. 
Target: powerpc-suse-linux 
Configured with: ../configure --enable-threads=posix --prefix=/usr 
--with-local-prefix=/usr/local --infodir=/usr/share/info 
--mandir=/usr/share/man --libdir=/usr/lib --libexecdir=/usr/lib 
--enable-languages=c,c++,objc,f95,java,ada --enable-checking 
--with-gxx-include-dir=/usr/include/c++/4.0.0 --with-slibdir=/lib 
--with-system-zlib --enable-shared --enable-__cxa_atexit 
--without-system-libunwind powerpc-suse-linux 
Thread model: posix 
gcc version 4.0.0 20050228 (prerelease) (SUSE Linux) 
 

-- 


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

[Bug middle-end/20249] ICE in final_scan_insn, at final.c:2501

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-28 13:41 -------
This is an invalid instruction in the first place see how the modes are missed matched:
(set (reg:DI 3 3 [ z ])  (reg:SI 5 5 [124]))

Note the code is valid I was just talking about the RTL instrunction.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|c                           |middle-end
           Keywords|                            |ice-on-valid-code


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

[Bug middle-end/20249] [4.0/4.1 Regression] ICE in final_scan_insn, at final.c:2501

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-28 14:02 -------
Confirmed as a regression from 3.4.0 and earlier 4.0.0.
I think this is related to the profiled bootstrap failure reported here:
<http://gcc.gnu.org/ml/gcc-patches/2005-02/msg00839.html>.

Also happens on powerpc-darwin.

This does not happen with 20050113 but does with 20050216.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|powerpc-suse-linux          |
   GCC host triplet|powerpc-suse-linux          |
 GCC target triplet|powerpc-suse-linux          |powerpc-linux, powerpc-
                   |                            |darwin
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-28 14:02:27
               date|                            |
            Summary|ICE in final_scan_insn, at  |[4.0/4.1 Regression] ICE in
                   |final.c:2501                |final_scan_insn, at
                   |                            |final.c:2501
   Target Milestone|---                         |4.0.0


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

[Bug middle-end/20249] [4.0/4.1 Regression] ICE in final_scan_insn, at final.c:2501

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-28 14:18 -------
It also worked with 20050210.
I think this was caused by:
2005-02-13  Zdenek Dvorak  <dvorakz@suse.cz>

        PR target/17428
        * cfgrtl.c (safe_insert_insn_on_edge): Avoid extending
        life range of hard registers.
        * value-prof.c (insn_prefetch_values_to_profile): Only
        scan normal insns.

        * value-prof.c (rtl_find_values_to_profile): Do not look for values to
        profile in libcalls.



Caroline, I think this is the same as your reported profiledbootstrap failure.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ctice at apple dot com,
                   |                            |rakdver at gcc dot gnu dot
                   |                            |org


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

[Bug middle-end/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-02 19:35 -------
*** Bug 20289 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mmazur at kernel dot pl


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

[Bug middle-end/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-03-06 23:05 -------
This seems to be a cse problem.  The code looks like

(set (reg:si 124) (reg:si 5))
...
(set (reg:si 5) (reg:si 124))
...
(set (reg:di 119) (reg:di 5))
...
(set (reg:di 3) (reg:di 119))

cse propagates the value of reg:si 5 to the last insn

(set (reg:di 3) (reg:si 5))

Which is incorrect since the hard reg is accessed in a different
mode.

-- 


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

[Bug middle-end/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-03-07 10:29 -------
Patch:

http://gcc.gnu.org/ml/gcc-patches/2005-03/msg00621.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-10 16:25 -------
*** Bug 20409 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu dot org


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-13 14:21 -------
*** Bug 20450 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mustafa at il dot ibm dot
                   |                            |com


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-23 14:25 -------
*** Bug 20603 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dorit at il dot ibm dot com


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-25 09:24 -------
Subject: Bug 20249

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rakdver@gcc.gnu.org	2005-03-25 09:23:47

Modified files:
	gcc            : ChangeLog cse.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: 20050325-1.c 

Log message:
	PR rtl-optimization/20249
	* cse.c (insert_regs): Do not record equivalence of registers in
	different modes.
	
	* gcc.dg/20050325-1.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7989&r2=2.7990
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cse.c.diff?cvsroot=gcc&r1=1.350&r2=1.351
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5215&r2=1.5216
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20050325-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-25 09:27 -------
Subject: Bug 20249

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	rakdver@gcc.gnu.org	2005-03-25 09:27:37

Modified files:
	gcc            : ChangeLog cse.c 

Log message:
	PR rtl-optimization/20249
	* cse.c (insert_regs): Do not record equivalence of registers in
	different modes.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.83&r2=2.7592.2.84
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/cse.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.345.2.1&r2=1.345.2.2



-- 


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-03-25 09:28 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[jakub at gcc dot gnu dot org]

------- Additional Comments From jakub at gcc dot gnu dot org  2005-03-30 07:35 -------
Zdenek, can you please check the testcase also on gcc-4_0-branch?
The branch needs sufficient test coverage as well as mainline.

-- 


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

[Bug rtl-optimization/20249] [4.0/4.1 Regression] ICE with -fprofile-arcs on ppc

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-30 08:05 -------
Subject: Bug 20249

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	rakdver@gcc.gnu.org	2005-03-30 08:05:21

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: 20050325-1.c 

Log message:
	PR rtl-optimization/20249
	* gcc.dg/20050325-1.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.78&r2=1.5084.2.79
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20050325-1.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.2.2.1



-- 


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