[Bug target/46883] New: GCC ICE with error: unrecognizable insn

[Bug target/46883] New: GCC ICE with error: unrecognizable insn

[raj.khem at gmail dot com]

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

           Summary: GCC ICE with  error: unrecognizable insn
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: raj.khem@gmail.com
              Host: arm-oe-linux-gnueabi
            Target: arm-oe-linux-gnueabi
             Build: x86_64-linux


Created attachment 22704
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22704
testcase

Attached testcase when compiled with gcc trunk segfaults at O1/Os/O2 for arm

$ arm-oe-linux-gnueabi-gcc -O2 -S a.c
/net/isis/home/kraj/a.c: In function ‘bar’:
/net/isis/home/kraj/a.c:11:1: error: unrecognizable insn:
(insn 149 93 97 4 /net/isis/home/kraj/a.c:9 (set (reg:SI 271)
        (and:SI (subreg:SI (mem:HI (post_inc:SI (reg:SI 248 [ ivtmp.42 ])) [2
S2 A16]) 0)
            (const_int 255 [0xff]))) -1 (expr_list:REG_INC (reg:SI 248 [
ivtmp.42 ])
        (nil)))
a.c:11:1: internal compiler error: in extract_insn, at recog.c:2103
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


at Os/O1 it ICEs with 

 internal compiler error: in elimination_costs_in_insn, at reload1.c:3639

[Bug target/46883] GCC ICE with error: unrecognizable insn

[mikpe at it dot uu.se]

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

Mikael Pettersson <mikpe at it dot uu.se> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpe at it dot uu.se

--- Comment #1 from Mikael Pettersson <mikpe at it dot uu.se> 2010-12-10 13:04:05 UTC ---
I see these ICEs too with gcc-4.6-20101127 on armv5tel-linux-gnueabi.

[Bug target/46883] GCC ICE with error: unrecognizable insn

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.10 13:25:49
                 CC|                            |ramana at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #2 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2010-12-10 13:25:49 UTC ---
This seems to appear at -march=armv5te .

[Bug target/46883] GCC ICE with error: unrecognizable insn

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.6.0

[Bug target/46883] GCC ICE with error: unrecognizable insn

[uweigand at gcc dot gnu.org]

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

Ulrich Weigand <uweigand at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bernds at codesourcery dot
                   |                            |com, uweigand at gcc dot
                   |                            |gnu.org

--- Comment #3 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2010-12-13 18:54:48 UTC ---
Confirmed.  A somewhat shorter testcase is:

void
bar (unsigned char *q, unsigned short *data16s, int len)
{
  int i;

  for (i = 0; i < len; i++)
    {
      q[2 * i] =
        (((data16s[i] & 0xFF) << 8) | ((data16s[i] >> 8) & 0xFF)) & 0xFF;
      q[2 * i + 1] =
        ((unsigned short)
         (((data16s[i] & 0xFF) << 8) | ((data16s[i] >> 8) & 0xFF))) >> 8;
    }
}

The problem seems to be that an insn:
(insn 88 86 90 4 (set (reg:SI 240)
        (zero_extend:SI (subreg:QI (mem:HI (post_inc:SI (reg:SI 220 [ ivtmp.22
])) [2 MEM[(short unsigned int *)D.2066_62 + 4294967294B]+0 S2 A16]) 0)))
a.c:10 152 {*arm_zero_extendqisi2}
     (expr_list:REG_INC (reg:SI 220 [ ivtmp.22 ])
        (nil)))

gets transformed by a splitter into:
(insn 122 86 90 4 (set (reg:SI 240)
        (and:SI (subreg:SI (mem:HI (post_inc:SI (reg:SI 220 [ ivtmp.22 ])) [2
MEM[(short unsigned int *)D.2066_62 + 4294967294B]+0 S2 A16]) 0)
            (const_int 255 [0xff]))) a.c:10 -1
     (expr_list:REG_INC (reg:SI 220 [ ivtmp.22 ])
        (nil)))

But this isn't accepted by the andsi3 pattern, since the (subreg (mem ..)) does
not match the s_register_operand predicate.

The splitter
(define_split
  [(set (match_operand:SI 0 "register_operand" "")
        (zero_extend:SI (match_operand:QI 1 "register_operand" "")))]
  "!arm_arch6"
  [(set (match_dup 0) (ashift:SI (match_dup 2) (const_int 24)))
   (set (match_dup 0) (lshiftrt:SI (match_dup 0) (const_int 24)))]
{
  operands[2] = simplify_gen_subreg (SImode, operands[1], QImode, 0);
  if (TARGET_ARM)
    {
      emit_insn (gen_andsi3 (operands[0], operands[2], GEN_INT (255)));
      DONE;
    }
})

was introduced by Bernd Schmidt's patch to improve zero- and sign-extension
handling on ARM (committed 2010-07-02), PR 42172:
http://gcc.gnu.org/ml/gcc-patches/2010-06/msg00832.html

Bernd, do you have any suggestions how to fix this?

[Bug target/46883] GCC ICE with error: unrecognizable insn

[cltang at gcc dot gnu.org]

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

Chung-Lin Tang <cltang at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |cltang at gcc dot gnu.org

--- Comment #4 from Chung-Lin Tang <cltang at gcc dot gnu.org> 2010-12-14 14:12:40 UTC ---
Patch posted:
http://gcc.gnu.org/ml/gcc-patches/2010-12/msg01096.html

[Bug target/46883] GCC ICE with error: unrecognizable insn

[cltang at gcc dot gnu.org]

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

--- Comment #5 from Chung-Lin Tang <cltang at gcc dot gnu.org> 2010-12-16 05:10:23 UTC ---
Author: cltang
Date: Thu Dec 16 05:10:18 2010
New Revision: 167900

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167900
Log:
2010-12-16  Chung-Lin Tang  <cltang@codesourcery.com>

    PR target/46883
    * config/arm/arm.md
    (zero_extendhisi2 for register input splitter): Change
    "register_operand" to "s_register_operand".
    (zero_extendqisi2 for register input splitter): Same.

    testsuite/
    * gcc.target/arm/pr46883.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.target/arm/pr46883.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/arm/arm.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/46883] GCC ICE with error: unrecognizable insn

[rearnsha at gcc dot gnu.org]

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

Richard Earnshaw <rearnsha at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rearnsha at gcc dot gnu.org

--- Comment #6 from Richard Earnshaw <rearnsha at gcc dot gnu.org> 2011-01-06 11:02:32 UTC ---
Chung-lin, your patch has been committed.  Can this be closed now, or is there
some outstanding problem?

[Bug target/46883] GCC ICE with error: unrecognizable insn

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.0                       |4.6.1

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-03-25 19:53:23 UTC ---
GCC 4.6.0 is being released, adjusting target milestone.

[Bug target/46883] GCC ICE with error: unrecognizable insn

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.1                       |---

[Bug target/46883] GCC ICE with error: unrecognizable insn

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.0

--- Comment #8 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> 2012-06-22 10:40:23 UTC ---
 Marking as fixed as I can see it fixed with 4.6.0 release , 4.6 branch, 4.7
branch and trunk.