+#else
+
+#define BE_TIMER_INIT(main_opts)
+#define BE_TIMER_PUSH(timer)
+#define BE_TIMER_POP(timer)
+
+#endif /* WITH_LIBCORE */
+
+enum {
+ STAT_TAG_FILE = 0,
+ STAT_TAG_TIME = 1,
+ STAT_TAG_IRG = 2,
+ STAT_TAG_CLS = 3,
+ STAT_TAG_LAST
+};
+
+/**
+ * Performs chordal register allocation for each register class on given irg.
+ *
+ * @param bi Backend irg object
+ * @return Structure containing timer for the single phases or NULL if no timing requested.
+ */
+static be_ra_timer_t *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;
+ be_options_t *main_opts = main_env->options;
+ int splitted = 0;
+ FILE *stat_file = NULL;
+
+ char time_str[32];
+ char irg_name[128];
+ int j, m, line;
+ be_chordal_env_t chordal_env;
+ const char *stat_tags[STAT_TAG_LAST];
+
+ /* if we want to do some statistics, push the environment. */
+ if(strlen(stat_file_name) > 0 && (stat_file = fopen(stat_file_name, "at")) != NULL) {
+
+ /* initialize the statistics tags */
+ ir_snprintf(time_str, sizeof(time_str),"%u", time(NULL));
+ ir_snprintf(irg_name, sizeof(irg_name), "%F", irg);
+
+ stat_tags[STAT_TAG_FILE] = be_retrieve_dbg_info(get_entity_dbg_info(get_irg_entity(irg)), &line);
+ stat_tags[STAT_TAG_TIME] = time_str;
+ stat_tags[STAT_TAG_IRG] = irg_name;
+ stat_tags[STAT_TAG_CLS] = "<all>";
+
+ be_stat_ev_push(stat_tags, STAT_TAG_LAST, stat_file);
+ }