From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 27 Nov 2012 13:34:11 +0000 (+0100)
Subject: re PR tree-optimization/55110 (Internal compiler error in vectorizable_reduction... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7fc3eedbebe589acc8bab41475f29a40383e8df3;p=gcc.git

re PR tree-optimization/55110 (Internal compiler error in vectorizable_reduction, at tree-vect-loop.c:4633)

	PR tree-optimization/55110
	* tree-vect-loop.c (vectorizable_reduction): Don't assert
	that STMT_VINFO_RELATED_STMT of orig_stmt is stmt.

	* gcc.dg/pr55110.c: New test.

From-SVN: r193845
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 75da5268e81..23ec9aa1efc 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-11-27  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/55110
+	* tree-vect-loop.c (vectorizable_reduction): Don't assert
+	that STMT_VINFO_RELATED_STMT of orig_stmt is stmt.
+
 2012-11-27  Richard Biener  <rguenther@suse.de>
 
 	* gimple-fold.c (fold_stmt_1): Remove unnecessary code.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ff025c11e53..1e1448b5e1f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-11-27  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/55110
+	* gcc.dg/pr55110.c: New test.
+
 2012-11-27  Richard Biener  <rguenther@suse.de>
 
 	PR middle-end/55331
diff --git a/gcc/testsuite/gcc.dg/pr55110.c b/gcc/testsuite/gcc.dg/pr55110.c
new file mode 100644
index 00000000000..2a031a52908
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr55110.c
@@ -0,0 +1,13 @@
+/* PR tree-optimization/55110 */
+/* { dg-do compile } */
+/* { dg-options "-O1 -ftree-vectorize" } */
+
+int
+foo (int x)
+{
+  int a, b;
+  for (b = 0; b < 8; b++)
+    for (a = 0; a < 2; a++)
+      x /= 3;
+  return x;
+}
diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c
index 04c3760598d..633d3d1d972 100644
--- a/gcc/tree-vect-loop.c
+++ b/gcc/tree-vect-loop.c
@@ -4624,7 +4624,6 @@ vectorizable_reduction (gimple stmt, gimple_stmt_iterator *gsi,
   if (orig_stmt)
     {
       orig_stmt_info = vinfo_for_stmt (orig_stmt);
-      gcc_assert (STMT_VINFO_RELATED_STMT (orig_stmt_info) == stmt);
       gcc_assert (STMT_VINFO_IN_PATTERN_P (orig_stmt_info));
       gcc_assert (!STMT_VINFO_IN_PATTERN_P (stmt_info));
     }