#include "bestat.h"
#include "beverify.h"
#include "beprofile.h"
+#include "beblocksched.h"
#include "be_dbgout.h"
+#ifdef WITH_ILP
+#include "beilpsched.h"
+#endif /* WITH_ILP */
+
/* options visible for anyone */
static be_options_t be_options = {
DUMP_NONE, /* dump flags */
BE_TIME_OFF, /* no timing */
- BE_SCHED_SELECT_HEUR, /* mueller heuristic selector */
0, /* no opt profile */
- 0, /* disable mris */
1, /* try to omit frame pointer */
- 1, /* always stabs debugging output */
+ 0, /* always stabs debugging output */
BE_VRFY_WARN, /* verification level: warn */
+ BE_SCHED_LIST, /* scheduler: list scheduler */
"i44pc52.info.uni-karlsruhe.de", /* ilp server */
"cplex" /* ilp solver */
};
{ NULL, 0 }
};
-/* schedule selector options. */
-static const lc_opt_enum_int_items_t sched_select_items[] = {
- { "trivial", BE_SCHED_SELECT_TRIVIAL },
- { "random", BE_SCHED_SELECT_RANDOM },
- { "regpress", BE_SCHED_SELECT_REGPRESS },
- { "muchnik", BE_SCHED_SELECT_MUCHNIK },
- { "heur", BE_SCHED_SELECT_HEUR },
- { "hmuchnik", BE_SCHED_SELECT_HMUCHNIK },
- { NULL, 0 }
+/* scheduling options. */
+static const lc_opt_enum_int_items_t sched_items[] = {
+ { "list", BE_SCHED_LIST },
+#ifdef WITH_ILP
+ { "ilp", BE_SCHED_ILP },
+#endif /* WITH_ILP */
+ { NULL, 0 }
};
static lc_opt_enum_mask_var_t dump_var = {
&be_options.vrfy_option, vrfy_items
};
-static lc_opt_enum_int_var_t sched_select_var = {
- &be_options.sched_select, sched_select_items
+static lc_opt_enum_int_var_t sched_var = {
+ &be_options.scheduler, sched_items
};
static const lc_opt_table_entry_t be_main_options[] = {
- LC_OPT_ENT_STR ("config", "read another config file containing backend options", config_file, sizeof(config_file)),
- LC_OPT_ENT_ENUM_MASK("dump", "dump irg on several occasions", &dump_var),
- LC_OPT_ENT_ENUM_PTR ("ra", "register allocator", &ra_var),
- LC_OPT_ENT_ENUM_PTR ("isa", "the instruction set architecture", &isa_var),
- LC_OPT_ENT_NEGBOOL ("noomitfp", "do not omit frame pointer", &be_options.omit_fp),
- LC_OPT_ENT_BOOL ("stabs", "enable stabs debug support", &be_options.stabs_debug_support),
- LC_OPT_ENT_ENUM_PTR ("vrfy", "verify the backend irg (off, warn, assert)", &vrfy_var),
- LC_OPT_ENT_BOOL ("time", "get backend timing statistics", &be_options.timing),
- LC_OPT_ENT_BOOL ("profile", "instrument the code for execution count profiling", &be_options.opt_profile),
- LC_OPT_ENT_BOOL ("sched.mris", "enable mris schedule preparation", &be_options.mris),
- LC_OPT_ENT_ENUM_PTR ("sched.select", "schedule node selector (trivial, regpress, muchnik, heur, hmuchnik)", &sched_select_var),
+ LC_OPT_ENT_STR ("config", "read another config file containing backend options", config_file, sizeof(config_file)),
+ LC_OPT_ENT_ENUM_MASK("dump", "dump irg on several occasions", &dump_var),
+ LC_OPT_ENT_ENUM_PTR ("ra", "register allocator", &ra_var),
+ LC_OPT_ENT_ENUM_PTR ("isa", "the instruction set architecture", &isa_var),
+ LC_OPT_ENT_NEGBOOL ("noomitfp", "do not omit frame pointer", &be_options.omit_fp),
+ LC_OPT_ENT_BOOL ("stabs", "enable stabs debug support", &be_options.stabs_debug_support),
+ LC_OPT_ENT_ENUM_PTR ("vrfy", "verify the backend irg", &vrfy_var),
+ LC_OPT_ENT_BOOL ("time", "get backend timing statistics", &be_options.timing),
+ LC_OPT_ENT_BOOL ("profile", "instrument the code for execution count profiling", &be_options.opt_profile),
+ LC_OPT_ENT_ENUM_PTR ("sched", "select a scheduler", &sched_var),
+ LC_OPT_ENT_STR ("statfile", "append statistics to file statfile", &be_options.stat_file_name, sizeof(be_options.stat_file_name)),
#ifdef WITH_ILP
LC_OPT_ENT_STR ("ilp.server", "the ilp server name", be_options.ilp_server, sizeof(be_options.ilp_server)),
static int run_once = 0;
if (! run_once) {
- run_once = 1;
- be_grp_root = lc_opt_get_grp(firm_opt_get_root(), "be");
- be_grp_ra = lc_opt_get_grp(be_grp_root, "ra");
+ run_once = 1;
+ be_grp_root = lc_opt_get_grp(firm_opt_get_root(), "be");
+ be_grp_ra = lc_opt_get_grp(be_grp_root, "ra");
lc_opt_add_table(be_grp_root, be_main_options);
const arch_isa_if_t *isa = isa_items[i].value;
isa->register_options(be_grp_root);
}
+
+ /* scheduler register options */
+ list_sched_register_options(be_grp_root);
+
+ be_block_schedule_register_options(be_grp_root);
}
#endif /* WITH_LIBCORE */
}
optimization_state_t state;
const arch_code_generator_if_t *cg_if;
+ /* set the current graph (this is important for several firm functions) */
+ current_ir_graph = irg;
+
+ be_init_stat_file(be_options.stat_file_name, irg);
+
/* stop and reset timers */
BE_TIMER_ONLY(
LC_STOP_AND_RESET_TIMER(t_abi);
/**
* Create execution frequencies from profile data or estimate some
*/
- if(be_profile_has_data()) {
+ if (be_profile_has_data()) {
birg->execfreqs = be_create_execfreqs_from_profile(irg);
} else {
birg->execfreqs = compute_execfreq(irg, 10);
/* some transformations need to be done before abi introduce */
arch_code_generator_before_abi(birg->cg);
- /* set the current graph (this is important for several firm functions) */
- current_ir_graph = irg;
-
/* reset the phi handler. */
be_phi_handler_reset(env.phi_handler);
Since the code generator made a lot of new nodes and skipped
a lot of old ones, we should do dead node elimination here.
Note that this requires disabling the edges here.
- */
+ */
edges_deactivate(irg);
//dead_node_elimination(irg);
edges_activate(irg);
/* schedule the irg */
BE_TIMER_PUSH(t_sched);
- list_sched(birg, &be_options);
+ switch (be_options.scheduler) {
+ default:
+ fprintf(stderr, "Warning: invalid scheduler (%d) selected, falling back to list scheduler.\n", be_options.scheduler);
+ case BE_SCHED_LIST:
+ list_sched(birg, &be_options);
+ break;
+#ifdef WITH_ILP
+ case BE_SCHED_ILP:
+ be_ilp_sched(birg);
+ fprintf(stderr, "Warning: ILP scheduler not yet fully implemented, falling back to list scheduler.\n");
+ list_sched(birg, &be_options);
+ break;
+#endif /* WITH_ILP */
+ };
BE_TIMER_POP(t_sched);
dump(DUMP_SCHED, irg, "-sched", dump_ir_block_graph_sched);
BE_TIMER_ONLY(num_nodes_a = get_num_reachable_nodes(irg));
BE_TIMER_POP(t_other);
-#define LC_EMIT(timer) printf("%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0)
-#define LC_EMIT_RA(timer) printf("\t%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0)
+#define LC_EMIT(timer) \
+ printf("%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0); \
+ be_stat_ev_l(lc_timer_get_name(timer), lc_timer_elapsed_msec(timer));
+
+#define LC_EMIT_RA(timer) \
+ printf("\t%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0); \
+ be_stat_ev_l(lc_timer_get_name(timer), lc_timer_elapsed_msec(timer));
BE_TIMER_ONLY(
printf("==>> IRG %s <<==\n", get_entity_name(get_irg_entity(irg)));
printf("# nodes at begin: %u\n", num_nodes_b);
/* switched off due to statistics (statistic module needs all irgs) */
if (! stat_is_active())
free_ir_graph(irg);
+
+ be_close_stat_file();
}
be_profile_free();
be_done_env(&env);
{
#ifdef WITH_LIBCORE
lc_timer_t *t = NULL;
-#endif /* WITH_LIBCORE */
-#ifdef WITH_LIBCORE
/* The user specified another config file to read. do that now. */
if(strlen(config_file) > 0) {
FILE *f;
const char *be_retrieve_dbg_info(const dbg_info *dbg, unsigned *line) {
if (retrieve_dbg)
return retrieve_dbg(dbg, line);
+
*line = 0;
return NULL;
}
arch_put_non_ignore_regs(birg->main_env->arch_env, cls, bs);
bitset_flip_all(bs);
be_abi_put_ignore_regs(birg->abi, cls, bs);
- return bitset_popcnt(bs);
+ return bitset_popcnt(bs);
}
projects / libfirm / blobdiff