From: Richard Biener <rguenther@suse.de>
Date: Mon, 29 Jun 2015 07:30:47 +0000 (+0000)
Subject: re PR tree-optimization/66677 (ICE: in vect_transform_stmt, at tree-vect-stmts.c... 
X-Git-Tag: upstream/12.2.0~53900
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=d90f84404cadb75051a6ff334af6b5c5fc252937;p=platform%2Fupstream%2Fgcc.git

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

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
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 239ea9e..d819b25 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 fda80dd..b4bd5da 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 0000000..b95ac46
--- /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 8296819..6592be2 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.  */