X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Firouts.c;h=a037db1642284a9486bd6b9b9010f3eb9cd482e1;hb=a0f13e7f9dc221a7283bb6ea0fd7dd54239c1ddb;hp=bc83f3029c535606255152132fe0e7317838aa65;hpb=a58a82dcc39d39e7797cdfe3912bac5363e2a7b9;p=libfirm diff --git a/ir/ana/irouts.c b/ir/ana/irouts.c index bc83f3029..a037db164 100644 --- a/ir/ana/irouts.c +++ b/ir/ana/irouts.c @@ -33,6 +33,7 @@ #include "irgraph_t.h" #include "irprog_t.h" #include "irgwalk.h" +#include "irtools.h" #ifdef DEBUG_libfirm /* Note: ir_node.out_valid and ir_graph.n_outs are only present when DEBUG_libfirm is defined */ @@ -59,7 +60,7 @@ int get_irn_n_outs (ir_node *node) { #ifdef DEBUG_libfirm /* assert (node->out_valid); */ #endif /* defined DEBUG_libfirm */ - return (int)(node->out[0]); + return PTR_TO_INT(node->out[0]); } /* Access successor n */ @@ -87,7 +88,7 @@ int get_Block_n_cfg_outs(ir_node *bl) { #ifdef DEBUG_libfirm assert (bl->out_valid); #endif /* defined DEBUG_libfirm */ - for (i = 1; i <= (int)bl->out[0]; i++) + for (i = 1; i <= PTR_TO_INT(bl->out[0]); i++) if ((get_irn_mode(bl->out[i]) == mode_X) && (get_irn_op(bl->out[i]) != op_End)) n_cfg_outs++; @@ -101,7 +102,7 @@ ir_node *get_Block_cfg_out(ir_node *bl, int pos) { #ifdef DEBUG_libfirm assert (bl->out_valid); #endif /* defined DEBUG_libfirm */ - for (i = 1; i <= (int)bl->out[0]; i++) + for (i = 1; i <= PTR_TO_INT(bl->out[0]); i++) if ((get_irn_mode(bl->out[i]) == mode_X) && (get_irn_op(bl->out[i]) != op_End)) { if (out_pos == pos) { @@ -213,31 +214,31 @@ void irg_out_block_walk(ir_node *node, static int _count_outs(ir_node *n) { int start, i, res, irn_arity; - set_irn_visited(n, get_irg_visited(current_ir_graph)); + mark_irn_visited(n); n->out = (ir_node **) 1; /* Space for array size. */ start = is_Block(n) ? 0 : -1; irn_arity = get_irn_arity(n); res = irn_arity - start + 1; /* --1 or --0; 1 for array size. */ - for (i = start; i < irn_arity; i++) { + for (i = start; i < irn_arity; ++i) { /* Optimize Tuples. They annoy if walking the cfg. */ ir_node *pred = skip_Tuple(get_irn_n(n, i)); set_irn_n(n, i, pred); /* count outs for successors */ - if (get_irn_visited(pred) < get_irg_visited(current_ir_graph)) { + if (irn_not_visited(pred)) res += _count_outs(pred); - } + /* Count my outs */ - pred->out = (ir_node **)( (int)pred->out + 1); + pred->out = (ir_node **)INT_TO_PTR(PTR_TO_INT(pred->out) + 1); } return res; } /** Returns the amount of out edges for not yet visited successors. - * This version handles some special nodes like irg_frame etc. + * This version handles some special nodes like irg_frame, irg_args etc. */ static int count_outs(ir_graph *irg) { ir_node *n; @@ -248,7 +249,13 @@ static int count_outs(ir_graph *irg) { /* now handle special nodes */ n = get_irg_frame(irg); - if (get_irn_visited(n) < get_irg_visited(current_ir_graph)) { + if (irn_not_visited(n)) { + n->out = (ir_node **)1; + ++res; + } + + n = get_irg_args(irg); + if (irn_not_visited(n)) { n->out = (ir_node **)1; ++res; } @@ -271,7 +278,7 @@ static ir_node **_set_out_edges(ir_node *n, ir_node **free) { set_irn_visited(n, get_irg_visited(current_ir_graph)); /* Allocate my array */ - n_outs = (int) n->out; + n_outs = PTR_TO_INT(n->out); n->out = free; #ifdef DEBUG_libfirm n->out_valid = 1; @@ -292,7 +299,7 @@ static ir_node **_set_out_edges(ir_node *n, ir_node **free) { free = _set_out_edges(pred, free); /* Remember our back edge */ pred->out[get_irn_n_outs(pred)+1] = n; - pred->out[0] = (ir_node *) (get_irn_n_outs(pred) + 1); + pred->out[0] = INT_TO_PTR(get_irn_n_outs(pred) + 1); } return free; } @@ -306,20 +313,27 @@ static ir_node **_set_out_edges(ir_node *n, ir_node **free) { * @return The next free address */ static ir_node **set_out_edges(ir_graph *irg, ir_node **free) { - ir_node *n; - int n_outs; + ir_node *n, *special[2]; + int i, n_outs; inc_irg_visited(irg); free = _set_out_edges(get_irg_end(irg), free); - n = get_irg_frame(irg); - if (get_irn_visited(n) < get_irg_visited(current_ir_graph)) { - n_outs = (int)n->out; - n->out = free; + /* handle special nodes */ + special[0] = get_irg_frame(irg); + special[1] = get_irg_args(irg); + + for (i = 1; i >= 0; --i) { + n = special[i]; + + if (get_irn_visited(n) < get_irg_visited(current_ir_graph)) { + n_outs = PTR_TO_INT(n->out); + n->out = free; #ifdef DEBUG_libfirm - n->out_valid = 1; + n->out_valid = 1; #endif /* defined DEBUG_libfirm */ - free += n_outs; + free += n_outs; + } } return free; @@ -437,7 +451,7 @@ static void node_arity_count(ir_node * node, void * env) for(i = start; i < arity; i++) { succ = get_irn_n(node, i); - succ->out = (ir_node **)((int)succ->out + 1); + succ->out = (ir_node **)INT_TO_PTR(PTR_TO_INT(succ->out) + 1); } } @@ -468,7 +482,7 @@ static void set_array_pointer(ir_node *node, void *env) { ir_node ***free = (ir_node ***) env; /* Allocate my array */ - n_outs = (int) node -> out; /* We wrote the count here in count_ip_outs */ + n_outs = PTR_TO_INT(node->out); /* We wrote the count here in count_ip_outs */ dummy_count += n_outs; assert(dummy_count <= global_count && "More outedges than initially counted!"); node -> out = *free; @@ -489,10 +503,10 @@ static void set_out_pointer(ir_node * node, void * env) { ir_node *succ; int start = (!is_Block(node)) ? -1 : 0; - for(i = start; i < arity; i++) { + for (i = start; i < arity; i++) { succ = get_irn_n(node, i); succ->out[get_irn_n_outs(succ)+1] = node; - succ->out[0] = (ir_node *) (get_irn_n_outs(succ) + 1); + succ->out[0] = INT_TO_PTR(get_irn_n_outs(succ) + 1); } }