[Bug target/49238] New: ICE in extract_insn, at recog.c:2113

[Bug target/49238] New: ICE in extract_insn, at recog.c:2113

[rmansfield at qnx dot com]

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

           Summary: ICE in extract_insn, at recog.c:2113
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: rmansfield@qnx.com
              Host: x86_64-linux-gnu
            Target: sh4-unknown-linux-gnu
             Build: x86_64-linux-gnu


Created attachment 24400
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24400
preprocessed source

./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: sh4-unknown-linux-gnu
Configured with: ../configure --target=sh4-unknown-linux-gnu
--prefix=/home/ryan/x-tools/sh4-unknown-linux-gnuc
--with-local-prefix=/home/ryan/x-tools/sh4-unknown-linux-gnu/sh4-unknown-linux-gnu/sys-root
--disable-multilib
--with-sysroot=/home/ryan/x-tools/sh4-unknown-linux-gnu/sh4-unknown-linux-gnu/sys-root
--with-newlib --enable-threads=no --disable-shared --enable-__cxa_atexit
--disable-nls --enable-symvers=gnu --enable-languages=c
--enable-target-optspace --enable-checking --disable-libmudflap
--disable-libssp
Thread model: single
gcc version 4.7.0 20110530 (experimental) [trunk revision 174450] (GCC) 
$ ./xgcc -B. ~/ice.i -O1
/home/ryan/ice.i: In function 'foo':
/home/ryan/ice.i:27:1: error: unrecognizable insn:
(insn 61 60 62 3 (set (reg:SI 147 t)
        (geu:SI (reg:SI 3 r3 [ D.1975+4 ])
            (const_int -1 [0xffffffffffffffff]))) /home/ryan/ice.i:21 -1
     (nil))
/home/ryan/ice.i:27:1: internal compiler error: in extract_insn, at
recog.c:2113
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug target/49238] [4.5/4.6/4.7 Regression] [SH] ICE in extract_insn, at recog.c:2113

[kkojima at gcc dot gnu.org]

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

Kazumoto Kojima <kkojima at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.4.5
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2011.05.31 14:32:50
                 CC|                            |kkojima at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|ICE in extract_insn, at     |[4.5/4.6/4.7 Regression]
                   |recog.c:2113                |[SH] ICE in extract_insn,
                   |                            |at recog.c:2113
      Known to fail|                            |4.5.4, 4.6.0, 4.7.0

--- Comment #1 from Kazumoto Kojima <kkojima at gcc dot gnu.org> 2011-05-31 14:32:50 UTC ---
This might be a fallout of the patch in
http://gcc.gnu.org/ml/gcc-patches/2008-04/msg01211.html
I'm testing the patch below.

--- ORIG/trunk/gcc/config/sh/sh.c    2011-05-31 12:06:18.000000000 +0900
+++ trunk/gcc/config/sh/sh.c    2011-05-31 23:14:33.000000000 +0900
@@ -2199,6 +2199,13 @@ expand_cbranchdi4 (rtx *operands, enum r
     {
       operands[1] = op1h;
       operands[2] = op2h;
+      if (reload_completed
+          && ! arith_reg_or_0_operand (op2h, SImode)
+          && (true_regnum (op1h) || (comparison != EQ && comparison != NE)))
+        {
+          emit_move_insn (scratch, operands[2]);
+          operands[2] = scratch;
+        }
     }

       operands[3] = skip_label = gen_label_rtx ();

[Bug target/49238] [4.5/4.6/4.7 Regression] [SH] ICE in extract_insn, at recog.c:2113

[kkojima at gcc dot gnu.org]

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

--- Comment #2 from Kazumoto Kojima <kkojima at gcc dot gnu.org> 2011-06-08 04:07:29 UTC ---
Author: kkojima
Date: Wed Jun  8 04:07:25 2011
New Revision: 174793

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174793
Log:
    PR target/49238
    * config/sh/sh.c (expand_cbranchdi4): Use a scratch register if
    needed when original operands are used for msw_skip comparison.
    * gcc.c-torture/compile/pr49238.c: New.


Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr49238.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/config/sh/sh.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug target/49238] [4.5/4.6/4.7 Regression] [SH] ICE in extract_insn, at recog.c:2113

[kkojima at gcc dot gnu.org]

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

--- Comment #3 from Kazumoto Kojima <kkojima at gcc dot gnu.org> 2011-06-08 04:10:30 UTC ---
Author: kkojima
Date: Wed Jun  8 04:10:26 2011
New Revision: 174794

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174794
Log:
    PR target/49238
    * config/sh/sh.c (expand_cbranchdi4): Use a scratch register if
    needed when original operands are used for msw_skip comparison.
    * gcc.c-torture/compile/pr49238.c: New.


Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.c-torture/compile/pr49238.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/config/sh/sh.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug target/49238] [4.5/4.6/4.7 Regression] [SH] ICE in extract_insn, at recog.c:2113

[kkojima at gcc dot gnu.org]

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

Kazumoto Kojima <kkojima at gcc dot gnu.org> changed:

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

--- Comment #4 from Kazumoto Kojima <kkojima at gcc dot gnu.org> 2011-06-08 04:12:40 UTC ---
Fixed.