+2005-12-19 Zdenek Dvorak <dvorakz@suse.cz>
+
+ * tree-flow.h (struct stmt_ann_d): Remove
+ makes_aliased_loads and makes_aliased_stores fields.
+ * tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores
+ and makes_aliased_loads fields.
+ * tree-ssa-dom.c (eliminate_redundant_computations): Do not
+ use makes_aliased_stores.
+ * tree-ssa-operands.c (clobbered_aliased_loads,
+ clobbered_aliased_stores, ro_call_aliased_loads): Removed.
+ (build_ssa_operands, add_stmt_operand, add_call_clobber_ops,
+ add_call_read_ops): Do not set makes_aliased_stores and
+ makes_aliased_loads fields.
+ * tree-ssa.c (verify_ssa): Do not verify makes_aliased_stores
+ field.
+
2005-12-18 Geoffrey Keating <geoffk@apple.com>
* config/darwin.h: Don't include darwin-sections.def to declare
static VEC(tree,heap) *clobbered_v_may_defs;
static VEC(tree,heap) *clobbered_vuses;
static VEC(tree,heap) *ro_call_vuses;
-static bool clobbered_aliased_loads;
-static bool clobbered_aliased_stores;
-static bool ro_call_aliased_loads;
static bool ops_active = false;
static GTY (()) struct ssa_operand_memory_d *operand_memory = NULL;
{
stmt_ann_t ann = get_stmt_ann (stmt);
- /* Initially assume that the statement has no volatile operands, nor
- makes aliased loads or stores. */
+ /* Initially assume that the statement has no volatile operands. */
if (ann)
- {
- ann->has_volatile_ops = false;
- ann->makes_aliased_stores = false;
- ann->makes_aliased_loads = false;
- }
+ ann->has_volatile_ops = false;
start_ssa_stmt_operands ();
}
}
else
- {
- append_vuse (var);
- if (s_ann && v_ann->is_alias_tag)
- s_ann->makes_aliased_loads = 1;
- }
+ append_vuse (var);
}
else
{
for (i = 0; i < VARRAY_ACTIVE_SIZE (aliases); i++)
append_v_may_def (VARRAY_TREE (aliases, i));
-
- if (s_ann)
- s_ann->makes_aliased_stores = 1;
}
else
{
for (i = 0; i < VARRAY_ACTIVE_SIZE (aliases); i++)
append_vuse (VARRAY_TREE (aliases, i));
-
- if (s_ann)
- s_ann->makes_aliased_loads = 1;
}
}
}
var_ann (t)->in_v_may_def_list = 1;
VEC_safe_push (tree, heap, build_v_may_defs, (tree)t);
}
- if (s_ann)
- {
- s_ann->makes_aliased_loads = clobbered_aliased_loads;
- s_ann->makes_aliased_stores = clobbered_aliased_stores;
- }
return;
}
if ((!not_read_b || bitmap_empty_p (not_read_b))
&& (!not_written_b || bitmap_empty_p (not_written_b)))
{
- clobbered_aliased_loads = empty_ann.makes_aliased_loads;
- clobbered_aliased_stores = empty_ann.makes_aliased_stores;
-
- /* Set the flags for a stmt's annotation. */
- if (s_ann)
- {
- s_ann->makes_aliased_loads = empty_ann.makes_aliased_loads;
- s_ann->makes_aliased_stores = empty_ann.makes_aliased_stores;
- }
-
/* Prepare empty cache vectors. */
VEC_truncate (tree, clobbered_vuses, 0);
VEC_truncate (tree, clobbered_v_may_defs, 0);
var_ann (t)->in_vuse_list = 1;
VEC_safe_push (tree, heap, build_vuses, (tree)t);
}
- if (s_ann)
- s_ann->makes_aliased_loads = ro_call_aliased_loads;
return;
}
add_stmt_operand (&var, &empty_ann, opf_none | opf_non_specific);
}
- ro_call_aliased_loads = empty_ann.makes_aliased_loads;
- if (s_ann)
- s_ann->makes_aliased_loads = empty_ann.makes_aliased_loads;
-
/* Prepare empty cache vectors. */
VEC_truncate (tree, ro_call_vuses, 0);