Created attachment 22066 [details] 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
Both are caused by revision 165412: http://gcc.gnu.org/ml/gcc-cvs/2010-10/msg00596.html
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
Fixed.