From: Richard Biener <rguenther@suse.de>
Date: Thu, 29 Nov 2018 13:33:59 +0000 (+0000)
Subject: re PR tree-optimization/88243 (ice in vect_create_epilog_for_reduction, at tree-vect... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=154fb72b6d8e35b1a97fd665dd43c4f215aea1b1;p=gcc.git

re PR tree-optimization/88243 (ice in vect_create_epilog_for_reduction, at tree-vect-loop.c:4689)

2018-11-29  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/88243
	* tree-vect-patterns.c (vect_mark_pattern_stmts): Set the def
	type of all pattern-sequence stmts to vect_internal_def.

	* gcc.dg/torture/pr88243.c: New testcase.

From-SVN: r266615
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 91a1703db05..b35b26f6561 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-11-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/88243
+	* tree-vect-patterns.c (vect_mark_pattern_stmts): Set the def
+	type of all pattern-sequence stmts to vect_internal_def.
+
 2018-11-29  Andre Vieira  <andre.simoesdiasvieira@arm.com>
 
 	PR target/88224
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1764265073d..18a921ceaef 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-11-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/88243
+	* gcc.dg/torture/pr88243.c: New testcase.
+
 2018-11-29  Jakub Jelinek  <jakub@redhat.com>
 
 	PR c++/87539
diff --git a/gcc/testsuite/gcc.dg/torture/pr88243.c b/gcc/testsuite/gcc.dg/torture/pr88243.c
new file mode 100644
index 00000000000..17ca38fb684
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr88243.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+
+int a, b, c;
+
+void d()
+{
+  int e, f;
+  for (; a; a++)
+    {
+      e = (__UINTPTR_TYPE__)d;
+      b = 0;
+      for (; b < 2; b++)
+	{
+	  f = e = e / 2;
+	  c = c + f;
+	}
+    }
+}
diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c
index 2b56d85afc5..39b6f822d19 100644
--- a/gcc/tree-vect-patterns.c
+++ b/gcc/tree-vect-patterns.c
@@ -4723,7 +4723,15 @@ vect_mark_pattern_stmts (stmt_vec_info orig_stmt_info, gimple *pattern_stmt,
   if (def_seq)
     for (gimple_stmt_iterator si = gsi_start (def_seq);
 	 !gsi_end_p (si); gsi_next (&si))
-      vect_init_pattern_stmt (gsi_stmt (si), orig_stmt_info, pattern_vectype);
+      {
+	stmt_vec_info pattern_stmt_info
+	  = vect_init_pattern_stmt (gsi_stmt (si),
+				    orig_stmt_info, pattern_vectype);
+	/* Stmts in the def sequence are not vectorizable cycle or
+	   induction defs, instead they should all be vect_internal_def
+	   feeding the main pattern stmt which retains this def type.  */
+	STMT_VINFO_DEF_TYPE (pattern_stmt_info) = vect_internal_def;
+      }
 
   if (orig_pattern_stmt)
     {