tree-ssa-operands.c [plain text]
#include "config.h"
#include "system.h"
#include "coretypes.h"
#include "tm.h"
#include "tree.h"
#include "flags.h"
#include "function.h"
#include "diagnostic.h"
#include "tree-flow.h"
#include "tree-inline.h"
#include "tree-pass.h"
#include "ggc.h"
#include "timevar.h"
#include "toplev.h"
#include "langhooks.h"
#include "ipa-reference.h"
#define opf_none 0
#define opf_is_def (1 << 0)
#define opf_kill_def (1 << 1)
#define opf_no_vops (1 << 2)
#define opf_non_specific (1 << 3)
static VEC(tree,heap) *build_defs;
static VEC(tree,heap) *build_uses;
static VEC(tree,heap) *build_v_may_defs;
static VEC(tree,heap) *build_vuses;
static VEC(tree,heap) *build_v_must_defs;
static bool ops_active = false;
static GTY (()) struct ssa_operand_memory_d *operand_memory = NULL;
static unsigned operand_memory_index;
static void get_expr_operands (tree, tree *, int);
static def_optype_p free_defs = NULL;
static use_optype_p free_uses = NULL;
static vuse_optype_p free_vuses = NULL;
static maydef_optype_p free_maydefs = NULL;
static mustdef_optype_p free_mustdefs = NULL;
#define ALLOC_OPTYPE(OP, TYPE) \
do \
{ \
TYPE##_optype_p ret = free_##TYPE##s; \
if (ret) \
free_##TYPE##s = ret->next; \
else \
ret = ssa_operand_alloc (sizeof (*ret)); \
(OP) = ret; \
} while (0)
static inline unsigned
get_name_decl (tree t)
{
if (TREE_CODE (t) != SSA_NAME)
return DECL_UID (t);
else
return DECL_UID (SSA_NAME_VAR (t));
}
static int
operand_build_cmp (const void *p, const void *q)
{
tree e1 = *((const tree *)p);
tree e2 = *((const tree *)q);
unsigned int u1,u2;
u1 = get_name_decl (e1);
u2 = get_name_decl (e2);
#ifdef ENABLE_CHECKING
gcc_assert (u1 != u2);
#endif
return (u1 > u2 ? 1 : -1);
}
static inline void
operand_build_sort_virtual (VEC(tree,heap) *list)
{
int num = VEC_length (tree, list);
if (num < 2)
return;
if (num == 2)
{
if (get_name_decl (VEC_index (tree, list, 0))
> get_name_decl (VEC_index (tree, list, 1)))
{
tree tmp = VEC_index (tree, list, 0);
VEC_replace (tree, list, 0, VEC_index (tree, list, 1));
VEC_replace (tree, list, 1, tmp);
}
return;
}
qsort (VEC_address (tree, list),
VEC_length (tree, list),
sizeof (tree),
operand_build_cmp);
}
bool
ssa_operands_active (void)
{
return ops_active;
}
static struct
{
unsigned int clobbered_vars;
unsigned int static_write_clobbers_avoided;
unsigned int static_read_clobbers_avoided;
unsigned int unescapable_clobbers_avoided;
unsigned int readonly_clobbers;
unsigned int static_readonly_clobbers_avoided;
} clobber_stats;
void
init_ssa_operands (void)
{
build_defs = VEC_alloc (tree, heap, 5);
build_uses = VEC_alloc (tree, heap, 10);
build_vuses = VEC_alloc (tree, heap, 25);
build_v_may_defs = VEC_alloc (tree, heap, 25);
build_v_must_defs = VEC_alloc (tree, heap, 25);
gcc_assert (operand_memory == NULL);
operand_memory_index = SSA_OPERAND_MEMORY_SIZE;
ops_active = true;
memset (&clobber_stats, 0, sizeof (clobber_stats));
}
void
fini_ssa_operands (void)
{
struct ssa_operand_memory_d *ptr;
VEC_free (tree, heap, build_defs);
VEC_free (tree, heap, build_uses);
VEC_free (tree, heap, build_v_must_defs);
VEC_free (tree, heap, build_v_may_defs);
VEC_free (tree, heap, build_vuses);
free_defs = NULL;
free_uses = NULL;
free_vuses = NULL;
free_maydefs = NULL;
free_mustdefs = NULL;
while ((ptr = operand_memory) != NULL)
{
operand_memory = operand_memory->next;
ggc_free (ptr);
}
ops_active = false;
if (dump_file && (dump_flags & TDF_STATS))
{
fprintf (dump_file, "Original clobbered vars:%d\n",
clobber_stats.clobbered_vars);
fprintf (dump_file, "Static write clobbers avoided:%d\n",
clobber_stats.static_write_clobbers_avoided);
fprintf (dump_file, "Static read clobbers avoided:%d\n",
clobber_stats.static_read_clobbers_avoided);
fprintf (dump_file, "Unescapable clobbers avoided:%d\n",
clobber_stats.unescapable_clobbers_avoided);
fprintf (dump_file, "Original read-only clobbers:%d\n",
clobber_stats.readonly_clobbers);
fprintf (dump_file, "Static read-only clobbers avoided:%d\n",
clobber_stats.static_readonly_clobbers_avoided);
}
}
static inline void *
ssa_operand_alloc (unsigned size)
{
char *ptr;
if (operand_memory_index + size >= SSA_OPERAND_MEMORY_SIZE)
{
struct ssa_operand_memory_d *ptr;
ptr = GGC_NEW (struct ssa_operand_memory_d);
ptr->next = operand_memory;
operand_memory = ptr;
operand_memory_index = 0;
}
ptr = &(operand_memory->mem[operand_memory_index]);
operand_memory_index += size;
return ptr;
}
static inline void
set_virtual_use_link (use_operand_p ptr, tree stmt)
{
if (ptr->stmt != stmt)
ptr->stmt = stmt;
if (!ptr->prev)
link_imm_use (ptr, *(ptr->use));
}
#define APPEND_OP_AFTER(ELT, TO) \
do \
{ \
(TO)->next = (ELT); \
(TO) = (ELT); \
} while (0)
#define MOVE_HEAD_AFTER(FROM, TO) \
do \
{ \
APPEND_OP_AFTER (FROM, TO); \
(FROM) = (FROM)->next; \
} while (0)
#define MOVE_HEAD_TO_FREELIST(OP, TYPE) \
do \
{ \
TYPE##_optype_p next = (OP)->next; \
(OP)->next = free_##TYPE##s; \
free_##TYPE##s = (OP); \
(OP) = next; \
} while (0)
#define INITIALIZE_USE(USE_PTR, VAL, STMT) \
do \
{ \
(USE_PTR)->use = (VAL); \
link_imm_use_stmt ((USE_PTR), *(VAL), (STMT)); \
} while (0)
static inline void
add_def_op (tree *op, def_optype_p *last)
{
def_optype_p new;
ALLOC_OPTYPE (new, def);
DEF_OP_PTR (new) = op;
APPEND_OP_AFTER (new, *last);
}
static inline void
add_use_op (tree stmt, tree *op, use_optype_p *last)
{
use_optype_p new;
ALLOC_OPTYPE (new, use);
INITIALIZE_USE (USE_OP_PTR (new), op, stmt);
APPEND_OP_AFTER (new, *last);
}
static inline void
add_vuse_op (tree stmt, tree op, vuse_optype_p *last)
{
vuse_optype_p new;
ALLOC_OPTYPE (new, vuse);
VUSE_OP (new) = op;
INITIALIZE_USE (VUSE_OP_PTR (new), &VUSE_OP (new), stmt);
APPEND_OP_AFTER (new, *last);
}
static inline void
add_maydef_op (tree stmt, tree op, maydef_optype_p *last)
{
maydef_optype_p new;
ALLOC_OPTYPE (new, maydef);
MAYDEF_RESULT (new) = op;
MAYDEF_OP (new) = op;
INITIALIZE_USE (MAYDEF_OP_PTR (new), &MAYDEF_OP (new), stmt);
APPEND_OP_AFTER (new, *last);
}
static inline void
add_mustdef_op (tree stmt, tree op, mustdef_optype_p *last)
{
mustdef_optype_p new;
ALLOC_OPTYPE (new, mustdef);
MUSTDEF_RESULT (new) = op;
MUSTDEF_KILL (new) = op;
INITIALIZE_USE (MUSTDEF_KILL_PTR (new), &MUSTDEF_KILL (new), stmt);
APPEND_OP_AFTER (new, *last);
}
static inline void
finalize_ssa_def_ops (tree stmt)
{
unsigned new_i;
struct def_optype_d new_list;
def_optype_p old_ops, last;
tree *old_base;
new_list.next = NULL;
last = &new_list;
old_ops = DEF_OPS (stmt);
new_i = 0;
while (old_ops && new_i < VEC_length (tree, build_defs))
{
tree *new_base = (tree *) VEC_index (tree, build_defs, new_i);
old_base = DEF_OP_PTR (old_ops);
if (old_base == new_base)
{
MOVE_HEAD_AFTER (old_ops, last);
new_i++;
}
else if (old_base < new_base)
{
MOVE_HEAD_TO_FREELIST (old_ops, def);
}
else
{
add_def_op (new_base, &last);
new_i++;
}
}
for ( ; new_i < VEC_length (tree, build_defs); new_i++)
add_def_op ((tree *) VEC_index (tree, build_defs, new_i), &last);
last->next = NULL;
if (old_ops)
{
old_ops->next = free_defs;
free_defs = old_ops;
}
DEF_OPS (stmt) = new_list.next;
#ifdef ENABLE_CHECKING
{
def_optype_p ptr;
unsigned x = 0;
for (ptr = DEF_OPS (stmt); ptr; ptr = ptr->next)
x++;
gcc_assert (x == VEC_length (tree, build_defs));
}
#endif
}
static void
finalize_ssa_defs (tree stmt)
{
unsigned int num = VEC_length (tree, build_defs);
gcc_assert ((stmt && TREE_CODE (stmt) != MODIFY_EXPR) || num <= 1);
finalize_ssa_def_ops (stmt);
VEC_truncate (tree, build_defs, 0);
}
static inline void
finalize_ssa_use_ops (tree stmt)
{
unsigned new_i;
struct use_optype_d new_list;
use_optype_p old_ops, ptr, last;
new_list.next = NULL;
last = &new_list;
old_ops = USE_OPS (stmt);
if (old_ops)
{
for (ptr = old_ops; ptr; ptr = ptr->next)
delink_imm_use (USE_OP_PTR (ptr));
old_ops->next = free_uses;
free_uses = old_ops;
}
for (new_i = 0; new_i < VEC_length (tree, build_uses); new_i++)
add_use_op (stmt, (tree *) VEC_index (tree, build_uses, new_i), &last);
last->next = NULL;
USE_OPS (stmt) = new_list.next;
#ifdef ENABLE_CHECKING
{
unsigned x = 0;
for (ptr = USE_OPS (stmt); ptr; ptr = ptr->next)
x++;
gcc_assert (x == VEC_length (tree, build_uses));
}
#endif
}
static void
finalize_ssa_uses (tree stmt)
{
#ifdef ENABLE_CHECKING
{
unsigned x;
unsigned num = VEC_length (tree, build_uses);
for (x = 0; x < num; x++)
gcc_assert (*((tree *)VEC_index (tree, build_uses, x)) != stmt);
}
#endif
finalize_ssa_use_ops (stmt);
VEC_truncate (tree, build_uses, 0);
}
static inline void
finalize_ssa_v_may_def_ops (tree stmt)
{
unsigned new_i;
struct maydef_optype_d new_list;
maydef_optype_p old_ops, ptr, last;
tree act;
unsigned old_base, new_base;
new_list.next = NULL;
last = &new_list;
old_ops = MAYDEF_OPS (stmt);
new_i = 0;
while (old_ops && new_i < VEC_length (tree, build_v_may_defs))
{
act = VEC_index (tree, build_v_may_defs, new_i);
new_base = get_name_decl (act);
old_base = get_name_decl (MAYDEF_OP (old_ops));
if (old_base == new_base)
{
MOVE_HEAD_AFTER (old_ops, last);
set_virtual_use_link (MAYDEF_OP_PTR (last), stmt);
new_i++;
}
else if (old_base < new_base)
{
delink_imm_use (MAYDEF_OP_PTR (old_ops));
MOVE_HEAD_TO_FREELIST (old_ops, maydef);
}
else
{
add_maydef_op (stmt, act, &last);
new_i++;
}
}
for ( ; new_i < VEC_length (tree, build_v_may_defs); new_i++)
add_maydef_op (stmt, VEC_index (tree, build_v_may_defs, new_i), &last);
last->next = NULL;
if (old_ops)
{
for (ptr = old_ops; ptr; ptr = ptr->next)
delink_imm_use (MAYDEF_OP_PTR (ptr));
old_ops->next = free_maydefs;
free_maydefs = old_ops;
}
MAYDEF_OPS (stmt) = new_list.next;
#ifdef ENABLE_CHECKING
{
unsigned x = 0;
for (ptr = MAYDEF_OPS (stmt); ptr; ptr = ptr->next)
x++;
gcc_assert (x == VEC_length (tree, build_v_may_defs));
}
#endif
}
static void
finalize_ssa_v_may_defs (tree stmt)
{
finalize_ssa_v_may_def_ops (stmt);
}
static inline void
cleanup_v_may_defs (void)
{
unsigned x, num;
num = VEC_length (tree, build_v_may_defs);
for (x = 0; x < num; x++)
{
tree t = VEC_index (tree, build_v_may_defs, x);
if (TREE_CODE (t) != SSA_NAME)
{
var_ann_t ann = var_ann (t);
ann->in_v_may_def_list = 0;
}
}
VEC_truncate (tree, build_v_may_defs, 0);
}
static inline void
finalize_ssa_vuse_ops (tree stmt)
{
unsigned new_i;
struct vuse_optype_d new_list;
vuse_optype_p old_ops, ptr, last;
tree act;
unsigned old_base, new_base;
new_list.next = NULL;
last = &new_list;
old_ops = VUSE_OPS (stmt);
new_i = 0;
while (old_ops && new_i < VEC_length (tree, build_vuses))
{
act = VEC_index (tree, build_vuses, new_i);
new_base = get_name_decl (act);
old_base = get_name_decl (VUSE_OP (old_ops));
if (old_base == new_base)
{
MOVE_HEAD_AFTER (old_ops, last);
set_virtual_use_link (VUSE_OP_PTR (last), stmt);
new_i++;
}
else if (old_base < new_base)
{
delink_imm_use (USE_OP_PTR (old_ops));
MOVE_HEAD_TO_FREELIST (old_ops, vuse);
}
else
{
add_vuse_op (stmt, act, &last);
new_i++;
}
}
for ( ; new_i < VEC_length (tree, build_vuses); new_i++)
add_vuse_op (stmt, VEC_index (tree, build_vuses, new_i), &last);
last->next = NULL;
if (old_ops)
{
for (ptr = old_ops; ptr; ptr = ptr->next)
delink_imm_use (VUSE_OP_PTR (ptr));
old_ops->next = free_vuses;
free_vuses = old_ops;
}
VUSE_OPS (stmt) = new_list.next;
#ifdef ENABLE_CHECKING
{
unsigned x = 0;
for (ptr = VUSE_OPS (stmt); ptr; ptr = ptr->next)
x++;
gcc_assert (x == VEC_length (tree, build_vuses));
}
#endif
}
static void
finalize_ssa_vuses (tree stmt)
{
unsigned num, num_v_may_defs;
unsigned vuse_index;
num = VEC_length (tree, build_vuses);
num_v_may_defs = VEC_length (tree, build_v_may_defs);
if (num > 0 && num_v_may_defs > 0)
{
for (vuse_index = 0; vuse_index < VEC_length (tree, build_vuses); )
{
tree vuse;
vuse = VEC_index (tree, build_vuses, vuse_index);
if (TREE_CODE (vuse) != SSA_NAME)
{
var_ann_t ann = var_ann (vuse);
ann->in_vuse_list = 0;
if (ann->in_v_may_def_list)
{
VEC_ordered_remove (tree, build_vuses, vuse_index);
continue;
}
}
vuse_index++;
}
}
else
{
for (vuse_index = 0;
vuse_index < VEC_length (tree, build_vuses);
vuse_index++)
{
tree t = VEC_index (tree, build_vuses, vuse_index);
if (TREE_CODE (t) != SSA_NAME)
{
var_ann_t ann = var_ann (t);
ann->in_vuse_list = 0;
}
}
}
finalize_ssa_vuse_ops (stmt);
cleanup_v_may_defs ();
VEC_truncate (tree, build_vuses, 0);
}
static inline void
finalize_ssa_v_must_def_ops (tree stmt)
{
unsigned new_i;
struct mustdef_optype_d new_list;
mustdef_optype_p old_ops, ptr, last;
tree act;
unsigned old_base, new_base;
new_list.next = NULL;
last = &new_list;
old_ops = MUSTDEF_OPS (stmt);
new_i = 0;
while (old_ops && new_i < VEC_length (tree, build_v_must_defs))
{
act = VEC_index (tree, build_v_must_defs, new_i);
new_base = get_name_decl (act);
old_base = get_name_decl (MUSTDEF_KILL (old_ops));
if (old_base == new_base)
{
MOVE_HEAD_AFTER (old_ops, last);
set_virtual_use_link (MUSTDEF_KILL_PTR (last), stmt);
new_i++;
}
else if (old_base < new_base)
{
delink_imm_use (MUSTDEF_KILL_PTR (old_ops));
MOVE_HEAD_TO_FREELIST (old_ops, mustdef);
}
else
{
add_mustdef_op (stmt, act, &last);
new_i++;
}
}
for ( ; new_i < VEC_length (tree, build_v_must_defs); new_i++)
add_mustdef_op (stmt, VEC_index (tree, build_v_must_defs, new_i), &last);
last->next = NULL;
if (old_ops)
{
for (ptr = old_ops; ptr; ptr = ptr->next)
delink_imm_use (MUSTDEF_KILL_PTR (ptr));
old_ops->next = free_mustdefs;
free_mustdefs = old_ops;
}
MUSTDEF_OPS (stmt) = new_list.next;
#ifdef ENABLE_CHECKING
{
unsigned x = 0;
for (ptr = MUSTDEF_OPS (stmt); ptr; ptr = ptr->next)
x++;
gcc_assert (x == VEC_length (tree, build_v_must_defs));
}
#endif
}
static void
finalize_ssa_v_must_defs (tree stmt)
{
finalize_ssa_v_must_def_ops (stmt);
VEC_truncate (tree, build_v_must_defs, 0);
}
static inline void
finalize_ssa_stmt_operands (tree stmt)
{
finalize_ssa_defs (stmt);
finalize_ssa_uses (stmt);
finalize_ssa_v_must_defs (stmt);
finalize_ssa_v_may_defs (stmt);
finalize_ssa_vuses (stmt);
}
static inline void
start_ssa_stmt_operands (void)
{
gcc_assert (VEC_length (tree, build_defs) == 0);
gcc_assert (VEC_length (tree, build_uses) == 0);
gcc_assert (VEC_length (tree, build_vuses) == 0);
gcc_assert (VEC_length (tree, build_v_may_defs) == 0);
gcc_assert (VEC_length (tree, build_v_must_defs) == 0);
}
static inline void
append_def (tree *def_p)
{
VEC_safe_push (tree, heap, build_defs, (tree)def_p);
}
static inline void
append_use (tree *use_p)
{
VEC_safe_push (tree, heap, build_uses, (tree)use_p);
}
static inline void
append_v_may_def (tree var)
{
if (TREE_CODE (var) != SSA_NAME)
{
var_ann_t ann = get_var_ann (var);
if (ann->in_v_may_def_list)
return;
ann->in_v_may_def_list = 1;
}
VEC_safe_push (tree, heap, build_v_may_defs, (tree)var);
}
static inline void
append_vuse (tree var)
{
if (TREE_CODE (var) != SSA_NAME)
{
var_ann_t ann = get_var_ann (var);
if (ann->in_vuse_list || ann->in_v_may_def_list)
return;
ann->in_vuse_list = 1;
}
VEC_safe_push (tree, heap, build_vuses, (tree)var);
}
static inline void
append_v_must_def (tree var)
{
unsigned i;
for (i = 0; i < VEC_length (tree, build_v_must_defs); i++)
if (var == VEC_index (tree, build_v_must_defs, i))
return;
VEC_safe_push (tree, heap, build_v_must_defs, (tree)var);
}
static bool
access_can_touch_variable (tree ref, tree alias, HOST_WIDE_INT offset,
HOST_WIDE_INT size)
{
bool offsetgtz = offset > 0;
unsigned HOST_WIDE_INT uoffset = (unsigned HOST_WIDE_INT) offset;
tree base = ref ? get_base_address (ref) : NULL;
if (alias == global_var)
return true;
if (alias == nonlocal_all)
return true;
if (size != -1
&& TREE_CODE (alias) == STRUCT_FIELD_TAG
&& base
&& TREE_TYPE (base) == TREE_TYPE (SFT_PARENT_VAR (alias))
&& !overlap_subvar (offset, size, alias, NULL))
{
#ifdef ACCESS_DEBUGGING
fprintf (stderr, "Access to ");
print_generic_expr (stderr, ref, 0);
fprintf (stderr, " may not touch ");
print_generic_expr (stderr, alias, 0);
fprintf (stderr, " in function %s\n", get_name (current_function_decl));
#endif
return false;
}
else if (ref
&& flag_strict_aliasing
&& TREE_CODE (ref) != INDIRECT_REF
&& !MTAG_P (alias)
&& (TREE_CODE (base) != INDIRECT_REF
|| TREE_CODE (TREE_TYPE (base)) != UNION_TYPE)
&& !AGGREGATE_TYPE_P (TREE_TYPE (alias))
&& TREE_CODE (TREE_TYPE (alias)) != COMPLEX_TYPE
&& !POINTER_TYPE_P (TREE_TYPE (alias))
&& get_alias_set (base))
{
#ifdef ACCESS_DEBUGGING
fprintf (stderr, "Access to ");
print_generic_expr (stderr, ref, 0);
fprintf (stderr, " may not touch ");
print_generic_expr (stderr, alias, 0);
fprintf (stderr, " in function %s\n", get_name (current_function_decl));
#endif
return false;
}
else if (ref
&& flag_strict_aliasing
&& TREE_CODE (ref) != INDIRECT_REF
&& !MTAG_P (alias)
&& !POINTER_TYPE_P (TREE_TYPE (alias))
&& offsetgtz
&& DECL_SIZE (alias)
&& TREE_CODE (DECL_SIZE (alias)) == INTEGER_CST
&& uoffset > TREE_INT_CST_LOW (DECL_SIZE (alias)))
{
#ifdef ACCESS_DEBUGGING
fprintf (stderr, "Access to ");
print_generic_expr (stderr, ref, 0);
fprintf (stderr, " may not touch ");
print_generic_expr (stderr, alias, 0);
fprintf (stderr, " in function %s\n", get_name (current_function_decl));
#endif
return false;
}
return true;
}
static void
add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
tree full_ref, HOST_WIDE_INT offset,
HOST_WIDE_INT size, bool for_clobber)
{
VEC(tree,gc) *aliases;
tree sym;
var_ann_t v_ann;
sym = (TREE_CODE (var) == SSA_NAME ? SSA_NAME_VAR (var) : var);
v_ann = var_ann (sym);
if (TREE_THIS_VOLATILE (sym) && s_ann)
s_ann->has_volatile_ops = true;
if ((flags & opf_non_specific) && unmodifiable_var_p (var))
flags &= ~(opf_is_def | opf_kill_def);
if (flags & opf_no_vops)
return;
aliases = v_ann->may_aliases;
if (aliases == NULL)
{
if (flags & opf_is_def)
{
if (flags & opf_kill_def)
{
gcc_assert (!MTAG_P (var)
|| TREE_CODE (var) == STRUCT_FIELD_TAG);
append_v_must_def (var);
}
else
{
append_v_may_def (var);
}
}
else
append_vuse (var);
}
else
{
unsigned i;
tree al;
gcc_assert (VEC_length (tree, aliases) != 0);
if (flags & opf_is_def)
{
bool none_added = true;
for (i = 0; VEC_iterate (tree, aliases, i, al); i++)
{
if (!access_can_touch_variable (full_ref, al, offset, size))
continue;
none_added = false;
append_v_may_def (al);
}
if (v_ann->is_aliased
|| none_added
|| (TREE_CODE (var) == SYMBOL_MEMORY_TAG
&& for_clobber
&& SMT_USED_ALONE (var)))
{
#ifdef ACCESS_DEBUGGING
if (none_added
&& !updating_used_alone && aliases_computed_p
&& TREE_CODE (var) == SYMBOL_MEMORY_TAG)
gcc_assert (SMT_USED_ALONE (var));
#endif
append_v_may_def (var);
}
}
else
{
bool none_added = true;
for (i = 0; VEC_iterate (tree, aliases, i, al); i++)
{
if (!access_can_touch_variable (full_ref, al, offset, size))
continue;
none_added = false;
append_vuse (al);
}
if (v_ann->is_aliased || none_added)
append_vuse (var);
}
}
}
static void
add_stmt_operand (tree *var_p, stmt_ann_t s_ann, int flags)
{
bool is_real_op;
tree var, sym;
var_ann_t v_ann;
var = *var_p;
gcc_assert (SSA_VAR_P (var));
is_real_op = is_gimple_reg (var);
gcc_assert (is_real_op || DECL_P (var));
sym = (TREE_CODE (var) == SSA_NAME ? SSA_NAME_VAR (var) : var);
v_ann = var_ann (sym);
if (TREE_THIS_VOLATILE (sym) && s_ann)
s_ann->has_volatile_ops = true;
if (is_real_op)
{
if (flags & opf_is_def)
append_def (var_p);
else
append_use (var_p);
}
else
add_virtual_operand (var, s_ann, flags, NULL_TREE, 0, -1, false);
}
static void
get_indirect_ref_operands (tree stmt, tree expr, int flags,
tree full_ref,
HOST_WIDE_INT offset, HOST_WIDE_INT size,
bool recurse_on_base)
{
tree *pptr = &TREE_OPERAND (expr, 0);
tree ptr = *pptr;
stmt_ann_t s_ann = stmt_ann (stmt);
flags &= ~opf_kill_def;
if (SSA_VAR_P (ptr))
{
struct ptr_info_def *pi = NULL;
if (TREE_CODE (ptr) == SSA_NAME
&& (pi = SSA_NAME_PTR_INFO (ptr)) != NULL
&& pi->name_mem_tag)
{
add_virtual_operand (pi->name_mem_tag, s_ann, flags,
full_ref, offset, size, false);
}
else
{
var_ann_t v_ann;
if (dump_file
&& TREE_CODE (ptr) == SSA_NAME
&& pi == NULL)
{
fprintf (dump_file,
"NOTE: no flow-sensitive alias info for ");
print_generic_expr (dump_file, ptr, dump_flags);
fprintf (dump_file, " in ");
print_generic_stmt (dump_file, stmt, dump_flags);
}
if (TREE_CODE (ptr) == SSA_NAME)
ptr = SSA_NAME_VAR (ptr);
v_ann = var_ann (ptr);
if (v_ann->symbol_mem_tag)
add_virtual_operand (v_ann->symbol_mem_tag, s_ann, flags,
full_ref, offset, size, false);
}
}
else if (TREE_CODE (ptr) == INTEGER_CST)
{
if (s_ann)
s_ann->has_volatile_ops = true;
return;
}
else
{
gcc_unreachable ();
}
if (recurse_on_base)
get_expr_operands (stmt, pptr, opf_none);
}
static void
get_tmr_operands (tree stmt, tree expr, int flags)
{
tree tag = TMR_TAG (expr), ref;
HOST_WIDE_INT offset, size, maxsize;
subvar_t svars, sv;
stmt_ann_t s_ann = stmt_ann (stmt);
get_expr_operands (stmt, &TMR_BASE (expr), opf_none);
get_expr_operands (stmt, &TMR_INDEX (expr), opf_none);
flags &= ~opf_kill_def;
if (TMR_SYMBOL (expr))
{
stmt_ann_t ann = stmt_ann (stmt);
add_to_addressable_set (TMR_SYMBOL (expr), &ann->addresses_taken);
}
if (!tag)
{
stmt_ann (stmt)->has_volatile_ops = true;
return;
}
if (DECL_P (tag))
{
get_expr_operands (stmt, &tag, flags);
return;
}
ref = get_ref_base_and_extent (tag, &offset, &size, &maxsize);
gcc_assert (ref != NULL_TREE);
svars = get_subvars_for_var (ref);
for (sv = svars; sv; sv = sv->next)
{
bool exact;
if (overlap_subvar (offset, maxsize, sv->var, &exact))
{
int subvar_flags = flags;
if (!exact || size != maxsize)
subvar_flags &= ~opf_kill_def;
add_stmt_operand (&sv->var, s_ann, subvar_flags);
}
}
}
static void
add_call_clobber_ops (tree stmt, tree callee)
{
unsigned u;
bitmap_iterator bi;
stmt_ann_t s_ann = stmt_ann (stmt);
bitmap not_read_b, not_written_b;
if (s_ann)
s_ann->makes_clobbering_call = true;
if (global_var)
{
add_stmt_operand (&global_var, s_ann, opf_is_def);
return;
}
not_read_b = callee ? ipa_reference_get_not_read_global (callee) : NULL;
not_written_b = callee ? ipa_reference_get_not_written_global (callee) : NULL;
EXECUTE_IF_SET_IN_BITMAP (call_clobbered_vars, 0, u, bi)
{
tree var = referenced_var_lookup (u);
unsigned int escape_mask = var_ann (var)->escape_mask;
tree real_var = var;
bool not_read;
bool not_written;
if (TREE_CODE (var) == STRUCT_FIELD_TAG)
real_var = SFT_PARENT_VAR (var);
not_read = not_read_b ? bitmap_bit_p (not_read_b,
DECL_UID (real_var)) : false;
not_written = not_written_b ? bitmap_bit_p (not_written_b,
DECL_UID (real_var)) : false;
gcc_assert (!unmodifiable_var_p (var));
clobber_stats.clobbered_vars++;
if ((escape_mask & ~(ESCAPE_TO_PURE_CONST)) == 0)
{
tree call = get_call_expr_in (stmt);
if (call_expr_flags (call) & (ECF_CONST | ECF_PURE))
{
add_stmt_operand (&var, s_ann, opf_none);
clobber_stats.unescapable_clobbers_avoided++;
continue;
}
else
{
clobber_stats.unescapable_clobbers_avoided++;
continue;
}
}
if (not_written)
{
clobber_stats.static_write_clobbers_avoided++;
if (!not_read)
add_stmt_operand (&var, s_ann, opf_none);
else
clobber_stats.static_read_clobbers_avoided++;
}
else
add_virtual_operand (var, s_ann, opf_is_def, NULL, 0, -1, true);
}
}
static void
add_call_read_ops (tree stmt, tree callee)
{
unsigned u;
bitmap_iterator bi;
stmt_ann_t s_ann = stmt_ann (stmt);
bitmap not_read_b;
if (global_var)
{
add_stmt_operand (&global_var, s_ann, opf_none);
return;
}
not_read_b = callee ? ipa_reference_get_not_read_global (callee) : NULL;
EXECUTE_IF_SET_IN_BITMAP (call_clobbered_vars, 0, u, bi)
{
tree var = referenced_var (u);
tree real_var = var;
bool not_read;
clobber_stats.readonly_clobbers++;
if (TREE_CODE (var) == STRUCT_FIELD_TAG)
real_var = SFT_PARENT_VAR (var);
not_read = not_read_b ? bitmap_bit_p (not_read_b, DECL_UID (real_var))
: false;
if (not_read)
{
clobber_stats.static_readonly_clobbers_avoided++;
continue;
}
add_stmt_operand (&var, s_ann, opf_none | opf_non_specific);
}
}
static void
get_call_expr_operands (tree stmt, tree expr)
{
tree op;
int call_flags = call_expr_flags (expr);
if (aliases_computed_p
&& !bitmap_empty_p (call_clobbered_vars)
&& !(call_flags & ECF_NOVOPS))
{
if (TREE_SIDE_EFFECTS (expr)
&& !(call_flags & (ECF_PURE | ECF_CONST | ECF_NORETURN)))
add_call_clobber_ops (stmt, get_callee_fndecl (expr));
else if (!(call_flags & ECF_CONST))
add_call_read_ops (stmt, get_callee_fndecl (expr));
}
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), opf_none);
for (op = TREE_OPERAND (expr, 1); op; op = TREE_CHAIN (op))
get_expr_operands (stmt, &TREE_VALUE (op), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 2), opf_none);
}
static void
get_asm_expr_operands (tree stmt)
{
stmt_ann_t s_ann = stmt_ann (stmt);
int noutputs = list_length (ASM_OUTPUTS (stmt));
const char **oconstraints
= (const char **) alloca ((noutputs) * sizeof (const char *));
int i;
tree link;
const char *constraint;
bool allows_mem, allows_reg, is_inout;
for (i=0, link = ASM_OUTPUTS (stmt); link; ++i, link = TREE_CHAIN (link))
{
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (link)));
oconstraints[i] = constraint;
parse_output_constraint (&constraint, i, 0, 0, &allows_mem,
&allows_reg, &is_inout);
gcc_assert (!allows_reg || !is_inout);
if (!allows_reg && allows_mem)
{
tree t = get_base_address (TREE_VALUE (link));
if (t && DECL_P (t) && s_ann)
add_to_addressable_set (t, &s_ann->addresses_taken);
}
get_expr_operands (stmt, &TREE_VALUE (link), opf_is_def);
}
for (link = ASM_INPUTS (stmt); link; link = TREE_CHAIN (link))
{
constraint = TREE_STRING_POINTER (TREE_VALUE (TREE_PURPOSE (link)));
parse_input_constraint (&constraint, 0, 0, noutputs, 0,
oconstraints, &allows_mem, &allows_reg);
if (!allows_reg && allows_mem)
{
tree t = get_base_address (TREE_VALUE (link));
if (t && DECL_P (t) && s_ann)
add_to_addressable_set (t, &s_ann->addresses_taken);
}
get_expr_operands (stmt, &TREE_VALUE (link), 0);
}
for (link = ASM_CLOBBERS (stmt); link; link = TREE_CHAIN (link))
if (strcmp (TREE_STRING_POINTER (TREE_VALUE (link)), "memory") == 0)
{
unsigned i;
bitmap_iterator bi;
if (global_var)
add_stmt_operand (&global_var, s_ann, opf_is_def);
else
EXECUTE_IF_SET_IN_BITMAP (call_clobbered_vars, 0, i, bi)
{
tree var = referenced_var (i);
add_stmt_operand (&var, s_ann, opf_is_def | opf_non_specific);
}
EXECUTE_IF_SET_IN_BITMAP (addressable_vars, 0, i, bi)
{
tree var = referenced_var (i);
if (var_can_have_subvars (var)
&& get_subvars_for_var (var) != NULL)
continue;
add_stmt_operand (&var, s_ann, opf_is_def | opf_non_specific);
}
break;
}
}
static void
get_modify_expr_operands (tree stmt, tree expr)
{
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), opf_is_def|opf_kill_def);
}
static void
get_expr_operands (tree stmt, tree *expr_p, int flags)
{
enum tree_code code;
enum tree_code_class class;
tree expr = *expr_p;
stmt_ann_t s_ann = stmt_ann (stmt);
if (expr == NULL)
return;
code = TREE_CODE (expr);
class = TREE_CODE_CLASS (code);
switch (code)
{
case ADDR_EXPR:
add_to_addressable_set (TREE_OPERAND (expr, 0), &s_ann->addresses_taken);
if (is_gimple_min_invariant (expr))
return;
flags |= opf_no_vops;
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), flags);
return;
case SSA_NAME:
case STRUCT_FIELD_TAG:
case SYMBOL_MEMORY_TAG:
case NAME_MEMORY_TAG:
add_stmt_operand (expr_p, s_ann, flags);
return;
case VAR_DECL:
case PARM_DECL:
case RESULT_DECL:
{
subvar_t svars;
if (var_can_have_subvars (expr)
&& (svars = get_subvars_for_var (expr)))
{
subvar_t sv;
for (sv = svars; sv; sv = sv->next)
add_stmt_operand (&sv->var, s_ann, flags);
}
else
add_stmt_operand (expr_p, s_ann, flags);
return;
}
case MISALIGNED_INDIRECT_REF:
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), flags);
case ALIGN_INDIRECT_REF:
case INDIRECT_REF:
get_indirect_ref_operands (stmt, expr, flags, NULL_TREE, 0, -1, true);
return;
case TARGET_MEM_REF:
get_tmr_operands (stmt, expr, flags);
return;
case ARRAY_REF:
case ARRAY_RANGE_REF:
case COMPONENT_REF:
case REALPART_EXPR:
case IMAGPART_EXPR:
{
tree ref;
HOST_WIDE_INT offset, size, maxsize;
bool none = true;
ref = get_ref_base_and_extent (expr, &offset, &size, &maxsize);
if (SSA_VAR_P (ref) && get_subvars_for_var (ref))
{
subvar_t sv;
subvar_t svars = get_subvars_for_var (ref);
for (sv = svars; sv; sv = sv->next)
{
bool exact;
if (overlap_subvar (offset, maxsize, sv->var, &exact))
{
int subvar_flags = flags;
none = false;
if (!exact || size != maxsize)
subvar_flags &= ~opf_kill_def;
add_stmt_operand (&sv->var, s_ann, subvar_flags);
}
}
if (!none)
flags |= opf_no_vops;
}
else if (TREE_CODE (ref) == INDIRECT_REF)
{
get_indirect_ref_operands (stmt, ref, flags, expr, offset,
maxsize, false);
flags |= opf_no_vops;
}
get_expr_operands (stmt, &TREE_OPERAND (expr, 0),
flags & ~opf_kill_def);
if (code == COMPONENT_REF)
{
if (s_ann && TREE_THIS_VOLATILE (TREE_OPERAND (expr, 1)))
s_ann->has_volatile_ops = true;
get_expr_operands (stmt, &TREE_OPERAND (expr, 2), opf_none);
}
else if (code == ARRAY_REF || code == ARRAY_RANGE_REF)
{
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 2), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 3), opf_none);
}
return;
}
case WITH_SIZE_EXPR:
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), flags);
return;
case CALL_EXPR:
get_call_expr_operands (stmt, expr);
return;
case COND_EXPR:
case VEC_COND_EXPR:
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), opf_none);
get_expr_operands (stmt, &TREE_OPERAND (expr, 2), opf_none);
return;
case MODIFY_EXPR:
get_modify_expr_operands (stmt, expr);
return;
case CONSTRUCTOR:
{
constructor_elt *ce;
unsigned HOST_WIDE_INT idx;
for (idx = 0;
VEC_iterate (constructor_elt, CONSTRUCTOR_ELTS (expr), idx, ce);
idx++)
get_expr_operands (stmt, &ce->value, opf_none);
return;
}
case BIT_FIELD_REF:
flags &= ~opf_kill_def;
case TRUTH_NOT_EXPR:
case VIEW_CONVERT_EXPR:
do_unary:
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), flags);
return;
case TRUTH_AND_EXPR:
case TRUTH_OR_EXPR:
case TRUTH_XOR_EXPR:
case COMPOUND_EXPR:
case OBJ_TYPE_REF:
case ASSERT_EXPR:
do_binary:
{
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), flags);
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), flags);
return;
}
case DOT_PROD_EXPR:
case REALIGN_LOAD_EXPR:
{
get_expr_operands (stmt, &TREE_OPERAND (expr, 0), flags);
get_expr_operands (stmt, &TREE_OPERAND (expr, 1), flags);
get_expr_operands (stmt, &TREE_OPERAND (expr, 2), flags);
return;
}
case BLOCK:
case FUNCTION_DECL:
case EXC_PTR_EXPR:
case FILTER_EXPR:
case LABEL_DECL:
case CONST_DECL:
case OMP_PARALLEL:
case OMP_SECTIONS:
case OMP_FOR:
case OMP_SINGLE:
case OMP_MASTER:
case OMP_ORDERED:
case OMP_CRITICAL:
case OMP_RETURN:
case OMP_CONTINUE:
return;
default:
if (class == tcc_unary)
goto do_unary;
if (class == tcc_binary || class == tcc_comparison)
goto do_binary;
if (class == tcc_constant || class == tcc_type)
return;
}
#ifdef ENABLE_CHECKING
fprintf (stderr, "unhandled expression in get_expr_operands():\n");
debug_tree (expr);
fputs ("\n", stderr);
#endif
gcc_unreachable ();
}
static void
parse_ssa_operands (tree stmt)
{
enum tree_code code;
code = TREE_CODE (stmt);
switch (code)
{
case MODIFY_EXPR:
get_modify_expr_operands (stmt, stmt);
break;
case COND_EXPR:
get_expr_operands (stmt, &COND_EXPR_COND (stmt), opf_none);
break;
case SWITCH_EXPR:
get_expr_operands (stmt, &SWITCH_COND (stmt), opf_none);
break;
case ASM_EXPR:
get_asm_expr_operands (stmt);
break;
case RETURN_EXPR:
get_expr_operands (stmt, &TREE_OPERAND (stmt, 0), opf_none);
break;
case GOTO_EXPR:
get_expr_operands (stmt, &GOTO_DESTINATION (stmt), opf_none);
break;
case LABEL_EXPR:
get_expr_operands (stmt, &LABEL_EXPR_LABEL (stmt), opf_none);
break;
case BIND_EXPR:
case CASE_LABEL_EXPR:
case TRY_CATCH_EXPR:
case TRY_FINALLY_EXPR:
case EH_FILTER_EXPR:
case CATCH_EXPR:
case RESX_EXPR:
break;
default:
get_expr_operands (stmt, &stmt, opf_none);
break;
}
}
static void
build_ssa_operands (tree stmt)
{
stmt_ann_t ann = get_stmt_ann (stmt);
if (ann)
{
ann->has_volatile_ops = false;
if (ann->addresses_taken)
ann->addresses_taken = NULL;
}
start_ssa_stmt_operands ();
parse_ssa_operands (stmt);
operand_build_sort_virtual (build_vuses);
operand_build_sort_virtual (build_v_may_defs);
operand_build_sort_virtual (build_v_must_defs);
finalize_ssa_stmt_operands (stmt);
}
void
free_ssa_operands (stmt_operands_p ops)
{
ops->def_ops = NULL;
ops->use_ops = NULL;
ops->maydef_ops = NULL;
ops->mustdef_ops = NULL;
ops->vuse_ops = NULL;
}
void
update_stmt_operands (tree stmt)
{
stmt_ann_t ann = get_stmt_ann (stmt);
if (!ssa_operands_active ())
return;
gcc_assert (!SSA_VAR_P (stmt));
gcc_assert (ann->modified);
timevar_push (TV_TREE_OPS);
build_ssa_operands (stmt);
ann->modified = 0;
timevar_pop (TV_TREE_OPS);
}
void
copy_virtual_operands (tree dest, tree src)
{
tree t;
ssa_op_iter iter, old_iter;
use_operand_p use_p, u2;
def_operand_p def_p, d2;
build_ssa_operands (dest);
FOR_EACH_SSA_TREE_OPERAND (t, src, iter, SSA_OP_VUSE)
append_vuse (t);
FOR_EACH_SSA_TREE_OPERAND (t, src, iter, SSA_OP_VMAYDEF)
append_v_may_def (t);
FOR_EACH_SSA_TREE_OPERAND (t, src, iter, SSA_OP_VMUSTDEF)
append_v_must_def (t);
if (VEC_length (tree, build_vuses) == 0
&& VEC_length (tree, build_v_may_defs) == 0
&& VEC_length (tree, build_v_must_defs) == 0)
return;
finalize_ssa_v_must_defs (dest);
finalize_ssa_v_may_defs (dest);
finalize_ssa_vuses (dest);
t = op_iter_init_tree (&old_iter, src, SSA_OP_VUSE);
FOR_EACH_SSA_USE_OPERAND (use_p, dest, iter, SSA_OP_VUSE)
{
gcc_assert (!op_iter_done (&old_iter));
SET_USE (use_p, t);
t = op_iter_next_tree (&old_iter);
}
gcc_assert (op_iter_done (&old_iter));
op_iter_init_maydef (&old_iter, src, &u2, &d2);
FOR_EACH_SSA_MAYDEF_OPERAND (def_p, use_p, dest, iter)
{
gcc_assert (!op_iter_done (&old_iter));
SET_USE (use_p, USE_FROM_PTR (u2));
SET_DEF (def_p, DEF_FROM_PTR (d2));
op_iter_next_maymustdef (&u2, &d2, &old_iter);
}
gcc_assert (op_iter_done (&old_iter));
op_iter_init_mustdef (&old_iter, src, &u2, &d2);
FOR_EACH_SSA_MUSTDEF_OPERAND (def_p, use_p, dest, iter)
{
gcc_assert (!op_iter_done (&old_iter));
SET_USE (use_p, USE_FROM_PTR (u2));
SET_DEF (def_p, DEF_FROM_PTR (d2));
op_iter_next_maymustdef (&u2, &d2, &old_iter);
}
gcc_assert (op_iter_done (&old_iter));
}
void
create_ssa_artficial_load_stmt (tree new_stmt, tree old_stmt)
{
stmt_ann_t ann;
tree op;
ssa_op_iter iter;
use_operand_p use_p;
unsigned x;
ann = get_stmt_ann (new_stmt);
start_ssa_stmt_operands ();
parse_ssa_operands (new_stmt);
for (x = 0; x < VEC_length (tree, build_vuses); x++)
{
tree t = VEC_index (tree, build_vuses, x);
if (TREE_CODE (t) != SSA_NAME)
{
var_ann_t ann = var_ann (t);
ann->in_vuse_list = 0;
}
}
for (x = 0; x < VEC_length (tree, build_v_may_defs); x++)
{
tree t = VEC_index (tree, build_v_may_defs, x);
if (TREE_CODE (t) != SSA_NAME)
{
var_ann_t ann = var_ann (t);
ann->in_v_may_def_list = 0;
}
}
VEC_truncate (tree, build_v_may_defs, 0);
VEC_truncate (tree, build_v_must_defs, 0);
VEC_truncate (tree, build_vuses, 0);
FOR_EACH_SSA_TREE_OPERAND (op, old_stmt, iter,
(SSA_OP_VMAYDEF | SSA_OP_VMUSTDEF))
append_vuse (op);
finalize_ssa_stmt_operands (new_stmt);
FOR_EACH_SSA_USE_OPERAND (use_p, new_stmt, iter, SSA_OP_ALL_USES)
delink_imm_use (use_p);
}
void
swap_tree_operands (tree stmt, tree *exp0, tree *exp1)
{
tree op0, op1;
op0 = *exp0;
op1 = *exp1;
if (ssa_operands_active () && op0 != op1)
{
use_optype_p use0, use1, ptr;
use0 = use1 = NULL;
for (ptr = USE_OPS (stmt); ptr; ptr = ptr->next)
if (USE_OP_PTR (ptr)->use == exp0)
{
use0 = ptr;
break;
}
for (ptr = USE_OPS (stmt); ptr; ptr = ptr->next)
if (USE_OP_PTR (ptr)->use == exp1)
{
use1 = ptr;
break;
}
if (use0 && use1)
{
tree *tmp = USE_OP_PTR (use1)->use;
USE_OP_PTR (use1)->use = USE_OP_PTR (use0)->use;
USE_OP_PTR (use0)->use = tmp;
}
}
*exp0 = op1;
*exp1 = op0;
}
void
add_to_addressable_set (tree ref, bitmap *addresses_taken)
{
tree var;
subvar_t svars;
gcc_assert (addresses_taken);
var = get_base_address (ref);
if (var && SSA_VAR_P (var))
{
if (*addresses_taken == NULL)
*addresses_taken = BITMAP_GGC_ALLOC ();
if (var_can_have_subvars (var)
&& (svars = get_subvars_for_var (var)))
{
subvar_t sv;
for (sv = svars; sv; sv = sv->next)
{
bitmap_set_bit (*addresses_taken, DECL_UID (sv->var));
TREE_ADDRESSABLE (sv->var) = 1;
}
}
else
{
bitmap_set_bit (*addresses_taken, DECL_UID (var));
TREE_ADDRESSABLE (var) = 1;
}
}
}
bool
verify_imm_links (FILE *f, tree var)
{
use_operand_p ptr, prev, list;
int count;
gcc_assert (TREE_CODE (var) == SSA_NAME);
list = &(SSA_NAME_IMM_USE_NODE (var));
gcc_assert (list->use == NULL);
if (list->prev == NULL)
{
gcc_assert (list->next == NULL);
return false;
}
prev = list;
count = 0;
for (ptr = list->next; ptr != list; )
{
if (prev != ptr->prev)
goto error;
if (ptr->use == NULL)
goto error;
else if (*(ptr->use) != var)
goto error;
prev = ptr;
ptr = ptr->next;
if (count++ > 50000000)
goto error;
}
prev = list;
for (ptr = list->prev; ptr != list; )
{
if (prev != ptr->next)
goto error;
prev = ptr;
ptr = ptr->prev;
if (count-- < 0)
goto error;
}
if (count != 0)
goto error;
return false;
error:
if (ptr->stmt && stmt_modified_p (ptr->stmt))
{
fprintf (f, " STMT MODIFIED. - <%p> ", (void *)ptr->stmt);
print_generic_stmt (f, ptr->stmt, TDF_SLIM);
}
fprintf (f, " IMM ERROR : (use_p : tree - %p:%p)", (void *)ptr,
(void *)ptr->use);
print_generic_expr (f, USE_FROM_PTR (ptr), TDF_SLIM);
fprintf(f, "\n");
return true;
}
void
dump_immediate_uses_for (FILE *file, tree var)
{
imm_use_iterator iter;
use_operand_p use_p;
gcc_assert (var && TREE_CODE (var) == SSA_NAME);
print_generic_expr (file, var, TDF_SLIM);
fprintf (file, " : -->");
if (has_zero_uses (var))
fprintf (file, " no uses.\n");
else
if (has_single_use (var))
fprintf (file, " single use.\n");
else
fprintf (file, "%d uses.\n", num_imm_uses (var));
FOR_EACH_IMM_USE_FAST (use_p, iter, var)
{
if (use_p->stmt == NULL && use_p->use == NULL)
fprintf (file, "***end of stmt iterator marker***\n");
else
if (!is_gimple_reg (USE_FROM_PTR (use_p)))
print_generic_stmt (file, USE_STMT (use_p), TDF_VOPS);
else
print_generic_stmt (file, USE_STMT (use_p), TDF_SLIM);
}
fprintf(file, "\n");
}
void
dump_immediate_uses (FILE *file)
{
tree var;
unsigned int x;
fprintf (file, "Immediate_uses: \n\n");
for (x = 1; x < num_ssa_names; x++)
{
var = ssa_name(x);
if (!var)
continue;
dump_immediate_uses_for (file, var);
}
}
void
debug_immediate_uses (void)
{
dump_immediate_uses (stderr);
}
void
debug_immediate_uses_for (tree var)
{
dump_immediate_uses_for (stderr, var);
}
#include "gt-tree-ssa-operands.h"