[Bug tree-optimization/52633] New: Compiler ICE in vect_is_simple_use_1 (ARM)

[Bug tree-optimization/52633] New: Compiler ICE in vect_is_simple_use_1 (ARM)

[juha.kallioinen at nokia dot com]

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

             Bug #: 52633
           Summary: Compiler ICE in vect_is_simple_use_1 (ARM)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: juha.kallioinen@nokia.com


Created attachment 26928
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26928
Failing test case

Here's another instance of the failure that has been reported before.

The attached test case fails when built with -O1 -ftree-vectorize -mfpu=neon

This was tested with a compiler built from gcc-4.7-20120225.tar.bz2 sources.

...
bin/armv7hl-pc-linux-gnueabi-gcc -O1 -ftree-vectorize -mfpu=neon
minimal-testcase.i -c
minimal-testcase.i: In function 'lsp_quant_nb':
minimal-testcase.i:14:6: internal compiler error: in vect_is_simple_use_1, at
tree-vect-stmts.c:6057
Please submit a full bug report,
with preprocessed source if appropriate.
...

This does not fail with gcc 4.6.3.

[Bug tree-optimization/52633] [4.7 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |armv7hl-*-gnueabi
      Known to work|                            |4.6.3
   Target Milestone|---                         |4.7.1
            Summary|Compiler ICE in             |[4.7 Regression] Compiler
                   |vect_is_simple_use_1 (ARM)  |ICE in vect_is_simple_use_1
                   |                            |(ARM)

[Bug tree-optimization/52633] [4.7 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-03-23
                 CC|                            |uweigand at gcc dot gnu.org
         AssignedTo|unassigned at gcc dot       |uweigand at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[4.7 Regression] Compiler   |[4.7/4.8 Regression]
                   |ICE in vect_is_simple_use_1 |Compiler ICE in
                   |(ARM)                       |vect_is_simple_use_1 (ARM)

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-04-13 13:10:40 UTC ---
I suppose also broken on trunk.

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

--- Comment #2 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2012-04-24 16:52:59 UTC ---
Some more details on what's going on here:
http://gcc.gnu.org/ml/gcc-patches/2012-04/msg01486.html

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

--- Comment #3 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2012-05-04 12:46:14 UTC ---
Author: uweigand
Date: Fri May  4 12:46:04 2012
New Revision: 187158

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187158
Log:
    gcc/
    PR tree-optimization/52633
    * tree-vect-patterns.c (vect_vect_recog_func_ptrs): Swap order of
    vect_recog_widen_shift_pattern and vect_recog_over_widening_pattern.
    (vect_recog_over_widening_pattern): Remove handling of code that was
    already detected as over-widening pattern.  Remove special handling
    of "unsigned" cases.  Instead, support general case of conversion
    of the shift result to another type.

    gcc/testsuite/
    PR tree-optimization/52633
    * gcc.dg/vect/vect-over-widen-1.c: Two patterns should now be
    recognized as widening shifts instead of over-widening.
    * gcc.dg/vect/vect-over-widen-1-big-array.c: Likewise.
    * gcc.dg/vect/vect-over-widen-4.c: Likewise.
    * gcc.dg/vect/vect-over-widen-4-big-array.c: Likewise.
    * gcc.target/arm/pr52633.c: New test.

Added:
    trunk/gcc/testsuite/gcc.target/arm/pr52633.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/vect/vect-over-widen-1-big-array.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-over-widen-1.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-over-widen-4-big-array.c
    trunk/gcc/testsuite/gcc.dg/vect/vect-over-widen-4.c
    trunk/gcc/tree-vect-patterns.c

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

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

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

--- Comment #4 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2012-05-04 12:49:02 UTC ---
Fixed.

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
      Known to work|                            |4.8.0
         Resolution|FIXED                       |
      Known to fail|                            |4.7.0

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-04 13:11:53 UTC ---
Please also fix the 4.7 branch.

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

--- Comment #6 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2012-05-04 14:56:52 UTC ---
Author: uweigand
Date: Fri May  4 14:56:48 2012
New Revision: 187162

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187162
Log:
2012-05-04  Ulrich Weigand  <ulrich.weigand@linaro.org>

     Backport from mainline:

     2012-05-04  Ulrich Weigand  <ulrich.weigand@linaro.org>

     PR tree-optimization/52633
     * tree-vect-patterns.c (vect_vect_recog_func_ptrs): Swap order of
     vect_recog_widen_shift_pattern and vect_recog_over_widening_pattern.
     (vect_recog_over_widening_pattern): Remove handling of code that was
     already detected as over-widening pattern.  Remove special handling
     of "unsigned" cases.  Instead, support general case of conversion
     of the shift result to another type.

     2012-05-04  Ulrich Weigand  <ulrich.weigand@linaro.org>

     * tree-vect-patterns.c (vect_single_imm_use): New function.
     (vect_recog_widen_mult_pattern): Use it instead of open-coding loop.
     (vect_recog_over_widening_pattern): Likewise.
     (vect_recog_widen_shift_pattern): Likewise.

     2012-04-10  Ulrich Weigand  <ulrich.weigand@linaro.org>

     PR tree-optimization/52870
     * tree-vect-patterns.c (vect_recog_widen_mult_pattern): Verify that
     presumed pattern statement is within the same loop or basic block.

2012-05-04  Ulrich Weigand  <ulrich.weigand@linaro.org>

     Backport from mainline:

     2012-05-04  Ulrich Weigand  <ulrich.weigand@linaro.org>

     PR tree-optimization/52633
     * gcc.dg/vect/vect-over-widen-1.c: Two patterns should now be
     recognized as widening shifts instead of over-widening.
     * gcc.dg/vect/vect-over-widen-1-big-array.c: Likewise.
     * gcc.dg/vect/vect-over-widen-4.c: Likewise.
     * gcc.dg/vect/vect-over-widen-4-big-array.c: Likewise.
     * gcc.target/arm/pr52633.c: New test.

     2012-04-10  Ulrich Weigand  <ulrich.weigand@linaro.org>

     PR tree-optimization/52870
     * gcc.dg/vect/pr52870.c: New test.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/vect/pr52870.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.target/arm/pr52633.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
   
branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/vect/vect-over-widen-1-big-array.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/vect/vect-over-widen-1.c
   
branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/vect/vect-over-widen-4-big-array.c
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/vect/vect-over-widen-4.c
    branches/gcc-4_7-branch/gcc/tree-vect-patterns.c

[Bug tree-optimization/52633] [4.7/4.8 Regression] Compiler ICE in vect_is_simple_use_1 (ARM)

[uweigand at gcc dot gnu.org]

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

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

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

--- Comment #7 from Ulrich Weigand <uweigand at gcc dot gnu.org> 2012-05-04 14:59:23 UTC ---
Backported to 4.7.  (This incidentally also fixes PR 52870, even though we
don't have a test case exposing that problem on 4.7 ...)