tree-flow.h (may_point_to_global_var): Declare.

2008-06-11  Richard Guenther  <rguenther@suse.de>

	* tree-flow.h (may_point_to_global_var): Declare.
	* tree-ssa-alias.c (may_point_to_global_var): New function.
	* tree-ssa-sink.c (is_hidden_global_store): Use it.

From-SVN: r136657

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dd9588ea1c45ac591edf1b349c464bef2ad93dd1..0d84391d2d7afc22ca57ecbd4211ef6f940a48f2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2008-06-11  Richard Guenther  <rguenther@suse.de>
+
+       * tree-flow.h (may_point_to_global_var): Declare.
+       * tree-ssa-alias.c (may_point_to_global_var): New function.
+       * tree-ssa-sink.c (is_hidden_global_store): Use it.
+
 2008-06-10  Kazu Hirata  <kazu@codesourcery.com>
 
        * configure.ac: Teach that fido supports .debug_line.

diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h
index 94d5a69f69ccebb8f3a8c77ec1fba439179dfe52..45711ae3f124580c2455da120883d57b7e8c082a 100644 (file)
--- a/gcc/tree-flow.h
+++ b/gcc/tree-flow.h
@@ -853,6 +853,7 @@ extern void dump_points_to_info_for (FILE *, tree);
 extern void debug_points_to_info_for (tree);
 extern bool may_be_aliased (tree);
 extern struct ptr_info_def *get_ptr_info (tree);
+extern bool may_point_to_global_var (tree);
 extern void new_type_alias (tree, tree, tree);
 extern void count_uses_and_derefs (tree, tree, unsigned *, unsigned *,
                                   unsigned *);

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 05c123c0e99c4ce80cc22abd1ac59eef804ed619..e89e73b9f5981b5650e552906d7273bc70cbef30 100644 (file)
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -2783,6 +2783,23 @@ may_alias_p (tree ptr, alias_set_type mem_alias_set,
   return true;
 }
 
+/* Return true, if PTR may point to a global variable.  */
+
+bool
+may_point_to_global_var (tree ptr)
+{
+  struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr);
+
+  /* If we do not have points-to information for this variable,
+     we have to punt.  */
+  if (!pi
+      || !pi->name_mem_tag)
+    return true;
+
+  /* The name memory tag is marked as global variable if the points-to
+     set contains a global variable.  */
+  return is_global_var (pi->name_mem_tag);
+}
 
 /* Add ALIAS to the set of variables that may alias VAR.  */
 

diff --git a/gcc/tree-ssa-sink.c b/gcc/tree-ssa-sink.c
index 8945a6126634d146b519ea0ef0df5c629e1f03cc..ebf54e2070b83eb453cf2f883d434838b44bf981 100644 (file)
--- a/gcc/tree-ssa-sink.c
+++ b/gcc/tree-ssa-sink.c
@@ -189,20 +189,7 @@ is_hidden_global_store (tree stmt)
 
        }
       else if (INDIRECT_REF_P (lhs))
-       {
-         tree ptr = TREE_OPERAND (lhs, 0);
-         struct ptr_info_def *pi = SSA_NAME_PTR_INFO (ptr);
-         tree nmt = (pi) ? pi->name_mem_tag : NULL_TREE;
-         tree smt = symbol_mem_tag (SSA_NAME_VAR (ptr));
-
-         /* If either the name tag or the symbol tag for PTR is a
-            global variable, then the store is necessary.  */
-         if ((nmt && is_global_var (nmt))
-             || (smt && is_global_var (smt)))
-           {
-             return true;
-           }
-       }
+       return may_point_to_global_var (TREE_OPERAND (lhs, 0));
       else
        gcc_unreachable ();
     }