From d90f84404cadb75051a6ff334af6b5c5fc252937 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 29 Jun 2015 07:30:47 +0000 Subject: [PATCH] re PR tree-optimization/66677 (ICE: in vect_transform_stmt, at tree-vect-stmts.c:7626) 2015-06-29 Richard Biener 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 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/vect/pr66677.c | 15 +++++++++++++++ gcc/tree-vect-stmts.c | 10 ++-------- 4 files changed, 28 insertions(+), 8 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/vect/pr66677.c 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 + + 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 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 + + PR tree-optimization/66677 + * gcc.dg/vect/pr66677.c: New testcase. + 2015-06-29 Kugan Vivekanandarajah 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. */ -- 2.30.2