[Bug c/53408] New: ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[Bug c/53408] New: ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[regehr at cs dot utah.edu]

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

             Bug #: 53408
           Summary: ICE in get_initial_def_for_induction, at
                    tree-vect-loop.c:3222
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu
                CC: chenyang@cs.utah.edu


[regehr@dyson r48]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r187663-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r187663-install
--program-prefix=r187663- --enable-languages=c,c++
Thread model: posix
gcc version 4.8.0 20120518 (experimental) (GCC) 
[regehr@dyson r48]$ current-gcc -c -O3 small.c
small.c: In function 'fn1':
small.c:3:1: internal compiler error: in get_initial_def_for_induction, at
tree-vect-loop.c:3222
 fn1 ()
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[regehr@dyson r48]$ cat small.c 
int a, b, c, d, e;
void
fn1 ()
{
    int f, g;
    char h = 0;
    b = 0;
    for (; b < 32; b++)
    {
        g = h > e ? h : h << 1;
        f = g && a ? 0 : 1;
        h = 1;
        for (; h > 0; h = h + 1)
            c = 0 < h | f;
    }
    if (h)
        d = 0;
}

[Bug c/53408] [4.6/4.7/4.8 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-19
                 CC|                            |rguenth at gcc dot gnu.org
   Target Milestone|---                         |4.6.4
            Summary|ICE in                      |[4.6/4.7/4.8 Regression]
                   |get_initial_def_for_inducti |ICE in
                   |on, at                      |get_initial_def_for_inducti
                   |tree-vect-loop.c:3222       |on, at
                   |                            |tree-vect-loop.c:3222
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-19 20:16:33 UTC ---
It is caused by revision 167378:

http://gcc.gnu.org/ml/gcc-cvs/2010-12/msg00059.html

[Bug middle-end/53408] [4.6/4.7/4.8 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-21 08:51:51 UTC ---
Mine.

[Bug middle-end/53408] [4.6/4.7 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.8.0
            Summary|[4.6/4.7/4.8 Regression]    |[4.6/4.7 Regression] ICE in
                   |ICE in                      |get_initial_def_for_inducti
                   |get_initial_def_for_inducti |on, at
                   |on, at                      |tree-vect-loop.c:3222
                   |tree-vect-loop.c:3222       |

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-21 12:46:26 UTC ---
Fixed on trunk sofar.

[Bug middle-end/53408] [4.6/4.7/4.8 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-21 12:46:04 UTC ---
Author: rguenth
Date: Mon May 21 12:45:59 2012
New Revision: 187710

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187710
Log:
2012-05-21  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53408
    * tree-vect-loop.c (vectorizable_induction): Properly check
    the restriction that we cannot handle induction results from
    the inner loop outside of the outer loop.

    * gcc.dg/torture/pr53408.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr53408.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop.c

[Bug middle-end/53408] [4.6/4.7 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-22 10:46:25 UTC ---
Author: rguenth
Date: Tue May 22 10:46:21 2012
New Revision: 187770

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187770
Log:
2012-05-22  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53408
    * tree-vect-loop.c (vectorizable_induction): Properly check
    the restriction that we cannot handle induction results from
    the inner loop outside of the outer loop.

    * gcc.dg/torture/pr53408.c: New testcase.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr53408.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-vect-loop.c

[Bug middle-end/53408] [4.6 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.7.1
            Summary|[4.6/4.7 Regression] ICE in |[4.6 Regression] ICE in
                   |get_initial_def_for_inducti |get_initial_def_for_inducti
                   |on, at                      |on, at
                   |tree-vect-loop.c:3222       |tree-vect-loop.c:3222
      Known to fail|                            |4.7.0

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-22 12:01:48 UTC ---
And for 4.7.1.

[Bug middle-end/53408] [4.6 Regression] ICE in get_initial_def_for_induction, at tree-vect-loop.c:3222

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-04-12 16:25:45 UTC ---
The 4.6 branch has been closed, fixed in GCC 4.7.1.