diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dd9588ea1c45ac591edf1b349c464bef2ad93dd1..0d84391d2d7afc22ca57ecbd4211ef6f940a48f2 100644 --- 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 --- 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 --- 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 --- 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 (); }