From: Richard Biener <rguenther@suse.de>
Date: Fri, 20 Oct 2017 11:21:11 +0000 (+0000)
Subject: re PR tree-optimization/82603 (ICE in ifcvt_local_dce w/ -O2 -ftree-loop-vectorize)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1031b5772a3f2daee0bf01d7d155955833d05c1b;p=gcc.git

re PR tree-optimization/82603 (ICE in ifcvt_local_dce w/ -O2 -ftree-loop-vectorize)

2017-10-20  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/82603
	* tree-if-conv.c (predicate_mem_writes): Make sure to only
	remove false predicated stores.

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

From-SVN: r253933
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2bb52cf1bda..87474af384f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-10-20  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/82603
+	* tree-if-conv.c (predicate_mem_writes): Make sure to only
+	remove false predicated stores.
+
 2017-10-20  Richard Biener  <rguenther@suse.de>
 
 	* graphite-isl-ast-to-gimple.c
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index fd7ce2eac32..2744146268f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-20  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/82603
+	* gcc.dg/torture/pr82603.c: New testcase.
+
 2017-10-20  Tom de Vries  <tom@codesourcery.com>
 
 	* gcc.dg/tree-ssa/ldist-27.c: Remove dg-require-stack-size.
diff --git a/gcc/testsuite/gcc.dg/torture/pr82603.c b/gcc/testsuite/gcc.dg/torture/pr82603.c
new file mode 100644
index 00000000000..960a48bbd3a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr82603.c
@@ -0,0 +1,24 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-ftree-loop-vectorize" } */
+
+int
+mr (unsigned int lf, int ms)
+{
+  unsigned int sw = 0;
+  char *cu = (char *)&ms;
+
+  while (ms < 1)
+    {
+      if (lf == 0)
+	ms = 0;
+      else
+	ms = 0;
+      ms += ((lf > 0) && ((lf > sw) ? 1 : ++*cu));
+    }
+
+  if (lf != 0)
+    cu = (char *)&sw;
+  *cu = lf;
+
+  return ms;
+}
diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c
index e2fce3c114a..a1803ff4391 100644
--- a/gcc/tree-if-conv.c
+++ b/gcc/tree-if-conv.c
@@ -2214,7 +2214,8 @@ predicate_mem_writes (loop_p loop)
 	{
 	  if (!gimple_assign_single_p (stmt = gsi_stmt (gsi)))
 	    ;
-	  else if (is_false_predicate (cond))
+	  else if (is_false_predicate (cond)
+		   && gimple_vdef (stmt))
 	    {
 	      unlink_stmt_vdef (stmt);
 	      gsi_remove (&gsi, true);