[Bug c/13031] New: ICE (unrecognizable insn) when building gnome-libs-1.4.2

[Bug c/13031] New: ICE (unrecognizable insn) when building gnome-libs-1.4.2

[agriffis at gentoo dot org]

This is using a snapshot of the 3.3.2 branch from 2003/10/22.  Here is the
output from gcc -v:

Reading specs from /usr/lib/gcc-lib/alphaev67-unknown-linux-gnu/3.3.2/specs
Configured with: /usr/local/tmp/portage/gcc-3.3.2-r2/work/gcc-3.3.2/configure
--prefix=/usr --bindir=/usr/alphaev67-unknown-linux-gnu/gcc-bin/3.3
--includedir=/usr/lib/gcc-lib/alphaev67-unknown-linux-gnu/3.3.2/include
--datadir=/usr/share/gcc-data/alphaev67-unknown-linux-gnu/3.3
--mandir=/usr/share/gcc-data/alphaev67-unknown-linux-gnu/3.3/man
--infodir=/usr/share/gcc-data/alphaev67-unknown-linux-gnu/3.3/info
--enable-shared --host=alphaev67-unknown-linux-gnu
--target=alphaev67-unknown-linux-gnu --with-system-zlib
--enable-languages=c,c++,f77,objc --enable-threads=posix --enable-long-long
--disable-checking --enable-cstdio=stdio --enable-clocale=generic
--enable-__cxa_atexit --enable-version-specific-runtime-libs
--with-gxx-include-dir=/usr/lib/gcc-lib/alphaev67-unknown-linux-gnu/3.3.2/include/g++-v3
--with-local-prefix=/usr/local --enable-shared --enable-nls
--without-included-gettext --disable-multilib
Thread model: posix
gcc version 3.3.2 20031022 (Gentoo Linux 3.3.2-r2, propolice)

Here is the command-line and messages:

gcc -DHAVE_CONFIG_H -I. -I. -I.. -I.. -I./.. -DNEED_GNOMESUPPORT_H -I../support
-I../support -I../intl -I../intl -I/usr/include -I/usr/include/gtk-1.2
-I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/X11R6/include
-I/usr/X11R6/include -DGNOMELIBDIR=\"/usr/lib\" -DGNOMEDATADIR=\"/usr/share\"
-DGNOMEBINDIR=\"/usr/bin\" -DGNOMELOCALSTATEDIR=\"/var/lib\"
-DGNOMELOCALEDIR=\"/usr/share/locale\" -DG_LOG_DOMAIN=\"GnomeUI\"
-I/usr/include/gtk-1.2 -I/usr/include/glib-1.2 -I/usr/lib/glib/include
-I/usr/X11R6/include -mcpu=ev67 -O3 -pipe -mieee -I/usr/include/db1 -Wall
-Wunused -c gnome-icon-list.c  -fPIC -DPIC -o .libs/gnome-icon-list.lo
gnome-icon-list.c: In function `gnome_icon_list_unselect_all':
gnome-icon-list.c:499: error: unrecognizable insn:
(insn 265 166 266 14 0x2000096d868 (set (reg:DI 2 $2)
        (eq:DI (const_int 0 [0x0])
            (const_int 0 [0x0]))) -1 (nil)
    (nil))
gnome-icon-list.c:499: internal compiler error: in extract_insn, at recog.c:2175
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://bugs.gentoo.org/> for instructions.
Preprocessed source stored into
/usr/local/tmp/portage/gnome-libs-1.4.2/temp/ccbtmqSM.out file, please attach
this to your bugreport

I will attached the preprocessed source.

-- 
           Summary: ICE (unrecognizable insn) when building gnome-libs-1.4.2
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: agriffis at gentoo dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: alphaev67-unknown-linux
  GCC host triplet: alphaev67-unknown-linux
GCC target triplet: alphaev67-unknown-linux


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

[Bug c/13031] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-11-13 00:14 -------
What is really weird is that the insn is constant (and should be removed, at least does for the 
mainline because of a patch by me).

-- 


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

[Bug c/13031] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[agriffis at gentoo dot org]

------- Additional Comments From agriffis at gentoo dot org  2003-11-13 00:15 -------
Created an attachment (id=5128)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=5128&action=view)
preprocessed source


-- 


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

[Bug c/13031] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[agriffis at gentoo dot org]

------- Additional Comments From agriffis at gentoo dot org  2003-11-13 00:39 -------
Andrew, would you mind elaborating on comment #1?  Are you suggesting that this
might already be solved in a cvs snapshot?

-- 


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

[Bug c/13031] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-11-13 00:41 -------
Most likely but I do not have the time to test it out.

-- 


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

[Bug c/13031] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[agriffis at gentoo dot org]

------- Additional Comments From agriffis at gentoo dot org  2003-11-13 01:33 -------
I just built with -mcpu=ev4 -O0 and it worked fine, btw.  This is a suitable
workaround for me since I don't really care about the performance of the
gnome-libs-1.4.2 package.  I'll close the bug on the assumption that it's fixed
in a future gcc version.  Thanks!

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


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

[Bug c/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2003-11-13 01:36 -------
Well, it's not fixed in the 3.3 branch, which will likely see another release,
so I reopen it. I can confirm this with 3.3.3 20031113,  but does not occur
with 3.3.2 release.

Reverting the patch for PR 12654 (which seemed like a possible culprit) does
not help.

Test case:

void emit(int, int);
int f(void);
static int signals[5];

static inline void select(int sel, void *klass)
{
  emit(klass ? 0 : f(), signals[sel ? 0 : 1]);
}

void all(void *gil, void *l, void *icon)
{
  while (l)
    if (icon)
      select(0, gil);
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|RESOLVED                    |UNCONFIRMED
           Keywords|                            |ice-on-valid-code
         Resolution|FIXED                       |
            Summary|ICE (unrecognizable insn)   |[3.3 regression] ICE
                   |when building gnome-libs-   |(unrecognizable insn) when
                   |1.4.2                       |building gnome-libs-1.4.2
   Target Milestone|---                         |3.3.3


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

[Bug c/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-11-13 01:39:51
               date|                            |


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

[Bug c/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2003-11-13 02:08 -------
23.lreg creates this RTL:

(eq (const_int 0 [0x0])
    (const_int 0 [0x0])

which the Alpha machine description cannot handle. Andrew, is it possible to
backport your patch? Otherwise, one could kludge the machine description
to emit whatever for it, but maybe other mds also don't lilke this.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|optimization                |c


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

[Bug c/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-11-13 04:50 -------
No it will not work as it works with GCSE to eliminate them since the pattern does not exist until 
lreg the patch will not work, sorry, I though it existed earlier (maybe it does).

-- 


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

[Bug optimization/13031] [3.3.2 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-07 17:37 -------
Falk, are you sure it doesn't ICE with GCC 3.3.2 release? I don't see any
relevant patches between 10/16 and 10/22.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |falk at debian dot org


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

[Bug optimization/13031] [3.3.2 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2003-12-07 18:00 -------
Seems I've confused something. It ICEs with 3.3.2, today's 3.3.3, but not 3.2.3.
Sorry.


-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-07 20:14 -------
Andrew, it's really a GCSE deficiency: the BB in which (reg 72) is compared is
dominated by the BB in which it is set to 0, so GCSE should be able to propagate
the constant and turn the conditional jump into an unconditional one.

What is the patch you're talking about?


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
            Summary|[3.3.2 regression] ICE      |[3.3 regression] ICE
                   |(unrecognizable insn) when  |(unrecognizable insn) when
                   |building gnome-libs-1.4.2   |building gnome-libs-1.4.2


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-08 07:14 -------
Actually the problem is even worse, the problem is that there are subregs and 
sign_extend which confuss GCSE in 3.3 so my patch:
"Consider a COMPARE of the same registers is a constant if they are not floating point 
registers." does not work at all for this case. Another patch must have fixed the deficiency 
in GCSE.

-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-08 09:12 -------
The problem is also present on mainline (i.e local-alloc creates the same
pattern) but for some reason it doesn't ICE there.


-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-08 09:46 -------
Eric, I do not see that RTL being created by local-alloc (Are you sure that you are not looking at an 
older RTL dump?).

-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-08 10:05 -------
Sorry Andrew, I messed it up.  You're right, GCSE correctly does its job on
mainline:

CONST-PROP: Replacing reg 72 in jump_insn 36 with constant (const_int 0 [0x0])
Purged non-fallthru edges from bb 5
GLOBAL CONST-PROP: Replacing reg 72 in insn 36 with constant (const_int 0 [0x0])

That's good news!


-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[janis187 at us dot ibm dot com]

------- Additional Comments From janis187 at us dot ibm dot com  2003-12-10 19:13 -------
The regression in PR 13031 was introduced or exposed by this patch:

2002-06-10  Roger Sayle  <roger@eyesopen.com>

        * toplev.c (rest_of_compilation): Disable early if-conversion pass.
        * gcse.c (bypass_conditional_jumps): Fix typo in setcc test.

The test case starts passing on mainline with this patch:

2003-02-08  Zdenek Dvorak  <rakdver@atrey.karlin.mff.cuni.cz>

        * cfgloop.h (fix_loop_placement, can_duplicate_loop_p,
        duplicate_loop_to_header_edge, loopify, remove_path, split_loop_bb):
        Declare.
        (DLTHE_FLAG_UPDATE_FREQ): New.
        * cfgloopmanip.c
        [lots more]

The hunts took place with mainline sources on i686-pc-linux-gnu with a
cross cc1 for alphaev67-unknown-linux, using the test case in comment
#6 compiled with -O3.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at eyesopen dot com


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[roger at eyesopen dot com]

------- Additional Comments From roger at eyesopen dot com  2003-12-11 03:11 -------
I'm currently bootstrapping and regression testing a GCSE patch for
this PR.  This improves cprop_jump_insn, which works around the real
problem in local reg-alloc.  Given where we are with gcc 3.3.3, I'd
rather a work around that I understand, than even look at reload!

-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-11 08:35 -------
Patch in progress from Roger.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|roger at eyesopen dot com   |
         AssignedTo|unassigned at gcc dot gnu   |sayle at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-20 19:59 -------
Subject: Bug 13031

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	sayle@gcc.gnu.org	2003-12-20 19:59:56

Modified files:
	gcc            : ChangeLog gcse.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20031220-1.c 

Log message:
	PR optimization/13031
	* gcse.c (cprop_jump): Backport code clean-up and bug-fix
	from mainline [2003-05-20 Sayle, Hirata and Rennecke patch].
	(cprop_insn): Don't attemp further substitutions if the
	current instruction has been deleted.
	(local_cprop_pass): Likewise.
	
	* gcc.c-torture/compile/20031220-1.c: New test case.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.16114.2.850&r2=1.16114.2.851
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/gcse.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.223.2.8&r2=1.223.2.9
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.2261.2.339&r2=1.2261.2.340
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20031220-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-12-20 20:17 -------
Subject: Bug 13031

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	sayle@gcc.gnu.org	2003-12-20 20:17:54

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.c-torture/compile: 20031220-1.c 

Log message:
	2003-12-20  Roger Sayle  <roger@eyesopen.com>
	
	PR optimization/13031
	* gcc.c-torture/compile/20031220-1.c: New test case.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3291&r2=1.3292
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/20031220-1.c.diff?cvsroot=gcc&r1=1.1&r2=1.2



-- 


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

[Bug optimization/13031] [3.3 regression] ICE (unrecognizable insn) when building gnome-libs-1.4.2

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2003-12-20 20:35 -------
Fixed.

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


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