diff options
| author | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-06-12 17:56:30 +0000 |
|---|---|---|
| committer | glisse <glisse@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-06-12 17:56:30 +0000 |
| commit | 7855598cdefed939f4ece3c0eec7917da45f0b91 (patch) | |
| tree | 324bf4aca8069a6f23641b2b376e381099a0ca1e | |
| parent | d820433c2581cfe1909eadd5d28282c907287d32 (diff) | |
| download | gcc-7855598cdefed939f4ece3c0eec7917da45f0b91.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200034 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr57361.c | 9 | ||||
| -rw-r--r-- | gcc/tree-ssa-dse.c | 7 |
4 files changed, 26 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0b154319344..ec3daf24ed6 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 187f2ef0641..dc29124a7ee 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 00000000000..81f27b3cd1f --- /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 ad99ea9d5d4..39f47abd83b 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 |