The function returns the number of statements walked. */
static unsigned int
-walk_aliased_vdefs_1 (tree ref, tree vdef,
- bool (*walker)(tree, tree, void *), void *data,
+walk_aliased_vdefs_1 (ao_ref *ref, tree vdef,
+ bool (*walker)(ao_ref *, tree, void *), void *data,
bitmap *visited, unsigned int cnt)
{
do
/* ??? Do we want to account this to TV_ALIAS_STMT_WALK? */
cnt++;
if ((!ref
- || stmt_may_clobber_ref_p (def_stmt, ref))
+ || stmt_may_clobber_ref_p_1 (def_stmt, ref))
&& (*walker) (ref, vdef, data))
return cnt;
}
unsigned int
-walk_aliased_vdefs (tree ref, tree vdef,
- bool (*walker)(tree, tree, void *), void *data,
+walk_aliased_vdefs (ao_ref *ref, tree vdef,
+ bool (*walker)(ao_ref *, tree, void *), void *data,
bitmap *visited)
{
bitmap local_visited = NULL;
extern void *walk_non_aliased_vuses (ao_ref *, tree,
void *(*)(ao_ref *, tree, void *),
void *(*)(ao_ref *, tree, void *), void *);
-extern unsigned int walk_aliased_vdefs (tree, tree,
- bool (*)(tree, tree, void *), void *,
- bitmap *);
+extern unsigned int walk_aliased_vdefs (ao_ref *, tree,
+ bool (*)(ao_ref *, tree, void *),
+ void *, bitmap *);
extern struct ptr_info_def *get_ptr_info (tree);
extern void dump_alias_info (FILE *);
extern void debug_alias_info (void);
&& !may_be_aliased (ref));
}
-struct ref_data {
- tree base;
- HOST_WIDE_INT size;
- HOST_WIDE_INT offset;
- HOST_WIDE_INT max_size;
-};
-
static bitmap visited = NULL;
static unsigned int longest_chain = 0;
static unsigned int total_chain = 0;
anymore. DATA points to cached get_ref_base_and_extent data for REF. */
static bool
-mark_aliased_reaching_defs_necessary_1 (tree ref, tree vdef, void *data)
+mark_aliased_reaching_defs_necessary_1 (ao_ref *ref, tree vdef,
+ void *data ATTRIBUTE_UNUSED)
{
gimple def_stmt = SSA_NAME_DEF_STMT (vdef);
- struct ref_data *refd = (struct ref_data *)data;
/* All stmts we visit are necessary. */
mark_operand_necessary (vdef);
{
tree base, lhs = gimple_get_lhs (def_stmt);
HOST_WIDE_INT size, offset, max_size;
+ ao_ref_base (ref);
base = get_ref_base_and_extent (lhs, &offset, &size, &max_size);
/* We can get MEM[symbol: sZ, index: D.8862_1] here,
so base == refd->base does not always hold. */
- if (base == refd->base)
+ if (base == ref->base)
{
/* For a must-alias check we need to be able to constrain
the accesses properly. */
if (size != -1 && size == max_size
- && refd->max_size != -1)
+ && ref->max_size != -1)
{
- if (offset <= refd->offset
- && offset + size >= refd->offset + refd->max_size)
+ if (offset <= ref->offset
+ && offset + size >= ref->offset + ref->max_size)
return true;
}
/* Or they need to be exactly the same. */
- else if (operand_equal_p (ref, lhs, 0))
+ else if (ref->ref
+ && operand_equal_p (ref->ref, lhs, 0))
return true;
}
}
static void
mark_aliased_reaching_defs_necessary (gimple stmt, tree ref)
{
- struct ref_data refd;
unsigned int chain;
+ ao_ref refd;
gcc_assert (!chain_ovfl);
- refd.base = get_ref_base_and_extent (ref, &refd.offset, &refd.size,
- &refd.max_size);
- chain = walk_aliased_vdefs (ref, gimple_vuse (stmt),
+ ao_ref_init (&refd, ref);
+ chain = walk_aliased_vdefs (&refd, gimple_vuse (stmt),
mark_aliased_reaching_defs_necessary_1,
- &refd, NULL);
+ NULL, NULL);
if (chain > longest_chain)
longest_chain = chain;
total_chain += chain;
a non-aliased decl. */
static bool
-mark_all_reaching_defs_necessary_1 (tree ref ATTRIBUTE_UNUSED,
- tree vdef, void *data ATTRIBUTE_UNUSED)
+mark_all_reaching_defs_necessary_1 (ao_ref *ref ATTRIBUTE_UNUSED,
+ tree vdef, void *data ATTRIBUTE_UNUSED)
{
gimple def_stmt = SSA_NAME_DEF_STMT (vdef);