diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-24 14:41:49 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-24 14:41:49 +0000 |
| commit | a34205cc0e684cd77a6dc0ac822f9dbc3be75416 (patch) | |
| tree | 4b9ea22a269724c869170efef0a0f07ed2c07444 | |
| parent | 630fd6e1f6aa392c881be6f1c43afa2ce7a9797f (diff) | |
| download | gcc-a34205cc0e684cd77a6dc0ac822f9dbc3be75416.tar.gz | |
2012-04-24 Richard Guenther <rguenther@suse.de>
PR tree-optimization/53085
* tree-ssa-pre.c (eliminate): Do not eliminate volatile redundant
stores.
* g++.dg/torture/pr53085.C: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@186764 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr53085.C | 17 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 1 |
4 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 86dc9c708a6..27a67a50d91 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2012-04-24 Richard Guenther <rguenther@suse.de> + PR tree-optimization/53085 + * tree-ssa-pre.c (eliminate): Do not eliminate volatile redundant + stores. + +2012-04-24 Richard Guenther <rguenther@suse.de> + * tree-if-conv.c (main_tree_if_conversion): Move bb under ENABLE_CHECKING. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9205f4299ce..646a150f134 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-04-24 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/53085 + * g++.dg/torture/pr53085.C: New testcase. + 2012-04-24 Andrew Pinski <apinski@cavium.com> PR tree-opt/33512 diff --git a/gcc/testsuite/g++.dg/torture/pr53085.C b/gcc/testsuite/g++.dg/torture/pr53085.C new file mode 100644 index 00000000000..9ee29fec1a7 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr53085.C @@ -0,0 +1,17 @@ +// { dg-do compile } +// { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } +// { dg-options "-fdump-tree-optimized" } + +class aa{ + void f(); +private: + volatile int a; +}; + +void aa::f(){ + a=1; + a=1; +} + +// { dg-final { scan-tree-dump-times "a ={v} 1;" 2 "optimized" } } +// { dg-final { cleanup-tree-dump "optimized" } } diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 5e6f5708ad1..e3e55ef48a8 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -4409,6 +4409,7 @@ eliminate (void) has the same value number as its rhs. If so, the store is dead. */ else if (gimple_assign_single_p (stmt) + && !gimple_has_volatile_ops (stmt) && !is_gimple_reg (gimple_assign_lhs (stmt)) && (TREE_CODE (rhs) == SSA_NAME || is_gimple_min_invariant (rhs))) |