[Bug c/13058] New: ICE generating code for sparc64 in reload_cse_simplify_operands

[Bug c/13058] New: ICE generating code for sparc64 in reload_cse_simplify_operands

[lloyd at must-have-coffee dot gen dot nz]

The NetBSD folks have this logged as bug 23380, but they haven't been playing
with this part of gcc.

Gcc exits with an internal compiler error.
exif.c: In function `ProcessExifDir':
exif.c:645: error: insn does not satisfy its constraints:
(insn:HI 1314 1309 2057 112 0x40ab06c0 (set (reg:DI 31 %i7 [32])
        (fix:DI (fix:DF (reg:DF 32 %f0 [507])))) 167 {fix_truncdfdi2} (insn_list
1310 (nil))
    (nil))
exif.c:645: internal compiler error: in reload_cse_simplify_operands, at
reload1.c:8345
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://www.netbsd.org/Misc/send-pr.html> for instructions.


Also, http://homepages.paradise.net.nz/lparkes/pr/gcc-ice-1.txt
contains this error message with a few extra lines of
context. http://homepages.paradise.net.nz/lparkes/pr/bar.c contains
preprocessed C source that triggers this ICE when compiled with 'gcc
-c -O2
bar.c'. http://homepages.paradise.net.nz/lparkes/pr/gcc-ice-2.txt
contains the complete output from running gcc on bar.c

-- 
           Summary: ICE generating code for sparc64 in
                    reload_cse_simplify_operands
           Product: gcc
           Version: 3.3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: lloyd at must-have-coffee dot gen dot nz
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: sparc64--netbsd
  GCC host triplet: sparc64--netbsd
GCC target triplet: sparc64--netbsd


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

[Bug c/13058] [3.3/3.4 regression] ICE generating code for sparc64 in reload_cse_simplify_operands

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2003-11-14 22:38 -------
I can confirm this with 3.3.2 and 3.4 20031108 on sparc-sun-solaris2.8 with
-O -m64. Smaller test case:

typedef struct { int ThumbnailSize; } ImageInfo_t;
double ConvertAnyFormat (void) { return 0; }
void ProcessExifDir(ImageInfo_t *ImageInfoP, int NumDirEntries) {
    unsigned ThumbnailSize;
    for (; NumDirEntries;) {
        Get16u();
        switch (NumDirEntries) {
        case 0x0201:
        case 0x0202:
            ThumbnailSize = ConvertAnyFormat();
        }
    }
    ImageInfoP->ThumbnailSize = ThumbnailSize;
}

The bug is somewhat volatile, this example doesn't ICE with 3.3.2...

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
            Summary|ICE generating code for     |[3.3/3.4 regression] ICE
                   |sparc64 in                  |generating code for sparc64
                   |reload_cse_simplify_operands|in
                   |                            |reload_cse_simplify_operands
   Target Milestone|---                         |3.3.3


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

[Bug optimization/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-11-15 06:54 -------
Falk, I presume you meant "doesn't ICE with 3.2.3"?

Confirmed with 3.3.3 20031109 (prerelease) too as a regression.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
          Component|c                           |optimization
  GCC build triplet|sparc64--netbsd             |sparc64--*-*
   GCC host triplet|sparc64--netbsd             |sparc64-*-*
 GCC target triplet|sparc64--netbsd             |sparc64--*-*
            Summary|[3.3/3.4 regression] ICE    |[3.3/3.4 regression] ICE in
                   |generating code for sparc64 |reload_cse_simplify_operands
                   |in                          |
                   |reload_cse_simplify_operands|


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

[Bug optimization/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[falk at debian dot org]

------- Additional Comments From falk at debian dot org  2003-11-15 13:40 -------
(In reply to comment #2)
> Falk, I presume you meant "doesn't ICE with 3.2.3"?

Actually I did mean 3.3.2, but apparently it wasn't this example, but another one
which ICEd only with mainline. Sorry for the confusion.

-- 


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-11-26 13:21 -------
This is essentially a duplicate of PR target/10904, which will not be fixable
before the upcoming 3.4 release.

The short story is that the SPARC back-end has no means to enforce registers
alignment (for example, to make sure to allocate an even-numbered FP register
for a double value).

The workaround is to either declare 'ThumbnailSize' as an 'unsigned long' or to
turn 'ConvertAnyFormat' into a non-pure function (for example by making it
clobber a global variable).


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|optimization                |target
   Target Milestone|3.3.3                       |3.5


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-11-26 13:29 -------
I'm already the assignee for PR target/10904.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-20 09:21 -------
We have a reasonable workaround.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2003-12-20 10:33 -------
What workaround? 

Is it possible to implement *anything* on the 3.3/3.4 to make it not ICE? I 
don't agree with this being targeted at 3.5. Being an user regression, an ICE, 
even on *valid* code, and experimented by the NetBSD folks (which are moving to 
3.3 right now), we should probably prepare a stopgap somehow. Even if the 
correct solution can't be done before 3.5.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.5.0                       |3.3.3


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2003-12-20 11:11 -------
Unless you want to hack the local register allocator, no.  I proposed such a hack
   http://gcc.gnu.org/ml/gcc-patches/2003-06/msg00639.html
and it was rejected because the global register allocator (more precisely
reload) could still undo what the local register allocator has done.

The proper fix is to redefine the whole register classes hierarchy of the SPARC
port.  I plan to try for 3.5, but not before.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.3                       |3.5.0


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

[Bug target/13058] [3.3/3.4 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-01-07 08:37 -------
It appears, after a private discussion with Andrew Over, that the solution
Richard and I had in mind might not be actually feasible.  A simpler solution
could be implemented for 3.4 so re-targeting.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrew at cs dot anu dot edu
                   |                            |dot au
   Target Milestone|3.5.0                       |3.4.0


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-01-21 07:39 -------
Re-targeting to a more realistic goal.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.0                       |3.5.0


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-27 14:04 -------
Subject: Bug 13058

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	ebotcazou@gcc.gnu.org	2004-01-27 13:33:55

Modified files:
	gcc            : ChangeLog 
	gcc/config/sparc: sparc.h 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: 20040127-1.c 20040127-2.c 

Log message:
	PR target/10904
	PR target/13058
	* config/sparc/sparc.h (CANNOT_CHANGE_MODE_CLASS): New.
	Forbid mode changes from SImode for lower FP regs if ARCH64.

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.87&r2=2.2326.2.88
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.h.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.236&r2=1.236.6.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.3389.2.22&r2=1.3389.2.23
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20040127-1.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20040127-2.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-01-27 14:03 -------
Subject: Bug 13058

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	ebotcazou@gcc.gnu.org	2004-01-27 13:29:26

Modified files:
	gcc            : ChangeLog 
	gcc/config/sparc: sparc.h 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg: 20040127-1.c 20040127-2.c 

Log message:
	PR target/10904
	PR target/13058
	* config/sparc/sparc.h (CANNOT_CHANGE_MODE_CLASS): New.
	Forbid mode changes from SImode for lower FP regs if ARCH64.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.2507&r2=2.2508
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.h.diff?cvsroot=gcc&r1=1.236&r2=1.237
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.3426&r2=1.3427
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20040127-1.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/20040127-2.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-01-27 14:26 -------
See http://gcc.gnu.org/ml/gcc-patches/2004-01/msg02997.html


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|3.5.0                       |3.4.0


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-02-14 15:11 -------
*** Bug 14146 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mrg at eterna dot com dot au


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-02-29 17:59 -------
Subject: Bug 13058

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_3-branch
Changes by:	gdr@gcc.gnu.org	2004-02-29 17:59:25

Modified files:
	gcc            : ChangeLog 
	gcc/config/sparc: sparc.h 

Log message:
	Backport from mainline:
	2004-01-27  Eric Botcazou  <ebotcazou@libertysurf.fr>
	PR target/10904
	PR target/13058
	* config/sparc/sparc.h (CANNOT_CHANGE_MODE_CLASS): New.
	Forbid mode changes from SImode for lower FP regs if ARCH64.

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.911&r2=1.16114.2.912
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/config/sparc/sparc.h.diff?cvsroot=gcc&only_with_tag=gcc-3_3-branch&r1=1.215.4.3&r2=1.215.4.4



-- 


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[gdr at gcc dot gnu dot org]

------- Additional Comments From gdr at gcc dot gnu dot org  2004-02-29 18:02 -------
Backported patch to 3.3.4.

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


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

[Bug target/13058] [3.3/3.4/3.5 regression] ICE in reload_cse_simplify_operands

[ebotcazou at gcc dot gnu dot org]

------- Additional Comments From ebotcazou at gcc dot gnu dot org  2004-03-22 16:18 -------
*** Bug 14680 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |martin at netbsd dot org


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