is_aliased.
Update all users.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@111249
138bc75d-0d04-0410-961f-
82ee72b054a4
+2006-02-18 Diego Novillo <dnovillo@redhat.com>
+
+ * tree-flow.h (struct var_ann_d): Rename field is_alias_tag to
+ is_aliased.
+ Update all users.
+
2006-02-18 Jakub Jelinek <jakub@redhat.com>
PR middle-end/26334
2006-02-18 Jakub Jelinek <jakub@redhat.com>
PR middle-end/26334
print_generic_expr (file, ann->type_mem_tag, dump_flags);
}
print_generic_expr (file, ann->type_mem_tag, dump_flags);
}
- if (ann && ann->is_alias_tag)
- fprintf (file, ", is an alias tag");
+ if (ann && ann->is_aliased)
+ fprintf (file, ", is aliased");
if (TREE_ADDRESSABLE (var))
fprintf (file, ", is addressable");
if (TREE_ADDRESSABLE (var))
fprintf (file, ", is addressable");
/* Used when building root_var structures in tree_ssa_live.[ch]. */
unsigned root_var_processed : 1;
/* Used when building root_var structures in tree_ssa_live.[ch]. */
unsigned root_var_processed : 1;
- /* Nonzero if this variable is an alias tag that represents references to
- other variables (i.e., this variable appears in the MAY_ALIASES array
- of other variables). */
- unsigned is_alias_tag : 1;
+ /* Nonzero if this variable is in the alias set of another variable. */
+ unsigned is_aliased : 1;
/* Nonzero if this variable was used after SSA optimizations were
applied. We set this when translating out of SSA form. */
/* Nonzero if this variable was used after SSA optimizations were
applied. We set this when translating out of SSA form. */
current version of this variable (an SSA_NAME). */
tree current_def;
current version of this variable (an SSA_NAME). */
tree current_def;
/* If this variable is a structure, this fields holds a list of
symbols representing each of the fields of the structure. */
subvar_t subvars;
/* If this variable is a structure, this fields holds a list of
symbols representing each of the fields of the structure. */
subvar_t subvars;
{
var_ann_t ann = var_ann (var);
{
var_ann_t ann = var_ann (var);
ann->may_aliases = NULL;
NUM_REFERENCES_CLEAR (ann);
ann->may_aliases = NULL;
NUM_REFERENCES_CLEAR (ann);
var_ann_t ann = var_ann (var);
/* Make TAG the unique alias of VAR. */
var_ann_t ann = var_ann (var);
/* Make TAG the unique alias of VAR. */
ann->may_aliases = NULL;
/* Note that VAR and TAG may be the same if the function has no
ann->may_aliases = NULL;
/* Note that VAR and TAG may be the same if the function has no
return;
VEC_safe_push (tree, gc, v_ann->may_aliases, alias);
return;
VEC_safe_push (tree, gc, v_ann->may_aliases, alias);
- a_ann->is_alias_tag = 1;
VEC(tree,gc) *aliases;
tree al;
VEC(tree,gc) *aliases;
tree al;
- if (var_ann (sym)->is_alias_tag)
+ if (var_ann (sym)->is_aliased)
{
aliases = var_ann (tag)->may_aliases;
{
aliases = var_ann (tag)->may_aliases;
/* Add VAR to the virtual operands array. FLAGS is as in
get_expr_operands. FULL_REF is a tree that contains the entire
pointer dereference expression, if available, or NULL otherwise.
/* Add VAR to the virtual operands array. FLAGS is as in
get_expr_operands. FULL_REF is a tree that contains the entire
pointer dereference expression, if available, or NULL otherwise.
if ((flags & opf_non_specific) && unmodifiable_var_p (var))
flags &= ~(opf_is_def | opf_kill_def);
if ((flags & opf_non_specific) && unmodifiable_var_p (var))
flags &= ~(opf_is_def | opf_kill_def);
/* The variable is not a GIMPLE register. Add it (or its aliases) to
virtual operands, unless the caller has specifically requested
not to add virtual operands (used when adding operands inside an
/* The variable is not a GIMPLE register. Add it (or its aliases) to
virtual operands, unless the caller has specifically requested
not to add virtual operands (used when adding operands inside an
It is also necessary to add bare defs on clobbers for
TMT's, so that bare TMT uses caused by pruning all the
aliases will link up properly with calls. */
It is also necessary to add bare defs on clobbers for
TMT's, so that bare TMT uses caused by pruning all the
aliases will link up properly with calls. */
- if (v_ann->is_alias_tag || none_added
+ if (v_ann->is_aliased
+ || none_added
|| (TREE_CODE (var) == TYPE_MEMORY_TAG && for_clobber))
append_v_may_def (var);
}
|| (TREE_CODE (var) == TYPE_MEMORY_TAG && for_clobber))
append_v_may_def (var);
}
/* Similarly, append a virtual uses for VAR itself, when
it is an alias tag. */
/* Similarly, append a virtual uses for VAR itself, when
it is an alias tag. */
- if (v_ann->is_alias_tag || none_added)
+ if (v_ann->is_aliased || none_added)
-/* Add *VAR_P to the appropriate operand array for INFO. FLAGS is as in
+
+/* Add *VAR_P to the appropriate operand array for S_ANN. FLAGS is as in
get_expr_operands. If *VAR_P is a GIMPLE register, it will be added to
the statement's real operands, otherwise it is added to virtual
operands. */
get_expr_operands. If *VAR_P is a GIMPLE register, it will be added to
the statement's real operands, otherwise it is added to virtual
operands. */
gcc_assert (SSA_VAR_P (var));
is_real_op = is_gimple_reg (var);
gcc_assert (SSA_VAR_P (var));
is_real_op = is_gimple_reg (var);
- /* If this is a real operand, the operand is either ssa name or decl.
- Virtual operands may only be decls. */
+
+ /* If this is a real operand, the operand is either an SSA name or a
+ decl. Virtual operands may only be decls. */
gcc_assert (is_real_op || DECL_P (var));
sym = (TREE_CODE (var) == SSA_NAME ? SSA_NAME_VAR (var) : var);
gcc_assert (is_real_op || DECL_P (var));
sym = (TREE_CODE (var) == SSA_NAME ? SSA_NAME_VAR (var) : var);
ann = var_ann (var);
if (!MTAG_P (var)
ann = var_ann (var);
if (!MTAG_P (var)
&& !bitmap_bit_p (visited, DECL_UID (var)))
{
&& !bitmap_bit_p (visited, DECL_UID (var)))
{
- error ("addressable variable that is an alias tag but is not in any alias set");
+ error ("addressable variable that is aliased but is not in any alias set");