X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fana%2Firbackedge.c;h=2d60abf41db0dfbde5c0f2e8a71e3efe9d6d9d86;hb=58e533a640ff427362877a3d2f1a5142c96391e1;hp=8a39fe23e9ea705b93b2c6a32876386408674b1d;hpb=33c43f10971f7e365c3ef03861ff0308294dbf97;p=libfirm diff --git a/ir/ana/irbackedge.c b/ir/ana/irbackedge.c index 8a39fe23e..2d60abf41 100644 --- a/ir/ana/irbackedge.c +++ b/ir/ana/irbackedge.c @@ -71,33 +71,42 @@ static INLINE int *get_backarray(ir_node *n) { } /** - * Returns true if node has no backarray, or - * if size of backarray == size of in array. + * Returns nin-zero if node has no backarray, or + * if size of backarray == size of in array. */ -static INLINE bool legal_backarray (ir_node *n) { +static INLINE int legal_backarray (ir_node *n) { int *ba = mere_get_backarray(n); if (ba && (ARR_LEN(ba) != ARR_LEN(get_irn_in(n))-1)) /* Use get_irn_in -- sensitive to view! */ - return false; - return true; + return 0; + return 1; } void fix_backedges(struct obstack *obst, ir_node *n) { - opcode opc = get_irn_opcode(n); int *arr = mere_get_backarray(n); - if (ARR_LEN(arr) == ARR_LEN(get_irn_in(n))-1) + opcode opc; + + if (! arr) return; + if (ARR_LEN(arr) != ARR_LEN(get_irn_in(n))-1) { arr = new_backedge_arr(obst, ARR_LEN(get_irn_in(n))-1); - if (opc == iro_Phi) n->attr.phi_backedge = arr; - if ((opc == iro_Block) && !get_interprocedural_view()) - n->attr.block.backedge = arr; - if ((opc == iro_Block) && get_interprocedural_view()) - n->attr.block.cg_backedge = arr; - if (opc == iro_Filter) n->attr.filter.backedge = arr; - return; + + opc = get_irn_opcode(n); + if (opc == iro_Phi) + n->attr.phi_backedge = arr; + else if (opc == iro_Block) { + if (!get_interprocedural_view()) + n->attr.block.backedge = arr; + else + n->attr.block.cg_backedge = arr; + } + else if (opc == iro_Filter) + n->attr.filter.backedge = arr; } + assert(legal_backarray(n)); + /* @@@ more efficient in memory consumption, not possible with array implementation. if (ARR_LEN(arr) < ARR_LEN(get_irn_in(n))-1) { @@ -124,37 +133,37 @@ int is_intra_backedge(ir_node *n, int pos) { } -/** Returns true if the predecessor pos is a backedge. */ -bool is_backedge (ir_node *n, int pos) { +/* Returns non-zero if the predecessor pos is a backedge. */ +int is_backedge (ir_node *n, int pos) { int *ba = get_backarray (n); if (ba) return ba[pos]; - return false; + return 0; } -/** Remarks that edge pos is a backedge. */ +/* Remarks that edge pos is a backedge. */ void set_backedge (ir_node *n, int pos) { int *ba = get_backarray (n); assert(ba && "can only set backedges at Phi, Filter, Block nodes."); ba[pos] = 1; } -/** Remarks that edge pos is a backedge. */ +/* Remarks that edge pos is a backedge. */ void set_not_backedge (ir_node *n, int pos) { int *ba = get_backarray (n); assert(ba && "can only set backedges at Phi, Filter, Block nodes."); ba[pos] = 0; } -/** Returns true if n has backedges. */ -bool has_backedges (ir_node *n) { +/* Returns non-zero if n has backedges. */ +int has_backedges (ir_node *n) { int i; int *ba = get_backarray (n); if (ba) { int arity = get_irn_arity(n); for (i = 0; i < arity; i++) - if (ba[i]) return true; + if (ba[i]) return 1; } - return false; + return 0; } /** Sets all backedge information to zero. */ @@ -162,14 +171,14 @@ void clear_backedges (ir_node *n) { int i, arity; int rem = get_interprocedural_view(); int *ba; - set_interprocedural_view(false); + set_interprocedural_view(0); ba = get_backarray (n); if (ba) { arity = get_irn_arity(n); for (i = 0; i < arity; i++) ba[i] = 0; } - set_interprocedural_view(true); + set_interprocedural_view(1); ba = get_backarray (n); if (ba) { arity = get_irn_arity(n); @@ -178,3 +187,26 @@ void clear_backedges (ir_node *n) { } set_interprocedural_view(rem); } + +int *new_backedge_arr(struct obstack *obst, int size) { + int *res = NEW_ARR_D (int, obst, size); + memset(res, 0, sizeof(int) * size); + return res; +} + +/* TODO: add an ir_op operation */ +void new_backedge_info(ir_node *n) { + switch(get_irn_opcode(n)) { + case iro_Block: + n->attr.block.cg_backedge = NULL; + n->attr.block.backedge = new_backedge_arr(current_ir_graph->obst, get_irn_arity(n)); + break; + case iro_Phi: + n->attr.phi_backedge = new_backedge_arr(current_ir_graph->obst, get_irn_arity(n)); + break; + case iro_Filter: + n->attr.filter.backedge = new_backedge_arr(current_ir_graph->obst, get_irn_arity(n)); + break; + default: ; + } +}