[Bug middle-end/52375] New: [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[Bug middle-end/52375] New: [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[Bernhard.Rosenkranzer at linaro dot org]

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

             Bug #: 52375
           Summary: [4.7 Regression] internal compiler error: in
                    extract_insn, at recog.c:2123 at -O3 -mfpu=neon
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Bernhard.Rosenkranzer@linaro.org


Created attachment 26744
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26744
Preprocessed source (not yet reduced)

$ /opt/android-toolchain-4.7/bin/arm-linux-androideabi-g++ -march=armv7-a
-mfloat-abi=softfp -mfpu=neon -O3 -o Input.o -c Input.i
frameworks/base/libs/ui/Input.cpp: In member function 'void
android::VelocityTracker::addMovement(const android::MotionEvent*)':
frameworks/base/libs/ui/Input.cpp:866:1: error: unrecognizable insn:
(insn 71 70 72 9 (set (reg:V4SI 271)
        (lshiftrt:V4SI (reg:V4SI 272)
            (subreg:V4SI (reg:OI 250 [ vect_array.1112 ]) 0)))
frameworks/base/include/utils/BitSet.h:36 -1
     (nil))
frameworks/base/libs/ui/Input.cpp:866:1: internal compiler error: in
extract_insn, at recog.c:2123


Reducing the optimization level to -O2 or omitting -mfpu=neon allows the
compile to proceed.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[mikpe at it dot uu.se]

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

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> 2012-02-24 19:52:14 UTC ---
On arm-linux-gnueabi this ICEs gcc 4.7 and 4.6, but not 4.5 or 4.4.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[Bernhard.Rosenkranzer at linaro dot org]

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

Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #26744|0                           |1
        is obsolete|                            |

--- Comment #2 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> 2012-02-24 20:35:08 UTC ---
Created attachment 26747
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26747
Reduced test case

Reduced test case

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[Bernhard.Rosenkranzer at linaro dot org]

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

Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.7.0

--- Comment #3 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> 2012-02-24 20:37:45 UTC ---
Works here with the Linaro version of 4.6.3 (didn't try stock 4.6.3 yet), ICEs
with stock 4.7 from a couple of days ago

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-02-24
     Ever Confirmed|0                           |1

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[mikpe at it dot uu.se]

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

--- Comment #4 from Mikael Pettersson <mikpe at it dot uu.se> 2012-02-25 11:51:39 UTC ---
The reduced test case doesn't ICE gcc-4.7 for me.  The original one does.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[steven at gcc dot gnu.org]

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2012-02-25 12:29:08 UTC ---
The unreduced test case fails for me with options:
"-march=armv7-a -mfloat-abi=softfp -mfpu=neon -O -ftree-vectorize"

The compiler is trunk r184372, configured for arm-eabi.

Backtrace:
#0  0x0000000000eccd50 in fancy_abort ()
#1  0x00000000009d30b3 in _fatal_insn ()
#2  0x00000000009d30f2 in _fatal_insn_not_found ()
#3  0x00000000009a646e in extract_insn ()
#4  0x00000000008868ec in instantiate_virtual_regs ()
#5  0x0000000000985d39 in execute_one_pass ()
#6  0x00000000009860a5 in execute_pass_list ()
#7  0x00000000009860b7 in execute_pass_list ()
#8  0x0000000000a9c6d8 in tree_rest_of_compilation ()
#9  0x0000000000763e0a in cgraph_expand_function ()
#10 0x000000000076783a in cgraph_optimize ()
#11 0x0000000000767d95 in cgraph_finalize_compilation_unit ()
#12 0x00000000005871bb in cp_write_global_declarations ()
#13 0x0000000000a2c387 in do_compile ()
#14 0x0000000000a2ca74 in toplev_main ()

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[Bernhard.Rosenkranzer at linaro dot org]

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

--- Comment #6 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> 2012-02-25 14:08:03 UTC ---
Reduced test case fails for me with 184223 (so does the unreduced one):

[bero@localhost ~]$ /opt/android-toolchain-4.7/bin/arm-linux-androideabi-g++ -O
-ftree-vectorize -mfpu=neon -march=armv7-a -mfloat-abi=softfp -o /tmp/test.o
Input.cpp 
Input.cpp: In member function 'void D::something(const B*)':
Input.cpp:41:1: error: unrecognizable insn:
(insn 9 8 10 3 (set (reg:V4SI 158)
        (lshiftrt:V4SI (reg:V4SI 159)
            (subreg:V4SI (reg:OI 154 [ vect_array.25 ]) 0))) Input.cpp:18 -1
     (nil))
Input.cpp:41:1: internal compiler error: in extract_insn, at recog.c:2123
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

If it matters (I don't think it should...), this is an i686-pc-linux-gnu ->
arm-linux-androideabi crosscompiler.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[mikpe at it dot uu.se]

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

--- Comment #7 from Mikael Pettersson <mikpe at it dot uu.se> 2012-02-25 18:56:44 UTC ---
If I bisect trunk configured as a cross to arm-linux-gnueabi, then the ICE
starts with r181014:
http://gcc.gnu.org/ml/gcc-cvs/2011-11/msg00300.html

I still can't reproduce with the reduced test case.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-02-27 09:18:03 UTC ---
(In reply to comment #7)
> If I bisect trunk configured as a cross to arm-linux-gnueabi, then the ICE
> starts with r181014:
> http://gcc.gnu.org/ml/gcc-cvs/2011-11/msg00300.html
> 
> I still can't reproduce with the reduced test case.

This just enables more vectorization.

[Bug middle-end/52375] [4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug middle-end/52375] [4.6/4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |arm-linux-gnueabi
           Priority|P3                          |P2
   Target Milestone|4.7.0                       |4.6.4
            Summary|[4.7 Regression] internal   |[4.6/4.7 Regression]
                   |compiler error: in          |internal compiler error: in
                   |extract_insn, at            |extract_insn, at
                   |recog.c:2123 at -O3         |recog.c:2123 at -O3
                   |-mfpu=neon                  |-mfpu=neon

[Bug middle-end/52375] [4.6/4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-27 11:12:48 UTC ---
Reduced testcase:

/* PR tree-optimization/52375 */
/* { dg-do compile } */
/* { dg-options "-march=armv7-a -mfloat-abi=softfp -mfpu=neon -O
-ftree-vectorize" } */
struct C { int c, d; };
unsigned
foo (struct C *p)
{
  unsigned int b = 0, i;
  for (i = 0; i < 64; i++)
    b |= 0x80000000U >> p[i].c;
  return b;
}

[Bug target/52375] [4.6/4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-27 12:27:29 UTC ---
Created attachment 26762
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26762
gcc47-pr52375.patch

Untested fix.

[Bug target/52375] [4.6/4.7 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[jakub at gcc dot gnu.org]

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

--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-27 15:53:23 UTC ---
Author: jakub
Date: Mon Feb 27 15:53:15 2012
New Revision: 184603

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184603
Log:
    PR target/52375
    * config/arm/neon.md (vashr<mode>3, vlshr<mode>3): Use
    s_register_operand in the test instead of REG_P.  Don't call
    gen_reg_rtx if it won't be used.

    * gcc.target/arm/pr52375.c: New test.
    * gcc.c-torture/compile/pr52375.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr52375.c
    trunk/gcc/testsuite/gcc.target/arm/pr52375.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/config/arm/neon.md
    trunk/gcc/testsuite/ChangeLog

[Bug target/52375] [4.6 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.6/4.7 Regression]        |[4.6 Regression] internal
                   |internal compiler error: in |compiler error: in
                   |extract_insn, at            |extract_insn, at
                   |recog.c:2123 at -O3         |recog.c:2123 at -O3
                   |-mfpu=neon                  |-mfpu=neon

--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-27 15:55:13 UTC ---
Fixed on the trunk so far.

[Bug target/52375] [4.6 Regression] internal compiler error: in extract_insn, at recog.c:2123 at -O3 -mfpu=neon

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.6.4                       |4.7.0

--- Comment #13 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-12 16:18:06 UTC ---
The 4.6 branch has been closed, fixed in GCC 4.7.0.