[Bug c/14700] New: [3.3 / 3.4 regression ] ICE in verify_wide_reg

[Bug c/14700] New: [3.3 / 3.4 regression ] ICE in verify_wide_reg

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/239569]

3.2.3 works ok. current 3.3 and 3.4 CVS fail.

he attached code causes the following behaviour: 
hawkinsp@vice:~/tmp$ gcc -O test6.c -o test6 
test6.c: In function `float_module21': 
test6.c:21: internal compiler error: in verify_wide_reg, at flow.c:549 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
test6.c is actually a stripped down and cleaned up version of the 
preprocessed source code from library/float.c in the Mercury Release 
of the Day available from: 
http://www.cs.mu.oz.au/research/mercury/download/files/beta-releases/rotd/mercury-compiler-rotd\
_2004_03_19_unstable-1.src.rpm 
(run it through rpm2cpio and extract the resulting cpio archive to get a 
tarball). 
 
The testcase is the output of the Mercury compiler itself, hence the slightly 
strange code. 


int MR_is_inf(double); 
 
register unsigned int MR_mr1 __asm__ ("edi"); 
register unsigned int MR_mr2 __asm__ ("ebx"); 
 
static void 
float_module21 (void) 
{ 
    (MR_mr2) = 0; 
        (MR_mr2) = MR_is_inf (0.0);  
     if (!(MR_mr2))  
         { 
            goto mercury__float__is_nan_or_inf_1_0_i7; 
         } 
 
      __asm__ __volatile__ ("/* " "mercury__float__is_nan_or_inf_1_0_i7" "*/\n");  
 
mercury__float__is_nan_or_inf_1_0_i7: 
        goto *(((void *) ((MR_mr1)))); 
   
}

-- 
           Summary: [3.3 / 3.4 regression ] ICE in verify_wide_reg
           Product: gcc
           Version: 3.3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug optimization/14700] [3.3?/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-03-23 22:55 -------
Confirmed a regression from 3.3.1.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
             Status|UNCONFIRMED                 |NEW
          Component|c                           |optimization
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |3.4.0 3.5.0
      Known to work|                            |3.2.3 3.3.1
   Last reconfirmed|0000-00-00 00:00:00         |2004-03-23 22:55:17
               date|                            |
            Summary|[3.3 / 3.4 regression ] ICE |[3.3?/3.4/3.5 regression ]
                   |in verify_wide_reg          |ICE in verify_wide_reg with
                   |                            |global registers
   Target Milestone|---                         |3.3.4


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-29 09:15 -------
And even from 3.3.2.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|3.4.0 3.5.0                 |3.3.3 3.3.4 3.4.0 3.5.0
      Known to work|3.2.3 3.3.1                 |3.2.3 3.3 3.3.1 3.3.2
   Last reconfirmed|2004-03-23 22:55:17         |2004-03-29 09:15:29
               date|                            |
            Summary|[3.3?/3.4/3.5 regression ]  |[3.3.3/3.4/3.5 regression ]
                   |ICE in verify_wide_reg with |ICE in verify_wide_reg with
                   |global registers            |global registers


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[ebotcazou at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|minor                       |critical


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-29 10:27 -------
The regression was introduced by:

    2003-05-14  Eric Christopher  <echristo@redhat.com>

	* combine.c: Fix header comments.
	(distribute_notes): Remove usage of elim_i1, elim_i2. Propagate
	to all calls and prototype.

which was backported to the 3.3 branch by:

    2003-12-16  Zack Weinberg  <zack@codesourcery.com>

	Backport the following patches from mainline.


The assignment

  (MR_mr2) = 0;

is wrongly deleted by the combiner.  This probably means that global register
variables are still broken.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |echristo at redhat dot com


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[echristo at redhat dot com]

------- Additional Comments From echristo at redhat dot com  2004-03-29 19:25 -------
Strange since the code I deleted was, in fact, optimization code for combine.
So, my patch did _less_ than we did before. This is probably exposing a bug
somewhere else in the compiler, but I'll take a look and see what i can find.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2004-03-29 09:15:29         |2004-03-29 19:25:55
               date|                            |


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-04-01 23:19 -------
Since this generates an ICE, not wrong-code, and since global register variables
are pretty rare, I've retargeted this at 3.4.1.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.4                       |3.4.1


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

[Bug optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[echristo at redhat dot com]

------- Additional Comments From echristo at redhat dot com  2004-04-02 08:29 -------
I'll also use the testcase and put it into the gcc testsuite if that's cool?

-- 


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

[Bug rtl-optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[mmitchel at gcc dot gnu dot org]

------- Additional Comments From mmitchel at gcc dot gnu dot org  2004-06-19 00:01 -------
Eric, this patch is OK for mainline and for 3.4.2 -- but not for 3.4.1 at this
late date.

Postponed until GCC 3.4.2.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.1                       |3.4.2


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

[Bug rtl-optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[debian-gcc at lists dot debian dot org]

------- Additional Comments From debian-gcc at lists dot debian dot org  2004-06-19 11:03 -------
applied to the 3.3.4 release, the patch results in a bootstrap error on i486-linux:

stage1/xgcc -Bstage1/ -B/usr/i486-linux/bin/ -c   -g -O2  -DIN_GCC   -W -Wall
-Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -Wtraditional -pedantic
-Wno-long-long   -DHAVE_CONFIG_H -DGENERATOR_FILE    -I. -I. -I../../src/gcc
-I../../src/gcc/. -I../../src/gcc/config -I../../src/gcc/../include
../../src/gcc/genautomata.c -o genautomata.o
../../src/gcc/genautomata.c: In function `finish_regexp_representation':
../../src/gcc/genautomata.c:6777: internal compiler error: in find_free_reg, at
local-alloc.c:2182
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
make[4]: *** [genautomata.o] Error 1


-- 


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

[Bug rtl-optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[echristo at redhat dot com]

------- Additional Comments From echristo at redhat dot com  2004-06-19 15:53 -------
Almost positive that's because of a flow patch that's not in 3.3.4 (or 3.4
branch as of the time I did this), but is in mainline and i'll verify 3.4 branch
as well.

-- 


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

[Bug rtl-optimization/14700] [3.3.3/3.4/3.5 regression ] ICE in verify_wide_reg with global registers

[echristo at redhat dot com]

------- Additional Comments From echristo at redhat dot com  2004-06-24 18:53 -------
Still seems like we're missing a flow patch on the branch that I haven't had
time to dig up so definitely postponing this one. I'll see if I can track it
down at some point. Committing the combine patch to mainline though.

-- 


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

[Bug rtl-optimization/14700] [3.3.3/3.4 Regression ] ICE in verify_wide_reg with global registers

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-06-30 03:23 -------
Patch was committed to mainline but the Changelog didn't contain the PR to 
crossreference it:
http://gcc.gnu.org/ml/gcc-cvs/2004-06/msg01010.html

Notice that the patch had a latent bug, which was later fixed on mainline by 
Zack: http://gcc.gnu.org/ml/gcc-patches/2004-06/msg02558.html

So when the patch is backported to 3.4 and 3.3 it will need also the followup 
patch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[3.3.3/3.4/3.5 regression ] |[3.3.3/3.4 Regression ] ICE
                   |ICE in verify_wide_reg with |in verify_wide_reg with
                   |global registers            |global registers


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

[Bug rtl-optimization/14700] [3.3.3/3.4 Regression ] ICE in verify_wide_reg with global registers

[debian-gcc at lists dot debian dot org]

------- Additional Comments From debian-gcc at lists dot debian dot org  2004-06-30 23:13 -------
3.3.4 + the combined patch fix this on i486-linux, no new regressions in the
testsuite.

    Matthias

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


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

[Bug rtl-optimization/14700] [3.3.3/3.4 Regression ] ICE in verify_wide_reg with global registers

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-06 21:12 -------
Subject: Bug 14700

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	echristo@gcc.gnu.org	2004-07-06 21:12:17

Modified files:
	gcc            : ChangeLog combine.c 

Log message:
	2004-07-06  Eric Christopher  <echristo@redhat.com>
	
	PR rtl-optimization/14700
	Backport from mainline:
	2004-06-30  Zack Weinberg  <zack@codesourcery.com>
	* combine.c (distribute_notes): Don't look at global_regs for
	pseudos.
	
	2004-06-24  Eric Christopher  <echristo@redhat.com>
	* combine.c (distribute_notes): Don't delete sets to
	global register variables.

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.528&r2=2.2326.2.529
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/combine.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.400.4.8&r2=1.400.4.9



-- 


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

[Bug rtl-optimization/14700] [3.3 Regression ] ICE in verify_wide_reg with global registers

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|3.3.3 3.3.4 3.4.0 3.5.0     |3.3.3 3.3.4 3.4.0
      Known to work|3.2.3 3.3 3.3.1 3.3.2       |3.2.3 3.3 3.3.1 3.3.2 3.4.2
            Summary|[3.3.3/3.4 Regression ] ICE |[3.3 Regression ] ICE in
                   |in verify_wide_reg with     |verify_wide_reg with global
                   |global registers            |registers
   Target Milestone|3.4.2                       |3.3.5


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

[Bug rtl-optimization/14700] [3.3 Regression ] ICE in verify_wide_reg with global registers

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-25 18:49 -------
Subject: Bug 14700

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	doko@gcc.gnu.org	2004-07-25 18:49:56

Modified files:
	gcc            : ChangeLog combine.c 

Log message:
	2004-07-25  Matthias Klose  <doko@debian.org>
	
	Backport:
	PR rtl-optimization/14700
	
	2004-06-24  Eric Christopher  <echristo@redhat.com>
	
	* combine.c (distribute_notes): Don't delete sets to
	global register variables.
	
	2004-06-29  Zack Weinberg  <zack@codesourcery.com>
	
	* combine.c (distribute_notes): Don't look at global_regs for
	pseudos.

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.1003&r2=1.16114.2.1004
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/combine.c.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.325.2.16&r2=1.325.2.17



-- 


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

[Bug rtl-optimization/14700] [3.3 Regression ] ICE in verify_wide_reg with global registers

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-25 19:05 -------
Fixed in 3.3.5, 3.4.2 and 3.5.0.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to work|3.2.3 3.3 3.3.1 3.3.2 3.4.2 |3.2.3 3.3 3.3.1 3.3.2 3.4.2
                   |                            |3.3.5 3.5.0
         Resolution|                            |FIXED


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