#include "irloop_t.h"
#include "irtools.h"
#include "irvrfy.h"
+#include "irprintf.h"
#include "return.h"
#include "firmstat.h"
#include "cfopt.h"
#include "arm/bearch_arm.h"
#include "ppc32/bearch_ppc32.h"
#include "mips/bearch_mips.h"
+// #include "sta/bearch_sta.h"
#include "be_t.h"
#include "benumb_t.h"
#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 */
- 0, /* no 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 */
};
static const lc_opt_enum_const_ptr_items_t isa_items[] = {
{ "ia32", &ia32_isa_if },
#if 0
+ { "sta", &sta_isa_if },
{ "arm", &arm_isa_if },
{ "ppc32", &ppc32_isa_if },
{ "mips", &mips_isa_if },
{ 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);
}
+
+ /* list scheduler register options */
+ list_sched_register_options(be_grp_root);
+
+#ifdef WITH_ILP
+ /* ilp scheduler register options */
+ ilpsched_register_options(be_grp_root);
+#endif /* WITH_ILP */
+
+ be_block_schedule_register_options(be_grp_root);
}
#endif /* WITH_LIBCORE */
}
be_irg_t *birgs;
unsigned num_birgs;
+ be_ra_timer_t *ra_timer;
+
#ifdef WITH_LIBCORE
lc_timer_t *t_abi = NULL;
lc_timer_t *t_codegen = NULL;
lc_timer_t *t_emit = NULL;
lc_timer_t *t_other = NULL;
lc_timer_t *t_verify = NULL;
- be_ra_timer_t *ra_timer;
if (be_options.timing == BE_TIME_ON) {
t_abi = lc_timer_register("beabi", "be abi introduction");
ir_graph *irg = birg->irg;
optimization_state_t state;
const arch_code_generator_if_t *cg_if;
+ char irg_name[128];
+
+ /* set the current graph (this is important for several firm functions) */
+ current_ir_graph = irg;
+
+ if(be_stat_ev_is_active()) {
+ ir_snprintf(irg_name, sizeof(irg_name), "%F", irg);
+ be_stat_tags[STAT_TAG_CLS] = "<all>";
+ be_stat_tags[STAT_TAG_IRG] = irg_name;
+ be_stat_ev_push(be_stat_tags, STAT_TAG_LAST, be_stat_file);
+ }
/* stop and reset timers */
BE_TIMER_ONLY(
/**
* 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);
arch_code_generator_before_ra(birg->cg);
BE_TIMER_POP(t_codegen);
+ if(be_stat_ev_is_active()) {
+ be_stat_ev_l("costs_before_ra",
+ (long) be_estimate_irg_costs(irg, env.arch_env, birg->execfreqs));
+ }
+
/* Do register allocation */
BE_TIMER_PUSH(t_regalloc);
ra_timer = ra->allocate(birg);
BE_TIMER_POP(t_regalloc);
+ if(be_stat_ev_is_active()) {
+ be_stat_ev_l("costs_after_ra",
+ (long) be_estimate_irg_costs(irg, env.arch_env, birg->execfreqs));
+ }
+
dump(DUMP_RA, irg, "-ra", dump_ir_block_graph_sched);
be_do_stat_nodes(irg, "06 Register Allocation");
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) \
+ if(!be_stat_ev_is_active()) { \
+ printf("%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0); \
+ } else { \
+ be_stat_ev_l(lc_timer_get_name(timer), lc_timer_elapsed_msec(timer)); \
+ }
+#define LC_EMIT_RA(timer) \
+ if(!be_stat_ev_is_active()) { \
+ printf("\t%-20s: %.3lf msec\n", lc_timer_get_description(timer), (double)lc_timer_elapsed_usec(timer) / 1000.0); \
+ } else { \
+ 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);
- printf("# nodes before ra: %u\n", num_nodes_r);
- printf("# nodes at end: %u\n\n", num_nodes_a);
+ if(!be_stat_ev_is_active()) {
+ printf("==>> IRG %s <<==\n", get_entity_name(get_irg_entity(irg)));
+ printf("# nodes at begin: %u\n", num_nodes_b);
+ printf("# nodes before ra: %u\n", num_nodes_r);
+ printf("# nodes at end: %u\n\n", num_nodes_a);
+ }
LC_EMIT(t_abi);
LC_EMIT(t_codegen);
LC_EMIT(t_sched);
/* switched off due to statistics (statistic module needs all irgs) */
if (! stat_is_active())
free_ir_graph(irg);
+
+ if(be_stat_ev_is_active()) {
+ be_stat_ev_pop();
+ }
}
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;
lc_timer_reset_and_start(t);
}
+
+ be_init_stat_file(be_options.stat_file_name, cup_name);
#endif /* WITH_LIBCORE */
/* never build code for pseudo irgs */
set_visit_pseudo_irgs(0);
be_node_init();
+
be_main_loop(file_handle, cup_name);
#ifdef WITH_LIBCORE
if (be_options.timing == BE_TIME_ON) {
lc_timer_stop(t);
lc_timer_leave_high_priority();
- printf("%-20s: %lu msec\n", "BEMAINLOOP", lc_timer_elapsed_msec(t));
+ if(be_stat_ev_is_active()) {
+ be_stat_ev_l("backend_time", lc_timer_elapsed_msec(t));
+ } else {
+ printf("%-20s: %lu msec\n", "BEMAINLOOP", lc_timer_elapsed_msec(t));
+ }
}
+
+ be_close_stat_file();
#endif /* WITH_LIBCORE */
}
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