X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbechordal_main.c;h=10383752b3d4111f9b0c0e465d086f60704b5922;hb=229da5c49a8b769a01a6f4313819244cac102f14;hp=6767885e72168c2aea588c204d956349913fe7b5;hpb=365b4cfd34bc444107b8f90c9c9431c64ee20e44;p=libfirm diff --git a/ir/be/bechordal_main.c b/ir/be/bechordal_main.c index 6767885e7..10383752b 100644 --- a/ir/be/bechordal_main.c +++ b/ir/be/bechordal_main.c @@ -33,6 +33,7 @@ #include "xmalloc.h" #include "bechordal_t.h" +#include "beabi.h" #include "beutil.h" #include "besched.h" #include "benumb_t.h" @@ -55,12 +56,12 @@ void be_ra_chordal_check(be_chordal_env_t *chordal_env) { - firm_dbg_module_t *dbg = chordal_env->dbg; const arch_env_t *arch_env = chordal_env->birg->main_env->arch_env; struct obstack ob; pmap_entry *pme; ir_node **nodes, *n1, *n2; int i, o; + DEBUG_ONLY(firm_dbg_module_t *dbg = chordal_env->dbg;) /* Collect all irns */ obstack_init(&ob); @@ -98,13 +99,13 @@ void be_ra_chordal_check(be_chordal_env_t *chordal_env) { static void check_pressure_walker(ir_node *bl, void *data) { be_chordal_env_t *env = data; - firm_dbg_module_t *dbg = env->dbg; int n_regs = arch_register_class_n_regs(env->cls); pset *live = pset_new_ptr_default(); int step = 0; ir_node *irn; irn_live_t *li; + DEBUG_ONLY(firm_dbg_module_t *dbg = env->dbg;) live_foreach(bl, li) { if(live_is_end(li) && chordal_has_class(env, li->irn)) { @@ -161,7 +162,7 @@ static be_ra_chordal_opts_t options = { BE_CH_SPILL_BELADY, BE_CH_COPYMIN_HEUR, BE_CH_IFG_STD, - BE_CH_LOWER_PERM_SWAP + BE_CH_LOWER_PERM_SWAP, }; #ifdef WITH_LIBCORE @@ -174,9 +175,11 @@ static const lc_opt_enum_int_items_t spill_items[] = { }; static const lc_opt_enum_int_items_t copymin_items[] = { + { "none", BE_CH_COPYMIN_NONE }, { "heur", BE_CH_COPYMIN_HEUR }, #ifdef WITH_ILP - { "ilp", BE_CH_COPYMIN_ILP }, + { "ilp1", BE_CH_COPYMIN_ILP1 }, + { "ilp2", BE_CH_COPYMIN_ILP2 }, #endif { NULL, 0 } }; @@ -188,8 +191,12 @@ static const lc_opt_enum_int_items_t ifg_flavor_items[] = { }; static const lc_opt_enum_int_items_t lower_perm_items[] = { - { "swap", BE_CH_LOWER_PERM_SWAP }, { "copy", BE_CH_LOWER_PERM_COPY }, + { "swap", BE_CH_LOWER_PERM_SWAP }, + { NULL, 0 } +}; + +static const lc_opt_enum_int_items_t lower_perm_stat_items[] = { { NULL, 0 } }; @@ -218,16 +225,33 @@ static lc_opt_enum_int_var_t ifg_flavor_var = { }; static lc_opt_enum_int_var_t lower_perm_var = { - &options.lower_perm_method, lower_perm_items + &options.lower_perm_opt, lower_perm_items }; static lc_opt_enum_int_var_t dump_var = { &options.dump_flags, dump_items }; +static const lc_opt_table_entry_t be_chordal_options[] = { + LC_OPT_ENT_ENUM_MASK("spill", "spill method (belady or ilp)", &spill_var), + LC_OPT_ENT_ENUM_PTR("copymin", "copymin method (none, heur or ilp)", ©min_var), + LC_OPT_ENT_ENUM_PTR("ifg", "interference graph flavour (std or fast)", &ifg_flavor_var), + LC_OPT_ENT_ENUM_MASK("perm", "perm lowering options (copy, swap)", &lower_perm_var), + LC_OPT_ENT_ENUM_MASK("dump", "select dump phases", &dump_var), + { NULL } +}; + static void be_ra_chordal_register_options(lc_opt_entry_t *grp) { - grp = lc_opt_get_grp(grp, "chordal"); + static int run_once = 0; + lc_opt_entry_t *chordal_grp; + + if (! run_once) { + run_once = 1; + chordal_grp = lc_opt_get_grp(grp, "chordal"); + + lc_opt_add_table(chordal_grp, be_chordal_options); + } } #endif @@ -240,39 +264,53 @@ static void dump(unsigned mask, ir_graph *irg, if(cls) { char buf[256]; snprintf(buf, sizeof(buf), "-%s%s", cls->name, suffix); - dump_func(irg, buf); + be_dump(irg, buf, dump_func); } else - dump_func(irg, suffix); + be_dump(irg, suffix, dump_func); } } +static void put_ignore_colors(be_chordal_env_t *chordal_env) +{ + int n_colors = chordal_env->cls->n_regs; + int i; + + bitset_clear_all(chordal_env->ignore_colors); + be_abi_put_ignore_regs(chordal_env->birg->abi, chordal_env->cls, chordal_env->ignore_colors); + for(i = 0; i < n_colors; ++i) + if(arch_register_type_is(&chordal_env->cls->regs[i], ignore)) + bitset_set(chordal_env->ignore_colors, i); +} + static void be_ra_chordal_main(const be_irg_t *bi) { + const be_main_env_t *main_env = bi->main_env; + const arch_isa_t *isa = arch_env_get_isa(main_env->arch_env); + ir_graph *irg = bi->irg; + int j, m; be_chordal_env_t chordal_env; - ir_graph *irg = bi->irg; - const be_main_env_t *main_env = bi->main_env; - const arch_isa_t *isa = arch_env_get_isa(main_env->arch_env); compute_doms(irg); - chordal_env.opts = &options; - chordal_env.irg = irg; - chordal_env.dbg = firm_dbg_register("firm.be.chordal"); - chordal_env.birg = bi; - chordal_env.dom_front = be_compute_dominance_frontiers(irg); + chordal_env.opts = &options; + chordal_env.irg = irg; + chordal_env.birg = bi; + chordal_env.dom_front = be_compute_dominance_frontiers(irg); + FIRM_DBG_REGISTER(chordal_env.dbg, "firm.be.chordal"); obstack_init(&chordal_env.obst); - /* add Keeps for should_be_different constrained nodes */ - lower_nodes_before_ra(&chordal_env); - /* Perform the following for each register class. */ for(j = 0, m = arch_isa_get_n_reg_class(isa); j < m; ++j) { - chordal_env.cls = arch_isa_get_reg_class(isa, j); - chordal_env.border_heads = pmap_create(); + chordal_env.cls = arch_isa_get_reg_class(isa, j); + chordal_env.border_heads = pmap_create(); + chordal_env.ignore_colors = bitset_malloc(chordal_env.cls->n_regs); + + /* put all ignore registers into the ignore register set. */ + put_ignore_colors(&chordal_env); be_liveness(irg); dump(BE_CH_DUMP_LIVE, irg, chordal_env.cls, "-live", dump_ir_block_graph_sched); @@ -295,9 +333,6 @@ static void be_ra_chordal_main(const be_irg_t *bi) be_liveness(irg); be_check_pressure(&chordal_env); - be_liveness(irg); - be_check_pressure(&chordal_env); - /* Color the graph. */ be_ra_chordal_color(&chordal_env); dump(BE_CH_DUMP_CONSTR, irg, chordal_env.cls, "-color", dump_ir_block_graph_sched); @@ -307,18 +342,43 @@ static void be_ra_chordal_main(const be_irg_t *bi) be_ifg_check(chordal_env.ifg); /* copy minimization */ - copystat_collect_cls(&chordal_env); #ifdef COPYOPT_STAT co_compare_solvers(&chordal_env); -#else +#else /* COPYOPT_STAT */ { - copy_opt_t *co = new_copy_opt(&chordal_env, co_get_costs_loop_depth); - co_build_ou_structure(co); - co_solve_heuristic(co); - co_free_ou_structure(co); - free_copy_opt(co); + copy_opt_t *co = NULL; + + if (options.copymin_method != BE_CH_COPYMIN_NONE) { + co = new_copy_opt(&chordal_env, co_get_costs_loop_depth); + co_build_ou_structure(co); + } + + switch(options.copymin_method) { + case BE_CH_COPYMIN_HEUR: + co_solve_heuristic(co); + break; +#ifdef WITH_ILP + case BE_CH_COPYMIN_ILP1: + printf("FIXME: %s:%d ILP1 not yet implemented!\n", __FILE__, __LINE__); + co_solve_ilp1(co, 60.0); + break; + case BE_CH_COPYMIN_ILP2: + co_build_graph_structure(co); + co_solve_ilp2(co, 60.0); + co_free_graph_structure(co); + break; +#endif /* WITH_ILP */ + case BE_CH_COPYMIN_NONE: + default: + break; + } + + if (co) { + co_free_ou_structure(co); + free_copy_opt(co); + } } -#endif +#endif /* COPYOPT_STAT */ dump(BE_CH_DUMP_COPYMIN, irg, chordal_env.cls, "-copymin", dump_ir_block_graph_sched); be_ra_chordal_check(&chordal_env); @@ -326,20 +386,20 @@ static void be_ra_chordal_main(const be_irg_t *bi) be_ssa_destruction(&chordal_env); dump(BE_CH_DUMP_SSADESTR, irg, chordal_env.cls, "-ssadestr", dump_ir_block_graph_sched); be_ssa_destruction_check(&chordal_env); -// be_ra_chordal_check(&chordal_env); + be_ra_chordal_check(&chordal_env); copystat_dump(irg); be_ifg_free(chordal_env.ifg); - pmap_destroy(chordal_env.border_heads); + bitset_free(chordal_env.ignore_colors); } be_compute_spill_offsets(&chordal_env); dump(BE_CH_DUMP_LOWER, irg, NULL, "-spilloff", dump_ir_block_graph_sched); - lower_nodes_after_ra(&chordal_env, options.lower_perm_method == BE_CH_LOWER_PERM_COPY ? 1 : 0); + lower_nodes_after_ra(&chordal_env, options.lower_perm_opt & BE_CH_LOWER_PERM_COPY ? 1 : 0); dump(BE_CH_DUMP_LOWER, irg, NULL, "-belower-after-ra", dump_ir_block_graph_sched); obstack_free(&chordal_env.obst, NULL);