From: Marc Glisse <marc.glisse@inria.fr>
Date: Wed, 12 Jun 2013 17:56:30 +0000 (+0200)
Subject: re PR tree-optimization/57361 (Remove self memory assignment)
X-Git-Tag: releases/gcc-4.9.0~5424
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1951f1016cd8eec62db59a76840bde6a61d53ad4;p=thirdparty%2Fgcc.git

re PR tree-optimization/57361 (Remove self memory assignment)

2013-06-12  Marc Glisse  <marc.glisse@inria.fr>

	PR tree-optimization/57361
gcc/
	* tree-ssa-dse.c (dse_possible_dead_store_p): Handle self-assignment.

gcc/testsuite/
	* gcc.dg/tree-ssa/pr57361.c: New file.

From-SVN: r200034
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b154319344d..ec3daf24ed6b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-06-12  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR tree-optimization/57361
+	* tree-ssa-dse.c (dse_possible_dead_store_p): Handle self-assignment.
+
 2013-06-12  Sofiane Naci  <sofiane.naci@arm.com>
 
 	* config/aarch64/aarch64-simd.md (aarch64_combine<mode>): convert to split.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 187f2ef0641f..dc29124a7ee2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-06-12  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR tree-optimization/57361
+	* gcc.dg/tree-ssa/pr57361.c: New file.
+
 2013-06-12  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
 
 	* gcc.target/arm/unaligned-memcpy-4.c (src, dst): Initialize
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr57361.c b/gcc/testsuite/gcc.dg/tree-ssa/pr57361.c
new file mode 100644
index 000000000000..81f27b3cd1f2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr57361.c
@@ -0,0 +1,9 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-dse1-details" } */
+
+struct A { int x; double y; };
+void f (struct A *a) {
+  *a = *a;
+}
+
+/* { dg-final { scan-tree-dump "Deleted dead store" "dse1"} } */
diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c
index ad99ea9d5d40..39f47abd83be 100644
--- a/gcc/tree-ssa-dse.c
+++ b/gcc/tree-ssa-dse.c
@@ -84,6 +84,13 @@ dse_possible_dead_store_p (gimple stmt, gimple *use_stmt)
 
   *use_stmt = NULL;
 
+  /* Self-assignments are zombies.  */
+  if (operand_equal_p (gimple_assign_rhs1 (stmt), gimple_assign_lhs (stmt), 0))
+    {
+      *use_stmt = stmt;
+      return true;
+    }
+
   /* Find the first dominated statement that clobbers (part of) the
      memory stmt stores to with no intermediate statement that may use
      part of the memory stmt stores.  That is, find a store that may