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

re PR tree-optimization/66677 (ICE: in vect_transform_stmt, at tree-vect-stmts.c:7626)

Browse Source 
2015-06-29  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/66677
	* tree-vect-stmts.c (vect_transform_stmt): Make assert about
	STMT_VINFO_VEC_STMT clobbering less strict.

	* gcc.dg/vect/pr66677.c: New testcase.

From-SVN: r225112
This commit is contained in:
Richard Biener 2015-06-29 07:30:47 +00:00 committed by Richard Biener
parent 04ab3d3aeb
commit d90f84404c
4 changed files with 28 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2015-06-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/66677
* tree-vect-stmts.c (vect_transform_stmt): Make assert about
STMT_VINFO_VEC_STMT clobbering less strict.
2015-06-29 Kugan Vivekanandarajah <kuganv@linaro.org>
PR middle-end/64130

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2015-06-29 Richard Biener <rguenther@suse.de>
PR tree-optimization/66677
* gcc.dg/vect/pr66677.c: New testcase.
2015-06-29 Kugan Vivekanandarajah <kuganv@linaro.org>
PR middle-end/64130

15
gcc/testsuite/gcc.dg/vect/pr66677.c Normal file
View File

@ -0,0 +1,15 @@
/* { dg-do compile } */
/* { dg-additional-options "-msse4" { target x86_64-*-* i?86-*-* } } */
int *a, *b;
void fn1(char *p1)
{
int x;
for (; x; x += 2)
{
a[x] = p1[0];
a[x + 1] = 0;
b[x] = b[x + 1] = p1[1];
p1 += 4;
}
}

6
gcc/tree-vect-stmts.c
View File

@ -7620,14 +7620,8 @@ vect_transform_stmt (gimple stmt, gimple_stmt_iterator *gsi,
/* Verify SLP vectorization doesn't mess with STMT_VINFO_VEC_STMT.
This would break hybrid SLP vectorization. */
if (slp_node)
{
if (PURE_SLP_STMT (stmt_info))
gcc_assert (!old_vec_stmt && !vec_stmt
&& !STMT_VINFO_VEC_STMT (stmt_info));
else if (HYBRID_SLP_STMT (stmt_info))
gcc_assert (!vec_stmt
&& STMT_VINFO_VEC_STMT (stmt_info) == old_vec_stmt);
}
/* Handle inner-loop stmts whose DEF is used in the loop-nest that
is being vectorized, but outside the immediately enclosing loop. */