[Bug tree-optimization/59523] New: ICE on spec2000/176.gcc, 200.sixtrack after r205856 for -march=core-avx2

[Bug tree-optimization/59523] New: ICE on spec2000/176.gcc, 200.sixtrack after r205856 for -march=core-avx2

[izamyatin at gmail dot com]

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

            Bug ID: 59523
           Summary: ICE on spec2000/176.gcc, 200.sixtrack after r205856
                    for -march=core-avx2
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: izamyatin at gmail dot com
            Target: x86

Happens for options -Ofast -march=core-avx2

For 176.gcc
global.c: In function 'global_alloc':
global.c:277:1: error: excess use operand for stmt
 global_alloc (file)
 ^
1
if (1 != 0)
global.c:277:1: internal compiler error: verify_ssa failed
0xb4c71c verify_ssa(bool)
        ../../gcc/tree-ssa.c:1096
0xabff64 verify_loop_closed_ssa(bool)
        ../../gcc/tree-ssa-loop-manip.c:601
0xac03a4 gimple_duplicate_loop_to_header_edge(loop*, edge_def*, unsigned int,
simple_bitmap_def*, edge_def*, vec<edge_def*, va_heap, vl_ptr>*, int)
        ../../gcc/tree-ssa-loop-manip.c:772
0x669f50 loop_version(loop*, void*, basic_block_def**, unsigned int, unsigned
int, unsigned int, bool)
        ../../gcc/cfgloopmanip.c:1714
0xb948dc vect_loop_versioning(_loop_vec_info*, unsigned int, bool)
        ../../gcc/tree-vect-loop-manip.c:2368
0xb83a10 vect_transform_loop(_loop_vec_info*)
        ../../gcc/tree-vect-loop.c:5784
0xba0ce9 vectorize_loops()
        ../../gcc/tree-vectorizer.c:473

[Bug tree-optimization/59523] ICE on spec2000/176.gcc, 200.sixtrack after r205856 for -march=core-avx2

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2013-12-16
     Ever confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
Please provide a testcase.

[Bug tree-optimization/59523] ICE on spec2000/176.gcc, 200.sixtrack after r205856 for -march=core-avx2

[izamyatin at gmail dot com]

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

--- Comment #2 from Igor Zamyatin <izamyatin at gmail dot com> ---
Created attachment 31454
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31454&action=edit
Reduced testcase

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
                 CC|                            |jakub at redhat dot com
   Target Milestone|---                         |4.9.0
            Summary|ICE on spec2000/176.gcc,    |[4.9 Regression]  r205856
                   |200.sixtrack after r205856  |caused internal compiler
                   |for -march=core-avx2        |error: verify_ssa failed

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:
/* PR tree-optimization/59523 */
/* { dg-do compile } */
/* { dg-options "-Ofast" } */
/* { dg-additional-options "-mavx2" { target { i?86-*-* x86_64-*-* } } } */

int *
foo (int a, int *b, int *c)
{
  int i, *r = __builtin_alloca (a * sizeof (int));
  __builtin_memset (r, 0, a * sizeof (int));
  for (i = 0; i < 64; i++)
    c[i] += b[i];
  for (i = 0; i < a; i++)
    if (r[i] == 0)
      r[i] = 1;
  return r;
}

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 31460
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31460&action=edit
gcc49-pr59523.patch

Untested fix.

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Dec 17 21:36:21 2013
New Revision: 206069

URL: http://gcc.gnu.org/viewcvs?rev=206069&root=gcc&view=rev
Log:
    PR tree-optimization/59523
    * tree-vectorizer.c (fold_loop_vectorized_call): Call update_stmt
    on updated stmts.

    * gcc.dg/pr59523.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr59523.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vectorizer.c

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

[Bug tree-optimization/59523] [4.9 Regression] r205856 caused internal compiler error: verify_ssa failed

[izamyatin at gmail dot com]

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

--- Comment #7 from Igor Zamyatin <izamyatin at gmail dot com> ---
Seems to cause PR59591