[Bug tree-optimization/46052] New: [4.6 Regression] ICE: in emit_move_insn, at expr.c:3386 with -ftree-vectorize

[Bug tree-optimization/46052] New: [4.6 Regression] ICE: in emit_move_insn, at expr.c:3386 with -ftree-vectorize

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in emit_move_insn, at
                    expr.c:3386 with -ftree-vectorize
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


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

Compiler output:
$ gcc -O -ftree-pre -ftree-vectorize -funswitch-loops pr46052.c 
pr46052.c: In function 'foo':
pr46052.c:13:12: internal compiler error: in emit_move_insn, at expr.c:3386
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

When this diff is applied:
=========

  static inline char bar (void)
  {
+   return i ? i : 1;
  }

  void foo (int n)
=========

the ICE changes to:
$ gcc -O -ftree-pre -ftree-vectorize -funswitch-loops testcase.c
testcase.c: In function 'foo':
testcase.c:9:6: internal compiler error: RTL check: access of elt 16 of vector
with last elt 15 in store_constructor, at expr.c:5744
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r165540 - crash
r163636 - OK

[Bug tree-optimization/46052] [4.6 Regression] ICE: in emit_move_insn, at expr.c:3386 with -ftree-vectorize

[hjl.tools at gmail dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.16 23:13:17
                 CC|                            |irar at gcc dot gnu.org
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-10-16 23:13:17 UTC ---
Both are caused by revision 165412:

http://gcc.gnu.org/ml/gcc-cvs/2010-10/msg00596.html

[Bug tree-optimization/46052] [4.6 Regression] ICE: in emit_move_insn, at expr.c:3386 with -ftree-vectorize

[irar at gcc dot gnu.org]

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

--- Comment #2 from irar at gcc dot gnu.org 2010-10-21 13:37:05 UTC ---
Author: irar
Date: Thu Oct 21 13:36:56 2010
New Revision: 165777

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165777
Log:

    PR tree-optimization/46049
    PR tree-optimization/46052
    * tree-vectorizer.h (enum stmt_vec_info_type): Add new value for
    shift.
    (vect_get_slp_defs): Add arguments.
    * tree-vect-loop.c (vect_create_epilog_for_reduction): Pass scalar
    operands to vect_get_slp_defs.
    (vectorizable_reduction): Fix comment, pass scalar operands to
    vect_get_slp_defs.
    * tree-vect-stmts.c (vect_get_vec_def_for_operand): Use operand's
    type to determine number of units in the created vector.
    (vect_get_vec_defs): Pass scalar operands to vect_get_slp_defs.
    (vectorizable_conversion): Fix comment.
    (vectorizable_shift): New function.
    (vectorizable_operation): Move code that handles shifts to
    vectorizable_shift.
    (vectorizable_type_demotion): Fix comment, pass scalar operands to
    vect_get_slp_defs.
    (vectorizable_type_promotion, vectorizable_store): Likewise.
    (vectorizable_condition): Fix comment.
    (vect_analyze_stmt): Call vectorizable_shift.
    (vect_transform_stmt): Likewise.
    * tree-vect-slp.c (vect_get_constant_vectors): Add new argument.
    Use it as the operand to create vectors for, except reduction
    initial definition and store.  Use operands type.
    (vect_get_slp_defs): Add new arguments.  Pass them to
    vect_get_constant_vectors.


Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr46049.c
    trunk/gcc/testsuite/gcc.dg/vect/pr46052.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop.c
    trunk/gcc/tree-vect-slp.c
    trunk/gcc/tree-vect-stmts.c
    trunk/gcc/tree-vectorizer.h

[Bug tree-optimization/46052] [4.6 Regression] ICE: in emit_move_insn, at expr.c:3386 with -ftree-vectorize

[irar at il dot ibm.com]

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

Ira Rosen <irar at il dot ibm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |irar at il dot ibm.com
         Resolution|                            |FIXED

--- Comment #3 from Ira Rosen <irar at il dot ibm.com> 2010-10-21 13:45:59 UTC ---
Fixed.