diff options
| -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 86dc9c7..27a67a5 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 9205f42..646a150 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 0000000..9ee29fe --- /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 5e6f570..e3e55ef 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))) |