initialize backend opcode right after frontend opcodes
[libfirm] / ir / be / bemain.c
index cbca78d..5527ec1 100644 (file)
@@ -155,7 +155,7 @@ static const lc_opt_table_entry_t be_main_options[] = {
        LC_OPT_ENT_BOOL     ("omitleaffp", "omit frame pointer in leaf routines",                 &be_options.omit_leaf_fp),
        LC_OPT_ENT_BOOL     ("pic",        "create PIC code",                                     &be_options.pic),
        LC_OPT_ENT_BOOL     ("gprof",      "create gprof profiling code",                         &be_options.gprof),
-       LC_OPT_ENT_ENUM_PTR ("vrfy",       "verify the backend irg",                              &vrfy_var),
+       LC_OPT_ENT_ENUM_PTR ("verify",       "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),
@@ -317,25 +317,24 @@ void be_opt_register(void)
        lc_opt_entry_t *be_grp;
        static int run_once = 0;
 
-       if (run_once) {
+       if (run_once)
                return;
-       }
-       run_once     = 1;
-
-       be_init_modules();
+       run_once = 1;
 
        be_grp = lc_opt_get_grp(firm_opt_get_root(), "be");
        lc_opt_add_table(be_grp, be_main_options);
 
        be_add_module_list_opt(be_grp, "isa", "the instruction set architecture",
                               &isa_ifs, (void**) &isa_if);
+
+       be_init_modules();
 }
 
 /* Parse one argument. */
 int be_parse_arg(const char *arg) {
        lc_opt_entry_t *be_grp = lc_opt_get_grp(firm_opt_get_root(), "be");
        if (strcmp(arg, "help") == 0 || (arg[0] == '?' && arg[1] == '\0')) {
-               lc_opt_print_help(be_grp, stdout);
+               lc_opt_print_help_for_entry(be_grp, '-', stdout);
                return -1;
        }
        return lc_opt_from_single_arg(be_grp, NULL, arg, NULL);
@@ -345,13 +344,15 @@ int be_parse_arg(const char *arg) {
 static const backend_params be_params = {
        0,    /* need dword lowering */
        0,    /* don't support inline assembler yet */
-       0,     /* no immediate floating point mode. */
-       NULL, /* no additional opcodes */
        NULL, /* will be set later */
        NULL, /* but yet no creator function */
        NULL, /* context for create_intrinsic_fkt */
        NULL, /* no if conversion settings */
-       NULL   /* no immediate fp mode */
+       NULL, /* no float arithmetic mode */
+       0,    /* no trampoline support: size 0 */
+       0,    /* no trampoline support: align 0 */
+       NULL, /* no trampoline support: no trampoline builder */
+       4     /* alignment of stack parameter */
 };
 
 /* Perform schedule verification if requested. */
@@ -474,6 +475,7 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env)
        edges_assure(irg);
 
        set_irg_phase_state(irg, phase_backend);
+       be_info_init_irg(irg);
 
        dump(DUMP_INITIAL, irg, "-prepared", dump_ir_block_graph);
 }
@@ -514,14 +516,14 @@ ir_timer_t *t_ra_other;
  */
 static void be_main_loop(FILE *file_handle, const char *cup_name)
 {
-       int i;
-       be_main_env_t env;
-       char prof_filename[256];
        static const char suffix[] = ".prof";
-       be_irg_t *birgs;
-       int num_birgs;
-       ir_graph **irg_list, **backend_irg_list;
-       arch_env_t *arch_env;
+
+       int           i, num_birgs, stat_active = 0;
+       be_main_env_t env;
+       char          prof_filename[256];
+       be_irg_t      *birgs;
+       ir_graph      **irg_list, **backend_irg_list;
+       arch_env_t    *arch_env;
 
        be_timing = (be_options.timing == BE_TIME_ON);
 
@@ -566,13 +568,16 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 
        /* we might need 1 birg more for instrumentation constructor */
        num_birgs = backend_irg_list ? ARR_LEN(backend_irg_list) : get_irp_n_irgs();
-       birgs     = alloca(sizeof(birgs[0]) * (num_birgs + 1));
+       birgs     = ALLOCAN(be_irg_t, num_birgs + 1);
+
+       be_info_init();
 
        /* First: initialize all birgs */
        for(i = 0; i < num_birgs; ++i) {
                ir_graph *irg = backend_irg_list ? backend_irg_list[i] : get_irp_irg(i);
                initialize_birg(&birgs[i], irg, &env);
        }
+       arch_env_handle_intrinsics(arch_env);
        DEL_ARR_F(irg_list);
 
        /*
@@ -595,6 +600,10 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                ir_profile_read(prof_filename);
        }
 
+#ifdef FIRM_STATISTICS
+       stat_active = stat_is_active();
+#endif /* FIRM_STATISTICS */
+
        /* For all graphs */
        for (i = 0; i < num_birgs; ++i) {
                be_irg_t *birg = &birgs[i];
@@ -605,8 +614,6 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                /* set the current graph (this is important for several firm functions) */
                current_ir_graph = irg;
 
-               be_sched_init_phase(irg);
-
                /* reset the phi handler. */
                be_phi_handler_reset();
 
@@ -690,11 +697,6 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                /* disabled for now, fails for EmptyFor.c and XXEndless.c */
                /* be_live_chk_compare(birg); */
 
-               /* let backend prepare scheduling */
-               BE_TIMER_PUSH(t_codegen);
-               arch_code_generator_before_sched(birg->cg);
-               BE_TIMER_POP(t_codegen);
-
                /* schedule the irg */
                BE_TIMER_PUSH(t_sched);
                switch (be_options.scheduler) {
@@ -865,13 +867,19 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                );
 #undef LC_EMIT
 
-               be_sched_free_phase(irg);
-
                be_free_birg(birg);
+
+        /* switched off due to statistics (statistic module needs all irgs) */
+#ifdef FIRM_STATISTICS
+               if (! stat_active)
+#endif /* FIRM_STATISTICS */
+                       remove_irp_irg(irg);
                stat_ev_ctx_pop("bemain_irg");
        }
        ir_profile_free();
        be_done_env(&env);
+
+       be_info_free();
 }
 
 /* Main interface to the frontend. */
@@ -881,11 +889,13 @@ void be_main(FILE *file_handle, const char *cup_name)
 
        /* The user specified another config file to read. do that now. */
        if (config_file[0] != '\0') {
-               FILE *f;
+               FILE *f = fopen(config_file, "rt");
 
-               if ((f = fopen(config_file, "rt")) != NULL) {
+               if (f != NULL) {
                        lc_opt_from_file(config_file, f, NULL);
                        fclose(f);
+               } else {
+                       fprintf(stderr, "Warning: Cannot open config file '%s'\n", config_file);
                }
        }
 
@@ -903,7 +913,7 @@ void be_main(FILE *file_handle, const char *cup_name)
        if (be_options.statev) {
                const char *dot = strrchr(cup_name, '.');
                const char *pos = dot ? dot : cup_name + strlen(cup_name);
-               char       *buf = alloca(pos - cup_name + 1);
+               char       *buf = ALLOCAN(char, pos - cup_name + 1);
                strncpy(buf, cup_name, pos - cup_name);
                buf[pos - cup_name] = '\0';
 
@@ -916,8 +926,6 @@ void be_main(FILE *file_handle, const char *cup_name)
        /* never build code for pseudo irgs */
        set_visit_pseudo_irgs(0);
 
-       be_node_init();
-
        be_main_loop(file_handle, cup_name);
 
        if (be_options.timing == BE_TIME_ON) {
@@ -945,7 +953,7 @@ unsigned be_put_ignore_regs(const be_irg_t *birg, const arch_register_class_t *c
        else
                bitset_clear_all(bs);
 
-       assert(bitset_size(bs) == (unsigned)cls->n_regs);
+       assert(bitset_size(bs) == cls->n_regs);
        arch_put_non_ignore_regs(cls, bs);
        bitset_flip_all(bs);
        be_abi_put_ignore_regs(birg->abi, cls, bs);