OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/56366 (ICE: verify_gimple failed (incompatible types in PHI argument)) 

2013-02-18  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/56366
	* tree-vect-loop.c (get_initial_def_for_induction): Properly
	handle sign-conversion of outer-loop initial induction value.

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

From-SVN: r196121
This commit is contained in:
Richard Biener 2013-02-18 13:58:21 +00:00 committed by Richard Biener
parent 73db8ff1f3
commit fe0b4796ad
4 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2013-02-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/56366
* tree-vect-loop.c (get_initial_def_for_induction): Properly
handle sign-conversion of outer-loop initial induction value.
2013-02-18 Richard Biener <rguenther@suse.de>
PR middle-end/56349

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2013-02-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/56366
* gcc.dg/torture/pr56366.c: New testcase.
2013-02-18 Richard Biener <rguenther@suse.de>
PR middle-end/56349

17
gcc/testsuite/gcc.dg/torture/pr56366.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
int a, *c, d;
unsigned short b;
short e;
void f(void)
{
for(;; d++)
{
for(a = -9; a < 63; a++)
for(d = 0; d < 9; d++)
b -= --e;
a = b & *c;
}
}

15
gcc/tree-vect-loop.c
View File

@ -3203,6 +3203,21 @@ get_initial_def_for_induction (gimple iv_phi)
tree iv_def = PHI_ARG_DEF_FROM_EDGE (iv_phi,
loop_preheader_edge (iv_loop));
vec_init = vect_get_vec_def_for_operand (iv_def, iv_phi, NULL);
/* If the initial value is not of proper type, convert it. */
if (!useless_type_conversion_p (vectype, TREE_TYPE (vec_init)))
{
new_stmt = gimple_build_assign_with_ops
(VIEW_CONVERT_EXPR,
vect_get_new_vect_var (vectype, vect_simple_var, "vec_iv_"),
build1 (VIEW_CONVERT_EXPR, vectype, vec_init), NULL_TREE);
vec_init = make_ssa_name (gimple_assign_lhs (new_stmt), new_stmt);
gimple_assign_set_lhs (new_stmt, vec_init);
new_bb = gsi_insert_on_edge_immediate (loop_preheader_edge (iv_loop),
new_stmt);
gcc_assert (!new_bb);
set_vinfo_for_stmt (new_stmt,
new_stmt_vec_info (new_stmt, loop_vinfo, NULL));
}
}
else
{