diff options
| author | Daniel Berlin <dberlin@dberlin.org> | 2006-12-04 19:07:05 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2006-12-04 19:07:05 +0000 |
| commit | c58936b6b75bfea1b486a7040081e423e58a56de (patch) | |
| tree | 8dbfc56117f5c8e2683fa7f0f2fb59efb7c301b4 /gcc/alias.h | |
| parent | 2c05d05ede8e14d8e709b172e83004c53fb30187 (diff) | |
| download | gcc-c58936b6b75bfea1b486a7040081e423e58a56de.tar.gz | |
tree-ssa-alias.c (compute_may_aliases): Compute flow sensitive before flow insensitive.
2006-12-04 Daniel Berlin <dberlin@dberlin.org>
* tree-ssa-alias.c (compute_may_aliases):
Compute flow sensitive before flow insensitive.
(compute_flow_sensitive_aliasing): Don't try to add
a symbol memory tag to itself.
* alias.h (alias_set_subset_of): New prototype.
* alias.c (alias_set_subset_of): New function.
* tree-ssa-structalias.c: Update comments.
(struct variable_info): Add finished_solution.
(new_varinfo): Set finished solution to NULL.
(var_escaped_vars): Remove.
(escaped_vars_tree): Remove.
(escaped_vars_id): Remove.
(nonlocal_vars_id): Remove.
(constraint_expr_type): Add INCLUDES.
(graph_size): Removed.
(dump_constraint): Support INCLUDES.
(build_constraint_graph): Ditto.
(collapse_nodes): Add merge_solutions argument.
Don't merge attributes.
(process_unification_queue): Just use collapse_nodes.
(perform_var_substitution): Update call to collapse_nodes.
(get_constraint_exp_from_ssa_var): Use INCLUDES.
(process_constraint): Fix non-field sensitive handling
Handle includes.
(get_constraint_for): Use INCLUDES.
(make_constraint_from_anything): Renamed from
make_constraint_from_escaped.
(make_constraint_to_escaped): Removed.
(find_global_initializers): Removed.
(create_variable_info_for): Do not make constraints to escaped
vars anymore.
(dump_solution_for_var): Don't print out the equivalent points-to
sets, just use the name of the variable it shares it with.
(intra_create_variable_infos): Use INCLUDES.
Change nonlocal variable sets to anything sets.
(init_base_vars): Remove escaped_vars and nonlocal_var
initialization.
(find_escape_constraints): Removed.
(delete_points_to_sets): Remove dead code.
(used_smt_calculated): New variable.
(set_used_smts): New function.
(merge_smts_into): New function.
(find_what_p_points_to): Modify to use SMTs.
(create_nonlocal_var): Remove.
* tree-ssa-operands.c (access_can_touch_variable): Remove
reference to nonlocal_all.
* tree-ssa.c (verify_name_tags): Remove.
From-SVN: r119502
Diffstat (limited to 'gcc/alias.h')
| -rw-r--r-- | gcc/alias.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/alias.h b/gcc/alias.h index f4ba839c6fb..46130e8e438 100644 --- a/gcc/alias.h +++ b/gcc/alias.h @@ -25,6 +25,7 @@ extern HOST_WIDE_INT new_alias_set (void); extern HOST_WIDE_INT get_varargs_alias_set (void); extern HOST_WIDE_INT get_frame_alias_set (void); extern bool component_uses_parent_alias_set (tree); +extern bool alias_set_subset_of (HOST_WIDE_INT, HOST_WIDE_INT); /* This alias set can be used to force a memory to conflict with all other memories, creating a barrier across which no memory reference |