static be_ra_chordal_opts_t options = {
BE_CH_DUMP_NONE,
BE_CH_SPILL_BELADY,
- BE_CH_COPYMIN_HEUR,
+ BE_CH_COPYMIN_HEUR1,
BE_CH_IFG_STD,
BE_CH_LOWER_PERM_SWAP,
};
};
static const lc_opt_enum_int_items_t copymin_items[] = {
- { "heur", BE_CH_COPYMIN_HEUR },
+ { "none", BE_CH_COPYMIN_NONE },
+ { "heur1", BE_CH_COPYMIN_HEUR1 },
+ { "heur2", BE_CH_COPYMIN_HEUR2 },
+ { "stat", BE_CH_COPYMIN_STAT },
#ifdef WITH_ILP
- { "ilp", BE_CH_COPYMIN_ILP },
+ { "ilp1", BE_CH_COPYMIN_ILP1 },
+ { "ilp2", BE_CH_COPYMIN_ILP2 },
#endif
{ NULL, 0 }
};
static const lc_opt_enum_int_items_t lower_perm_items[] = {
{ "copy", BE_CH_LOWER_PERM_COPY },
{ "swap", BE_CH_LOWER_PERM_SWAP },
- { "stat", BE_CH_LOWER_PERM_STAT },
{ NULL, 0 }
};
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 (heur or ilp)", ©min_var),
+ LC_OPT_ENT_ENUM_PTR("copymin", "copymin method (none, heur1, heur2, ilp1, ilp2 or stat)", ©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, stat)", &lower_perm_var),
+ LC_OPT_ENT_ENUM_MASK("perm", "perm lowering options (copy or swap)", &lower_perm_var),
LC_OPT_ENT_ENUM_MASK("dump", "select dump phases", &dump_var),
{ NULL }
};
bitset_set(chordal_env->ignore_colors, i);
}
+FILE *be_chordal_open(const be_chordal_env_t *env, const char *prefix, const char *suffix)
+{
+ char buf[1024];
+
+ ir_snprintf(buf, sizeof(buf), "%s%F_%s.%s", prefix, env->irg, env->cls->name, suffix);
+ return fopen(buf, "wt");
+}
+
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;
+ const arch_isa_t *isa = arch_env_get_isa(main_env->arch_env);
+ ir_graph *irg = bi->irg;
+ copy_opt_t *co;
int j, m;
be_chordal_env_t chordal_env;
be_spill_belady(&chordal_env);
}
dump(BE_CH_DUMP_SPILL, irg, chordal_env.cls, "-spill", dump_ir_block_graph_sched);
+ be_abi_fix_stack_nodes(bi->abi);
be_liveness(irg);
be_check_pressure(&chordal_env);
chordal_env.ifg = be_ifg_std_new(&chordal_env);
be_ifg_check(chordal_env.ifg);
-#if 1
/* copy minimization */
-#ifdef COPYOPT_STAT
- co_compare_solvers(&chordal_env);
-#else
- {
- copy_opt_t *co = new_copy_opt(&chordal_env, co_get_costs_loop_depth);
+ co = NULL;
+ if (options.copymin_method != BE_CH_COPYMIN_NONE && options.copymin_method != BE_CH_COPYMIN_STAT) {
+ co = new_copy_opt(&chordal_env, co_get_costs_loop_depth);
co_build_ou_structure(co);
- co_solve_heuristic(co);
+ }
+
+ switch(options.copymin_method) {
+ case BE_CH_COPYMIN_HEUR1:
+ co_solve_heuristic(co);
+ break;
+ case BE_CH_COPYMIN_HEUR2:
+ co_build_graph_structure(co);
+ co_solve_heuristic_new(co);
+ co_free_graph_structure(co);
+ break;
+ case BE_CH_COPYMIN_STAT:
+ co_compare_solvers(&chordal_env);
+ 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
+
dump(BE_CH_DUMP_COPYMIN, irg, chordal_env.cls, "-copymin", dump_ir_block_graph_sched);
be_ra_chordal_check(&chordal_env);
dump(BE_CH_DUMP_LOWER, irg, NULL, "-spilloff", dump_ir_block_graph_sched);
- lower_nodes_after_ra(&chordal_env,
- options.lower_perm_opt & BE_CH_LOWER_PERM_COPY ? 1 : 0,
- options.lower_perm_opt & BE_CH_LOWER_PERM_STAT ? 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);