diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2007-01-29 19:38:00 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2007-01-29 19:38:00 +0000 |
| commit | 306219a28de461c81501a32d77d3e0b1cce832c8 (patch) | |
| tree | 7897072edfc0eae9bd0cdbca19fba28cbf0e59c8 /gcc/tree-flow.h | |
| parent | acd724f62a7599bec3e40cdc5a02f961f64358d3 (diff) | |
| download | gcc-306219a28de461c81501a32d77d3e0b1cce832c8.zip gcc-306219a28de461c81501a32d77d3e0b1cce832c8.tar.gz gcc-306219a28de461c81501a32d77d3e0b1cce832c8.tar.bz2 | |
tree.h (struct tree_memory_tag): Add aliases member.
2007-01-28 Daniel Berlin <dberlin@dberlin.org>
* tree.h (struct tree_memory_tag): Add aliases member.
(MTAG_ALIASES): New macro.
* tree-ssa-alias.c (alias_bitmap_obstack): New variable.
(add_may_alias): Remove pointer-set. Update for may_aliases being
a bitmap.
(mark_aliases_call_clobbered): Update for may_aliases being a
bitmap.
(compute_tag_properties): Ditto.
(create_partition_for): Ditto.
(compute_memory_partitions): Ditto.
(dump_may_aliases_for): Ditto.
(is_aliased_with): Ditto.
(add_may_alias_for_new_tag): Ditto.
(rewrite_alias_set_for): Rewrite for may_aliases being a bitmap.
(compute_is_aliased): New function.
(compute_may_aliases): Call compute_is_aliased).
(init_alias_info): Initialize alias_bitmap_obstack.
(union_alias_set_into): New function.
(compute_flow_sensitive_aliasing): Use union_aliases_into.
(have_common_aliases_p): Rewrite to take two bitmaps and use
intersection.
(compute_flow_insensitive_aliasing): Stop using pointer-sets.
Update for bitmaps.
(finalize_ref_all_pointers): Update for add_may_alias changes.
(new_type_alias): Ditto.
* tree-flow-inline.h (may_aliases): Return a bitmap.
* tree-dfa.c (dump_variable): Check for MTAG_P'ness.
* tree-ssa.c (verify_flow_insensitive_alias_info): Update for
may_aliases being a bitmap.
* tree-flow.h (struct var_ann_d): Remove may_aliases member.
may_aliases now returns a bitmap.
* tree-ssa-structalias.c (merge_smts_into): Update for may_aliases
being a bitmap.
* tree-ssa-operands.c (add_virtual_operand): Update for
may_aliases being a bitmap.
From-SVN: r121302
Diffstat (limited to 'gcc/tree-flow.h')
| -rw-r--r-- | gcc/tree-flow.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h index c49faee..19efacd 100644 --- a/gcc/tree-flow.h +++ b/gcc/tree-flow.h @@ -266,11 +266,6 @@ struct var_ann_d GTY(()) to convert to hash table? */ tree symbol_mem_tag; - /* Variables that may alias this variable. This may only be set on - memory tags (NAME_MEMORY_TAG or TYPE_MEMORY_TAG). FIXME, move to - struct tree_memory_tag. */ - VEC(tree, gc) *may_aliases; - /* Used when going out of SSA form to indicate which partition this variable represents storage for. */ unsigned partition; @@ -431,7 +426,7 @@ extern void set_bb_for_stmt (tree, basic_block); static inline bool noreturn_call_p (tree); static inline void update_stmt (tree); static inline bool stmt_modified_p (tree); -static inline VEC(tree, gc) *may_aliases (tree); +static inline bitmap may_aliases (tree); static inline int get_lineno (tree); static inline const char *get_filename (tree); static inline bool is_exec_stmt (tree); |