diff options
| author | Richard Biener <rguenther@suse.de> | 2015-06-29 07:30:47 +0000 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2015-06-29 07:30:47 +0000 |
| commit | 92ccf406b56a7aba427a5b7450ccbaa0694cdd4d (patch) | |
| tree | b8cf91806f7b221330906b5310b2c51e8c0885aa /gcc | |
| parent | ca1258557e694681e14897ddb388d246a223eed2 (diff) | |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@225112 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/vect/pr66677.c | 15 | ||||
| -rw-r--r-- | gcc/tree-vect-stmts.c | 10 |
4 files changed, 28 insertions, 8 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 239ea9e66c7..d819b253ec9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fda80ddedbc..b4bd5dae784 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/gcc.dg/vect/pr66677.c b/gcc/testsuite/gcc.dg/vect/pr66677.c new file mode 100644 index 00000000000..b95ac46d576 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr66677.c @@ -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; + } +} diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index 82968199f80..6592be2e884 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -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); - } + 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. */ |