X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgwalk.c;h=d6b3a7147646e3c6298facd5c4e3da66fd025519;hb=0a8dac2b5fb9e59ea2add322baf61237b607bea5;hp=02fdb5d24dfcfddc2183b27631dceccfee1d855d;hpb=02f098c997643c82451cd29b6c44d8a75cb4d8d8;p=libfirm diff --git a/ir/ir/irgwalk.c b/ir/ir/irgwalk.c index 02fdb5d24..d6b3a7147 100644 --- a/ir/ir/irgwalk.c +++ b/ir/ir/irgwalk.c @@ -36,6 +36,7 @@ #include "irgwalk.h" #include "irhooks.h" #include "entity_t.h" +#include "ircons.h" #include "error.h" #include "pset_new.h" @@ -43,112 +44,95 @@ /** * specialized version of irg_walk_2, called if only pre callback exists - * - * @return number of visited nodes */ -static unsigned irg_walk_2_pre(ir_node *node, irg_walk_func *pre, void *env) +static void irg_walk_2_pre(ir_node *node, irg_walk_func *pre, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); pre(node, env); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_2_pre(pred, pre, env); + irg_walk_2_pre(pred, pre, env); } for (i = get_irn_arity(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_n(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_2_pre(pred, pre, env); + irg_walk_2_pre(pred, pre, env); } - return cnt; } /** * specialized version of irg_walk_2, called if only post callback exists - * - * @return number of visited nodes */ -static unsigned irg_walk_2_post(ir_node *node, irg_walk_func *post, void *env) +static void irg_walk_2_post(ir_node *node, irg_walk_func *post, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_2_post(pred, post, env); + irg_walk_2_post(pred, post, env); } for (i = get_irn_arity(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_n(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_2_post(pred, post, env); + irg_walk_2_post(pred, post, env); } post(node, env); - - return cnt; } /** * specialized version of irg_walk_2, called if pre and post callbacks exist - * - * @return number of visited nodes */ -static unsigned irg_walk_2_both(ir_node *node, irg_walk_func *pre, +static void irg_walk_2_both(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); pre(node, env); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_2_both(pred, pre, post, env); + irg_walk_2_both(pred, pre, post, env); } for (i = get_irn_arity(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_n(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_2_both(pred, pre, post, env); + irg_walk_2_both(pred, pre, post, env); } post(node, env); - - return cnt; } -unsigned irg_walk_2(ir_node *node, irg_walk_func *pre, irg_walk_func *post, - void *env) +void irg_walk_2(ir_node *node, irg_walk_func *pre, irg_walk_func *post, + void *env) { if (irn_visited(node)) - return 0; + return; - if (!post) return irg_walk_2_pre (node, pre, env); - else if (!pre) return irg_walk_2_post(node, post, env); - else return irg_walk_2_both(node, pre, post, env); + if (!post) irg_walk_2_pre (node, pre, env); + else if (!pre) irg_walk_2_post(node, post, env); + else irg_walk_2_both(node, pre, post, env); } -/* a counter */ -static unsigned nodes_touched = 0; - void irg_walk_core(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) { assert(is_ir_node(node)); - nodes_touched = irg_walk_2(node, pre, post, env); + irg_walk_2(node, pre, post, env); } void irg_walk(ir_node *node, irg_walk_func *pre, irg_walk_func *post, @@ -172,7 +156,6 @@ void irg_walk_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func *post, void hook_irg_walk(irg, (generic_func *)pre, (generic_func *)post); current_ir_graph = irg; irg_walk(get_irg_end(irg), pre, post, env); - irg->estimated_node_count = nodes_touched; current_ir_graph = rem; } @@ -189,105 +172,89 @@ void all_irg_walk(irg_walk_func *pre, irg_walk_func *post, void *env) /** * specialized version of irg_walk_in_or_dep_2, called if only pre callback exists - * - * @return number of visited nodes */ -static unsigned irg_walk_in_or_dep_2_pre(ir_node *node, irg_walk_func *pre, void *env) +static void irg_walk_in_or_dep_2_pre(ir_node *node, irg_walk_func *pre, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); pre(node, env); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_pre(pred, pre, env); + irg_walk_in_or_dep_2_pre(pred, pre, env); } for (i = get_irn_ins_or_deps(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_in_or_dep(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_pre(pred, pre, env); + irg_walk_in_or_dep_2_pre(pred, pre, env); } - return cnt; } /** * specialized version of irg_walk_in_or_dep_2, called if only post callback exists - * - * @return number of visited nodes */ -static unsigned irg_walk_in_or_dep_2_post(ir_node *node, irg_walk_func *post, void *env) +static void irg_walk_in_or_dep_2_post(ir_node *node, irg_walk_func *post, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_post(pred, post, env); + irg_walk_in_or_dep_2_post(pred, post, env); } for (i = get_irn_ins_or_deps(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_in_or_dep(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_post(pred, post, env); + irg_walk_in_or_dep_2_post(pred, post, env); } post(node, env); - - return cnt; } /** * specialized version of irg_walk_in_or_dep_2, called if pre and post callbacks exist - * - * @return number of visited nodes */ -static unsigned irg_walk_in_or_dep_2_both(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) +static void irg_walk_in_or_dep_2_both(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) { int i; - unsigned cnt = 1; ir_graph *irg = get_irn_irg(node); set_irn_visited(node, irg->visited); pre(node, env); - if (node->op != op_Block) { - ir_node *pred = get_irn_n(node, -1); + if (!is_Block(node)) { + ir_node *pred = get_nodes_block(node); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_both(pred, pre, post, env); + irg_walk_in_or_dep_2_both(pred, pre, post, env); } for (i = get_irn_ins_or_deps(node) - 1; i >= 0; --i) { ir_node *pred = get_irn_in_or_dep(node, i); if (pred->visited < irg->visited) - cnt += irg_walk_in_or_dep_2_both(pred, pre, post, env); + irg_walk_in_or_dep_2_both(pred, pre, post, env); } post(node, env); - - return cnt; } /** * Intraprozedural graph walker. Follows dependency edges as well. - * - * @return number of visited nodes */ -static unsigned irg_walk_in_or_dep_2(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) +static void irg_walk_in_or_dep_2(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) { if (irn_visited(node)) - return 0; + return; - if (! post) return irg_walk_in_or_dep_2_pre (node, pre, env); - else if (! pre) return irg_walk_in_or_dep_2_post(node, post, env); - else return irg_walk_in_or_dep_2_both(node, pre, post, env); + if (! post) irg_walk_in_or_dep_2_pre (node, pre, env); + else if (! pre) irg_walk_in_or_dep_2_post(node, post, env); + else irg_walk_in_or_dep_2_both(node, pre, post, env); } void irg_walk_in_or_dep(ir_node *node, irg_walk_func *pre, irg_walk_func *post, void *env) @@ -296,7 +263,7 @@ void irg_walk_in_or_dep(ir_node *node, irg_walk_func *pre, irg_walk_func *post, ir_reserve_resources(current_ir_graph, IR_RESOURCE_IRN_VISITED); inc_irg_visited(current_ir_graph); - nodes_touched = irg_walk_in_or_dep_2(node, pre, post, env); + irg_walk_in_or_dep_2(node, pre, post, env); ir_free_resources(current_ir_graph, IR_RESOURCE_IRN_VISITED); } @@ -307,7 +274,6 @@ void irg_walk_in_or_dep_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func * hook_irg_walk(irg, (generic_func *)pre, (generic_func *)post); current_ir_graph = irg; irg_walk_in_or_dep(get_irg_end(irg), pre, post, env); - irg->estimated_node_count = nodes_touched; current_ir_graph = rem; } @@ -315,7 +281,6 @@ void irg_walk_in_or_dep_graph(ir_graph *irg, irg_walk_func *pre, irg_walk_func * static ir_node *get_cf_op(ir_node *n) { while (!is_cfop(n) && !is_fragile_op(n) && !is_Bad(n)) { - n = skip_Id(n); n = skip_Tuple(n); n = skip_Proj(n); } @@ -437,11 +402,6 @@ static void walk_entity(ir_entity *ent, void *env) if (ent->initializer != NULL) { walk_initializer(ent->initializer, my_env); - } else if (entity_has_compound_ent_values(ent)) { - size_t i, n_vals = get_compound_ent_n_values(ent); - - for (i = 0; i < n_vals; i++) - irg_walk(get_compound_ent_value(ent, i), my_env->pre, my_env->post, my_env->env); } }