X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbestate.c;h=0daebb2fff4204d6f0b715a7013bf9070f11ac7b;hb=51d5090095b2f4f2285ff1b7ccd13c72a7b5d9d3;hp=81deb82025de26431e0c7b38a0aeedd9ba39874a;hpb=74dd7c3a1b43d9a789bcc9ac76e0a0215a881249;p=libfirm diff --git a/ir/be/bestate.c b/ir/be/bestate.c index 81deb8202..0daebb2ff 100644 --- a/ir/be/bestate.c +++ b/ir/be/bestate.c @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -25,9 +25,7 @@ * @date 26.03.2007 * @version $Id$ */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif #include "bestate.h" @@ -43,12 +41,12 @@ #include "irnodemap.h" #include "adt/cpset.h" -#include "bearch_t.h" +#include "bearch.h" #include "beuses.h" -#include "besched_t.h" +#include "besched.h" #include "belive_t.h" #include "bemodule.h" -#include "benode_t.h" +#include "benode.h" #include "bessaconstr.h" DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;) @@ -62,7 +60,6 @@ typedef struct spill_info_t { typedef struct minibelady_env_t { struct obstack obst; - const arch_env_t *arch_env; const arch_register_t *reg; const be_lv_t *lv; void *func_env; @@ -79,11 +76,10 @@ typedef struct block_info_t { ir_node *end_state; } block_info_t; -static INLINE +static inline block_info_t *new_block_info(struct obstack *obst, ir_node *block) { - block_info_t *res = obstack_alloc(obst, sizeof(*res)); - memset(res, 0, sizeof(res[0])); + block_info_t *res = OALLOCZ(obst, block_info_t); assert(is_Block(block)); set_irn_link(block, res); @@ -92,18 +88,17 @@ block_info_t *new_block_info(struct obstack *obst, ir_node *block) return res; } -static INLINE +static inline block_info_t *get_block_info(ir_node *block) { assert(irn_visited(block)); return (block_info_t*) get_irn_link(block); } -static INLINE +static inline spill_info_t *create_spill_info(minibelady_env_t *env, ir_node *state) { - spill_info_t *spill_info = obstack_alloc(&env->obst, sizeof(spill_info[0])); - memset(spill_info, 0, sizeof(spill_info[0])); + spill_info_t *spill_info = OALLOCZ(&env->obst, spill_info_t); spill_info->value = state; spill_info->reloads = NEW_ARR_F(ir_node*, 0); @@ -116,7 +111,7 @@ spill_info_t *create_spill_info(minibelady_env_t *env, ir_node *state) return spill_info; } -static INLINE +static inline spill_info_t *get_spill_info(minibelady_env_t *env, const ir_node *node) { spill_info_t *spill_info @@ -169,12 +164,13 @@ void create_reload(minibelady_env_t *env, ir_node *state, ir_node *before, static void spill_phi(minibelady_env_t *env, ir_node *phi) { - ir_graph *irg = get_irn_irg(phi); - ir_node *block = get_nodes_block(phi); - int i, arity = get_irn_arity(phi); - ir_node **in = alloca(arity * sizeof(in[0])); - ir_node *spill_to_kill = NULL; + ir_graph *irg = get_irn_irg(phi); + ir_node *block = get_nodes_block(phi); + int arity = get_irn_arity(phi); + ir_node **in = ALLOCAN(ir_node*, arity); + ir_node *spill_to_kill = NULL; spill_info_t *spill_info; + int i; /* does a spill exist for the phis value? */ spill_info = get_spill_info(env, phi); @@ -186,13 +182,13 @@ void spill_phi(minibelady_env_t *env, ir_node *phi) /* create a new phi-M with bad preds */ for(i = 0; i < arity; ++i) { - in[i] = new_r_Bad(irg); + in[i] = new_r_Unknown(irg, mode_M); } DBG((dbg, LEVEL_2, "\tcreate Phi-M for %+F\n", phi)); /* create a Phi-M */ - spill_info->spill = new_r_Phi(irg, block, arity, in, mode_M); + spill_info->spill = new_r_Phi(block, arity, in, mode_M); if(spill_to_kill != NULL) { exchange(spill_to_kill, spill_info->spill); @@ -268,7 +264,7 @@ block_info_t *compute_block_start_state(minibelady_env_t *env, ir_node *block) sched_foreach(block, node) { if (!is_Phi(node)) break; - if (arch_get_irn_register(env->arch_env, node) != env->reg) + if (arch_get_irn_register(node) != env->reg) continue; DBG((dbg, LEVEL_2, "\t...checking %+F\n", node)); @@ -318,7 +314,7 @@ block_info_t *compute_block_start_state(minibelady_env_t *env, ir_node *block) if(!mode_is_data(get_irn_mode(node))) continue; - if (arch_get_irn_register(env->arch_env, node) != env->reg) + if (arch_get_irn_register(node) != env->reg) continue; DBG((dbg, LEVEL_2, "\t...checking %+F\n", node)); @@ -403,13 +399,13 @@ void belady(minibelady_env_t *env, ir_node *block) /* check which state is desired for the node */ arity = get_irn_arity(node); for(i = 0; i < arity; ++i) { + const arch_register_t *reg; ir_node *in = get_irn_n(node, i); if(!mode_is_data(get_irn_mode(in))) continue; - const arch_register_t *reg = - arch_get_irn_register(env->arch_env, in); + reg = arch_get_irn_register(in); if(reg == env->reg) { assert(need_val == NULL); need_val = in; @@ -430,13 +426,13 @@ void belady(minibelady_env_t *env, ir_node *block) const ir_edge_t *edge; foreach_out_edge(node, edge) { + const arch_register_t *reg; ir_node *proj = get_edge_src_irn(edge); if(!mode_is_data(get_irn_mode(proj))) continue; - const arch_register_t *reg = - arch_get_irn_register(env->arch_env, proj); + reg = arch_get_irn_register(proj); if(reg == env->reg) { current_state = proj; DBG((dbg, LEVEL_3, "\t... current_state <- %+F\n", current_state)); @@ -444,8 +440,7 @@ void belady(minibelady_env_t *env, ir_node *block) } } else { if(mode_is_data(get_irn_mode(node))) { - const arch_register_t *reg = - arch_get_irn_register(env->arch_env, node); + const arch_register_t *reg = arch_get_irn_register(node); if(reg == env->reg) { current_state = node; DBG((dbg, LEVEL_3, "\t... current_state <- %+F\n", current_state)); @@ -542,14 +537,12 @@ void be_assure_state(be_irg_t *birg, const arch_register_t *reg, void *func_env, be_lv_t *lv = be_assure_liveness(birg); be_liveness_assure_sets(lv); - be_assure_dom_front(birg); /* construct control flow loop tree */ if(! (get_irg_loopinfo_state(irg) & loopinfo_cf_consistent)) { construct_cf_backedges(irg); } obstack_init(&env.obst); - env.arch_env = be_get_birg_arch_env(birg); env.reg = reg; env.func_env = func_env; env.create_spill = create_spill; @@ -560,8 +553,7 @@ void be_assure_state(be_irg_t *birg, const arch_register_t *reg, void *func_env, ir_nodemap_init(&env.spill_infos); assure_doms(irg); - set_using_visited(irg); - set_using_irn_link(irg); + ir_reserve_resources(irg, IR_RESOURCE_IRN_VISITED | IR_RESOURCE_IRN_LINK); inc_irg_visited(irg); /* process blocks */ @@ -570,8 +562,7 @@ void be_assure_state(be_irg_t *birg, const arch_register_t *reg, void *func_env, /* fix block end_states that don't match the next blocks start_state */ irg_block_walk_graph(irg, fix_block_borders, NULL, &env); - clear_using_visited(irg); - clear_using_irn_link(irg); + ir_free_resources(irg, IR_RESOURCE_IRN_VISITED | IR_RESOURCE_IRN_LINK); /* reconstruct ssa-form */ info = env.spills; @@ -604,8 +595,7 @@ void be_assure_state(be_irg_t *birg, const arch_register_t *reg, void *func_env, len = ARR_LEN(phis); for(i = 0; i < len; ++i) { ir_node *phi = phis[i]; - be_set_phi_flags(env.arch_env, phi, arch_irn_flags_ignore); - arch_set_irn_register(env.arch_env, phi, env.reg); + arch_set_irn_register(phi, env.reg); } be_ssa_construction_destroy(&senv);