* @brief Functionality to modify the type graph.
* @author Goetz Lindenmaier
* @version $Id$
- * @summary
+ * @brief
*
* Traverse the type information. The walker walks the whole ir graph
* to find the distinct type trees in the type graph forest.
type_walk_func *pre, type_walk_func *post,
void *env)
{
- switch(initializer->kind) {
+ switch (initializer->kind) {
case IR_INITIALIZER_CONST:
irn_type_walker(initializer->consti.value, pre, post, env);
return;
case IR_INITIALIZER_COMPOUND: {
size_t i;
- for(i = 0; i < initializer->compound.n_initializers; ++i) {
+ for (i = 0; i < initializer->compound.n_initializers; ++i) {
ir_initializer_t *subinitializer
= initializer->compound.initializers[i];
walk_initializer(subinitializer, pre, post, env);
ent = tore.ent;
if (entity_visited(ent))
return;
+ mark_entity_visited(ent);
break;
case k_type:
- tp = skip_tid(tore.typ);
+ tp = tore.typ;
if (type_visited(tp))
return;
+ mark_type_visited(tp);
break;
default:
break;
/* iterate */
switch (get_kind(tore.ent)) {
case k_entity:
- mark_entity_visited(ent);
cont.typ = get_entity_owner(ent);
do_type_walk(cont, pre, post, env);
cont.typ = get_entity_type(ent);
do_type_walk(cont, pre, post, env);
- if (get_entity_variability(ent) != variability_uninitialized) {
- /* walk over the value types */
- if (ent->has_initializer) {
- walk_initializer(ent->attr.initializer, pre, post, env);
- } else if (is_atomic_entity(ent)) {
- n = get_atomic_ent_value(ent);
+ /* walk over the value types */
+ if (ent->initializer != NULL) {
+ walk_initializer(ent->initializer, pre, post, env);
+ } else if (entity_has_compound_ent_values(ent)) {
+ n_mem = get_compound_ent_n_values(ent);
+ for (i = 0; i < n_mem; ++i) {
+ n = get_compound_ent_value(ent, i);
irn_type_walker(n, pre, post, env);
- } else {
- n_mem = get_compound_ent_n_values(ent);
- for (i = 0; i < n_mem; ++i) {
- n = get_compound_ent_value(ent, i);
- irn_type_walker(n, pre, post, env);
- }
}
}
break;
case k_type:
- mark_type_visited(tp);
switch (get_type_tpop_code(tp)) {
case tpo_class:
n_types = get_class_n_supertypes(tp);
case tpo_code:
case tpo_primitive:
- case tpo_id:
case tpo_none:
case tpo_unknown:
/* a leave. */
break;
case tpo_uninitialized:
- case tpo_max:
assert(0 && "Faulty type");
break;
}
/** Check whether node contains types or entities as an attribute.
If so start a walk over that information. */
-static void start_type_walk(ir_node *node, void *ctx) {
+static void start_type_walk(ir_node *node, void *ctx)
+{
type_walk_env *env = ctx;
type_walk_func *pre;
type_walk_func *post;
}
/* walker: walks over all types */
-void type_walk(type_walk_func *pre, type_walk_func *post, void *env) {
+void type_walk(type_walk_func *pre, type_walk_func *post, void *env)
+{
int i, n_types = get_irp_n_types();
type_or_ent cont;
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
inc_master_type_visited();
for (i = 0; i < n_types; ++i) {
cont.typ = get_irp_type(i);
}
cont.typ = get_glob_type();
do_type_walk(cont, pre, post, env);
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
}
-void type_walk_prog(type_walk_func *pre, type_walk_func *post, void *env) {
+void type_walk_prog(type_walk_func *pre, type_walk_func *post, void *env)
+{
int i, n_irgs = get_irp_n_irgs();
type_or_ent cont;
do_type_walk(cont, pre, post, env);
cont.typ = get_method_value_param_type(get_entity_type(get_irg_entity(irg)));
- if(cont.typ)
+ if (cont.typ)
do_type_walk(cont, pre, post, env);
}
- for (i = 0; i < IR_SEGMENT_COUNT; ++i) {
+ for (i = IR_SEGMENT_FIRST; i <= IR_SEGMENT_LAST; ++i) {
cont.typ = get_segment_type((ir_segment_t) i);
- if(cont.typ)
+ if (cont.typ)
do_type_walk(cont, pre, post, env);
}
}
Here we initially increase the flag. We only call do_type_walk that does
not increase the flag.
*/
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
inc_master_type_visited();
irg_walk(get_irg_end(irg), start_type_walk, NULL, &type_env);
do_type_walk(cont, pre, post, env);
current_ir_graph = rem;
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
}
static void type_walk_s2s_2(type_or_ent tore,
if (entity_visited(tore.ent)) return;
break;
case k_type:
- if (type_id == get_type_tpop(tore.typ)) {
- cont.typ = skip_tid(tore.typ);
- type_walk_s2s_2(cont, pre, post, env);
- return;
- }
if (type_visited(tore.typ)) return;
break;
default:
/* execute pre method */
if (pre)
pre(tore, env);
- tp = skip_tid(tp);
n = get_class_n_subtypes(tp);
for (i = 0; i < n; ++i) {
case tpo_enumeration:
case tpo_pointer:
case tpo_primitive:
- case tpo_id:
/* dont care */
break;
default:
type_or_ent cont;
int i, n_types = get_irp_n_types();
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
inc_master_type_visited();
cont.typ = get_glob_type();
type_walk_s2s_2(cont, pre, post, env);
cont.typ = get_irp_type(i);
type_walk_s2s_2(cont, pre, post, env);
}
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
}
/*****************************************************************************/
-static void
-type_walk_super_2(type_or_ent tore,
- type_walk_func *pre,
- type_walk_func *post,
- void *env) {
+static void type_walk_super_2(type_or_ent tore, type_walk_func *pre,
+ type_walk_func *post, void *env)
+{
type_or_ent cont;
int i, n;
return;
break;
case k_type:
- if (type_id == get_type_tpop(tore.typ)) {
- cont.typ = skip_tid(tore.typ);
- type_walk_super_2(cont, pre, post, env);
- return;
- }
if (type_visited(tore.typ))
return;
break;
/* execute pre method */
if (pre)
pre(tore, env);
- tp = skip_tid(tp);
n = get_class_n_supertypes(tp);
for (i = 0; i < n; ++i) {
case tpo_enumeration:
case tpo_pointer:
case tpo_primitive:
- case tpo_id:
/* don't care */
break;
default:
}
}
-void type_walk_super(type_walk_func *pre,
- type_walk_func *post,
- void *env) {
+void type_walk_super(type_walk_func *pre, type_walk_func *post, void *env)
+{
int i, n_types = get_irp_n_types();
type_or_ent cont;
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
inc_master_type_visited();
cont.typ = get_glob_type();
type_walk_super_2(cont, pre, post, env);
cont.typ = get_irp_type(i);
type_walk_super_2(cont, pre, post, env);
}
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
}
/*****************************************************************************/
-static void
-class_walk_s2s_2(ir_type *tp,
- class_walk_func *pre,
- class_walk_func *post,
- void *env)
+static void class_walk_s2s_2(ir_type *tp, class_walk_func *pre,
+ class_walk_func *post, void *env)
{
int i, n;
if (pre)
pre(tp, env);
- tp = skip_tid(tp);
n = get_class_n_subtypes(tp);
for (i = 0; i < n; ++i) {
class_walk_s2s_2(get_class_subtype(tp, i), pre, post, env);
int i, n_types = get_irp_n_types();
ir_type *tp;
+ irp_reserve_resources(irp, IR_RESOURCE_TYPE_VISITED);
inc_master_type_visited();
for (i = 0; i < n_types; i++) {
tp = get_irp_type(i);
class_walk_s2s_2(tp, pre, post, env);
}
}
+ irp_free_resources(irp, IR_RESOURCE_TYPE_VISITED);
}
case tpo_enumeration:
case tpo_pointer:
case tpo_primitive:
- case tpo_id:
default:
break;
}