tree-ssa-dom.c (cprop_operand): Remove restriction on propagating volatile pointers.

2014-06-26  Richard Biener  <rguenther@suse.de>

	* tree-ssa-dom.c (cprop_operand): Remove restriction on
	propagating volatile pointers.

From-SVN: r212013

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d26b93e5402ba4ed2df4fe1b5ec7a983eba31412..6a7516c55315deca6d1639b30c96763e26f842e5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2014-06-26  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-dom.c (cprop_operand): Remove restriction on
+       propagating volatile pointers.
+
 2014-06-26  Richard Biener  <rguenther@suse.de>
 
        PR tree-optimization/61607

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index 61e75b6fb2032f1674511e9ac98540a7bc878d42..62444b262de119763691cd0f1e093eff7d459c56 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -2247,14 +2247,6 @@ cprop_operand (gimple stmt, use_operand_p op_p)
       if (!may_propagate_copy (op, val))
        return;
 
-      /* Do not propagate addresses that point to volatiles into memory
-        stmts without volatile operands.  */
-      if (POINTER_TYPE_P (TREE_TYPE (val))
-         && TYPE_VOLATILE (TREE_TYPE (TREE_TYPE (val)))
-         && gimple_has_mem_ops (stmt)
-         && !gimple_has_volatile_ops (stmt))
-       return;
-
       /* Do not propagate copies if the propagated value is at a deeper loop
         depth than the propagatee.  Otherwise, this may move loop variant
         variables outside of their loops and prevent coalescing