[Bug target/30185] New: ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[Bug target/30185] New: ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[vapier at gentoo dot org]

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

trying to build gimp on PPC64 triggers an ICE when building with optimization:

if powerpc64-unknown-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I. -I../../..  
-DGIMP_DISABLE_DEPRECATED -DG_DISABLE_DEPRECATED
-DGDK_PIXBUF_DISABLE_DEPRECATED -DGDK_DISABLE_DEPRECATED
-DGTK_DISABLE_DEPRECATED -DPANGO_DISABLE_DEPRECATED -DGDK_MULTIHEAD_SAFE
-DGTK_MULTIHEAD_SAFE -DSTANDALONE=0 -DUSE_INTERFACE=1 -DUSE_MATH=1
-DUSE_ASCII_NAMES=0 -DUSE_STRLWR=0 -I../../.. -I/usr/include/glib-2.0
-I/usr/lib64/glib-2.0/include           -O2 -mcpu=970 -mtune=970 -maltivec
-mabi=altivec -mpowerpc64 -fno-strict-aliasing -fomit-frame-pointer -pipe -Wall
-Wdeclaration-after-statement -Wmissing-prototypes -Wmissing-declarations
-Winit-self -Wpointer-arith -MT scheme.o -MD -MP -MF ".deps/scheme.Tpo" -c -o
scheme.o scheme.c; \
        then mv -f ".deps/scheme.Tpo" ".deps/scheme.Po"; else rm -f
".deps/scheme.Tpo"; exit 1; fi
scheme.c: In function ‘alloc_cellseg’:
scheme.c:598: warning: cast from pointer to integer of different size
scheme.c: At top level:
scheme.c:1564: warning: no previous prototype for ‘putcharacter’
scheme.c:4435: warning: no previous prototype for ‘scheme_init_new’
scheme.c:4671: warning: no previous prototype for ‘scheme_call’
scheme.c: In function ‘opexe_2’:
scheme.c:3413: error: unrecognizable insn:
(insn 973 971 974 95 (set (reg:SI 546)
        (subreg:DI (reg/v:TI 355 [ b ]) 8)) -1 (nil)
    (nil))
scheme.c:3413: internal compiler error: in extract_insn, at recog.c:2084
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://bugs.gentoo.org/> for instructions.
Preprocessed source stored into /tmp/ccQqJiAY.out file, please attach this to
your bugreport.


-- 
           Summary: ICE with unrecognizable insn on powerpc64 while building
                    gimp with -O1+
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: vapier at gentoo dot org
  GCC host triplet: powerpc64-linux-gnu
GCC target triplet: powerpc64-linux-gnu


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

[Bug target/30185] ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2006-12-12 21:56 -------
This is obvious an incorrect RTL instruction:
(insn 973 971 974 95 (set (reg:SI 546)
        (subreg:DI (reg/v:TI 355 [ b ]) 8)) -1 (nil)
    (nil))

We cannot set a SI from a DI :).


-- 


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

[Bug target/30185] ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[vapier at gentoo dot org]

------- Comment #2 from vapier at gentoo dot org  2006-12-12 21:56 -------
tested these versions/snaps and got same result:
4.1.1
4.1.0-20061208
4.2.0-20061205
4.3.0-20061209


-- 

vapier at gentoo dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.1.1 4.2.0 4.3.0


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

[Bug target/30185] ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-12-12 22:12 -------
Testcase?


-- 


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

[Bug target/30185] ICE with unrecognizable insn on powerpc64 while building gimp with -O1+

[vapier at gentoo dot org]

------- Comment #4 from vapier at gentoo dot org  2006-12-12 22:15 -------
Created an attachment (id=12792)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12792&action=view)
PR30185.i

blah i knew i was missing something


-- 


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[pinskia at gcc dot gnu dot org]

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



------- Comment #5 from pinskia at gcc dot gnu dot org  2006-12-13 06:40 -------
Reduced testcase:
typedef struct num {
char is_fixnum;
long long ivalue;
} num;
num num_intdiv(num a, num b)
{
  num ret;
  ret.ivalue = a.ivalue / b.ivalue;
  return ret;
}

-----------
On the trunk we get a better ICE:
t.i: In function ‘num_intdiv’:
t.i:8: internal compiler error: in emit_move_insn, at expr.c:3276
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

This comes:
(define_expand "div<mode>3"
  [(set (match_operand:GPR 0 "gpc_reg_operand" "")
        (div:GPR (match_operand:GPR 1 "gpc_reg_operand" "")
                 (match_operand:GPR 2 "reg_or_cint_operand" "")))]
  ""
  "
{
  if (GET_CODE (operands[2]) == CONST_INT
      && INTVAL (operands[2]) > 0
      && exact_log2 (INTVAL (operands[2])) >= 0)
    ;
  else if (TARGET_POWERPC)
    {
      operands[2] = force_reg (SImode, operands[2]); <--- this force_reg

but it is obvious we could have DImode here.  operands[2] here is a subreg of a
TImode.
I commented out the defintion for MAX_FIXED_MODE_SIZE and it works.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|powerpc64-linux-gnu         |
 GCC target triplet|powerpc64-linux-gnu         |powerpc64-*-*
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-13 06:40:57
               date|                            |
            Summary|ICE with unrecognizable insn|[4.1/4.2/4.3 Regression] ICE
                   |on powerpc64 while building |with struct and divide
                   |gimp with -O1+              |
   Target Milestone|---                         |4.1.2


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-12-13 06:40:57         |2006-12-14 12:18:57
               date|                            |


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2006-12-15 23:08 -------
Subject: Bug 30185

Author: jakub
Date: Fri Dec 15 23:08:18 2006
New Revision: 119947

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119947
Log:
        PR target/30185
        * config/rs6000/rs6000.md (div<mode>3): Use correct mode in
        force_reg call.

        * gcc.c-torture/execute/pr30185.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr30185.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/rs6000/rs6000.md
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2006-12-15 23:09 -------
Subject: Bug 30185

Author: jakub
Date: Fri Dec 15 23:09:26 2006
New Revision: 119948

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119948
Log:
        PR target/30185
        * config/rs6000/rs6000.md (div<mode>3): Use correct mode in
        force_reg call.

        * gcc.c-torture/execute/pr30185.c: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/gcc.c-torture/execute/pr30185.c
Modified:
    branches/gcc-4_2-branch/gcc/ChangeLog
    branches/gcc-4_2-branch/gcc/config/rs6000/rs6000.md
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[jakub at gcc dot gnu dot org]

------- Comment #8 from jakub at gcc dot gnu dot org  2006-12-15 23:11 -------
Subject: Bug 30185

Author: jakub
Date: Fri Dec 15 23:11:00 2006
New Revision: 119949

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=119949
Log:
        PR target/30185
        * config/rs6000/rs6000.md (div<mode>3): Use correct mode in
        force_reg call.

        * gcc.c-torture/execute/pr30185.c: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/execute/pr30185.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/config/rs6000/rs6000.md
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug target/30185] [4.1/4.2/4.3 Regression] ICE with struct and divide

[jakub at gcc dot gnu dot org]

------- Comment #9 from jakub at gcc dot gnu dot org  2006-12-15 23:14 -------
Fixed in SVN.


-- 

jakub at gcc dot gnu dot org changed:

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


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