From: Richard Biener <rguenther@suse.de>
Date: Fri, 29 Jan 2016 11:21:19 +0000 (+0000)
Subject: re PR middle-end/69547 (no-op array initializer emits an empty loop)
X-Git-Tag: releases/gcc-6.1.0~1267
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d4abfcc561b77aa2ac7328d965b08efd1b2561b2;p=thirdparty%2Fgcc.git

re PR middle-end/69547 (no-op array initializer emits an empty loop)

2016-01-29  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69547
	* tree-ssa-dce.c (mark_aliased_reaching_defs_necessary_1):
	Do not mark clobbers necessary.
	(mark_all_reaching_defs_necessary_1): Likewise.

	* g++.dg/tree-ssa/pr69547.C: New testcase.

From-SVN: r232976
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 268dd61f4bda..3f5972c6664c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2016-01-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/69547
+	* tree-ssa-dce.c (mark_aliased_reaching_defs_necessary_1):
+	Do not mark clobbers necessary.
+	(mark_all_reaching_defs_necessary_1): Likewise.
+
 2016-01-29  Dominik Vogt  <vogt@linux.vnet.ibm.com>
 
 	* config/s390/s390-c.c (s390_resolve_overloaded_builtin): Format
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d021755eee7b..6b2ddbd961bc 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-01-29  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/69547
+	* g++.dg/tree-ssa/pr69547.C: New testcase.
+
 2016-01-29  Jakub Jelinek  <jakub@redhat.com>
 
 	PR debug/66869
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr69547.C b/gcc/testsuite/g++.dg/tree-ssa/pr69547.C
new file mode 100644
index 000000000000..30452340a5c2
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr69547.C
@@ -0,0 +1,15 @@
+// { dg-do compile }
+// { dg-options "-O2 -fdump-tree-cddce1" }
+
+struct A { A () { } };
+
+void foo (void*, int);
+
+void bar ()
+{
+  enum { N = 64 };
+  A a [N];
+  foo (&a, N);
+}
+
+// { dg-final { scan-tree-dump-not "if" "cddce1" } }
diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c
index 8c3dd8f4bb8a..75aaee97123d 100644
--- a/gcc/tree-ssa-dce.c
+++ b/gcc/tree-ssa-dce.c
@@ -462,7 +462,8 @@ mark_aliased_reaching_defs_necessary_1 (ao_ref *ref, tree vdef, void *data)
   gimple *def_stmt = SSA_NAME_DEF_STMT (vdef);
 
   /* All stmts we visit are necessary.  */
-  mark_operand_necessary (vdef);
+  if (! gimple_clobber_p (def_stmt))
+    mark_operand_necessary (vdef);
 
   /* If the stmt lhs kills ref, then we can stop walking.  */
   if (gimple_has_lhs (def_stmt)
@@ -584,7 +585,8 @@ mark_all_reaching_defs_necessary_1 (ao_ref *ref ATTRIBUTE_UNUSED,
 	  }
     }
 
-  mark_operand_necessary (vdef);
+  if (! gimple_clobber_p (def_stmt))
+    mark_operand_necessary (vdef);
 
   return false;
 }