X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firgmod.c;h=39f255c8cf15b8a7cb0a60289253b91fbcef10ba;hb=8399216d8aebc713bbda04b6e3e250a1d52b20bf;hp=df3b7179c4ba7d13830d66aca89f42f682b1d0fe;hpb=4b13e0fa13fd6021973a7b09e6b3e9279dd1869e;p=libfirm diff --git a/ir/ir/irgmod.c b/ir/ir/irgmod.c index df3b7179c..39f255c8c 100644 --- a/ir/ir/irgmod.c +++ b/ir/ir/irgmod.c @@ -11,7 +11,7 @@ */ #ifdef HAVE_CONFIG_H -# include +# include "config.h" #endif # include "irvrfy.h" @@ -22,6 +22,7 @@ # include "irgmod.h" # include "array.h" # include "ircons.h" +# include "firmstat.h" /* Turns a node into a "useless" Tuple. The Tuple just forms a tuple from several inputs. @@ -32,13 +33,13 @@ turn_into_tuple (ir_node *node, int arity) { assert(node); set_irn_op(node, op_Tuple); - if (intern_get_irn_arity(node) == arity) { + if (get_irn_arity(node) == arity) { /* keep old array */ } else { /* Allocate new array, don't free old in_array, it's on the obstack. */ - ir_node *block = get_nodes_Block(node); + ir_node *block = get_nodes_block(node); node->in = NEW_ARR_D (ir_node *, current_ir_graph->obst, arity+1); - set_nodes_Block(node, block); + set_nodes_block(node, block); } } @@ -49,13 +50,23 @@ INLINE void exchange (ir_node *old, ir_node *nw) { ir_node *block; + ir_graph *irg = get_irn_irg (old); + assert(old != nw); + assert (irg); assert(get_irn_op(old)->opar != oparity_dynamic); + stat_turn_into_id(old); + block = old->in[0]; + if (!block) { + if (is_Block(nw)) block = nw; + else (block = nw->in[0]); + if (!block) { DDMN(old); DDMN(nw); assert(0 && "cannot find legal block for id"); } + } old->op = op_Id; - old->in = NEW_ARR_D (ir_node *, current_ir_graph->obst, 2); + old->in = NEW_ARR_D (ir_node *, irg->obst, 2); old->in[0] = block; old->in[1] = nw; } @@ -72,13 +83,13 @@ clear_link (ir_node *n, void *env) { static void collect (ir_node *n, void *env) { ir_node *pred; - if (intern_get_irn_op(n) == op_Phi) { - set_irn_link(n, get_irn_link(get_nodes_Block(n))); - set_irn_link(get_nodes_Block(n), n); + if (get_irn_op(n) == op_Phi) { + set_irn_link(n, get_irn_link(get_nodes_block(n))); + set_irn_link(get_nodes_block(n), n); } - if (intern_get_irn_op(n) == op_Proj) { + if (get_irn_op(n) == op_Proj) { pred = n; - while (intern_get_irn_op(pred) == op_Proj) + while (get_irn_op(pred) == op_Proj) pred = get_Proj_pred(pred); set_irn_link(n, get_irn_link(pred)); set_irn_link(pred, n); @@ -107,28 +118,29 @@ void collect_phiprojs(ir_graph *irg) { * Does not move predecessors of Phi nodes (or block nodes). */ static void move (ir_node *node, ir_node *from_bl, ir_node *to_bl) { - int i; + int i, arity; ir_node *proj, *pred; /* move this node */ - set_nodes_Block(node, to_bl); + set_nodes_block(node, to_bl); /* move its projs */ - if (intern_get_irn_mode(node) == mode_T) { + if (get_irn_mode(node) == mode_T) { proj = get_irn_link(node); while (proj) { - if (get_nodes_Block(proj) == from_bl) - set_nodes_Block(proj, to_bl); + if (get_nodes_block(proj) == from_bl) + set_nodes_block(proj, to_bl); proj = get_irn_link(proj); } } /* recursion ... */ - if (intern_get_irn_op(node) == op_Phi) return; + if (get_irn_op(node) == op_Phi) return; - for (i = 0; i < intern_get_irn_arity(node); i++) { + arity = get_irn_arity(node); + for (i = 0; i < arity; i++) { pred = get_irn_n(node, i); - if (get_nodes_Block(pred) == from_bl) + if (get_nodes_block(pred) == from_bl) move(pred, from_bl, to_bl); } } @@ -143,9 +155,9 @@ void part_block(ir_node *node) { set_optimize(0); /* Transform the control flow */ - old_block = get_nodes_Block(node); + old_block = get_nodes_block(node); new_block = new_Block(get_Block_n_cfgpreds(old_block), - get_Block_cfgpred_arr(old_block)); + get_Block_cfgpred_arr(old_block)); set_irg_current_block(current_ir_graph, new_block); { ir_node *in[1]; @@ -162,10 +174,10 @@ void part_block(ir_node *node) { set_irn_link(new_block, phi); set_irn_link(old_block, NULL); while (phi) { - if(get_nodes_Block(phi) == old_block); /* @@@ inlinening chokes on phis that don't - obey this condition. How do they get into - the list??? Example: InterfaceIII */ - set_nodes_Block(phi, new_block); + if(get_nodes_block(phi) == old_block); /* @@@ inlinening chokes on phis that don't + obey this condition. How do they get into + the list??? Example: InterfaceIII */ + set_nodes_block(phi, new_block); phi = get_irn_link(phi); }