X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbemain.c;h=d6e5579a061707fa87bebec9577ecc31fba79fc8;hb=5474a1c188c9d59eea2c915515980cd9cbab58d8;hp=d02d54342725888079bd91446f20ecbf8253ec7d;hpb=30a48b51f75dab1a41560ba21f4ac0ab59e3a189;p=libfirm diff --git a/ir/be/bemain.c b/ir/be/bemain.c index d02d54342..d6e5579a0 100644 --- a/ir/be/bemain.c +++ b/ir/be/bemain.c @@ -22,7 +22,6 @@ * @brief Main Backend driver. * @author Sebastian Hack * @date 25.11.2004 - * @version $Id$ */ #include "config.h" @@ -50,6 +49,7 @@ #include "execfreq.h" #include "irprofile.h" #include "irpass_t.h" +#include "ircons.h" #include "bearch.h" #include "be_t.h" @@ -141,11 +141,27 @@ static const lc_opt_table_entry_t be_main_options[] = { LC_OPT_LAST }; -static be_module_list_entry_t *isa_ifs = NULL; - +static be_module_list_entry_t *isa_ifs = NULL; +static bool isa_initialized = false; asm_constraint_flags_t asm_constraint_flags[256]; +static void initialize_isa(void) +{ + if (isa_initialized) + return; + isa_if->init(); + isa_initialized = true; +} + +static void finish_isa(void) +{ + if (isa_initialized) { + isa_if->finish(); + isa_initialized = false; + } +} + void be_init_default_asm_constraint_flags(void) { asm_constraint_flags['?'] = ASM_CONSTRAINT_FLAG_NO_SUPPORT; @@ -213,6 +229,8 @@ asm_constraint_flags_t be_parse_asm_constraints(const char *constraint) const char *c; asm_constraint_flags_t tflags; + initialize_isa(); + for (c = constraint; *c != '\0'; ++c) { switch (*c) { case '#': @@ -262,6 +280,8 @@ asm_constraint_flags_t be_parse_asm_constraints(const char *constraint) int be_is_valid_clobber(const char *clobber) { + initialize_isa(); + /* memory is a valid clobber. (the frontend has to detect this case too, * because it has to add memory edges to the asm) */ if (strcmp(clobber, "memory") == 0) @@ -281,7 +301,7 @@ void be_register_isa_if(const char *name, const arch_isa_if_t *isa) be_add_module_to_list(&isa_ifs, name, (void*) isa); } -void be_opt_register(void) +static void be_opt_register(void) { lc_opt_entry_t *be_grp; static int run_once = 0; @@ -330,12 +350,14 @@ void firm_be_init(void) /* Finalize the Firm backend. */ void firm_be_finish(void) { + finish_isa(); be_quit_modules(); } /* Returns the backend parameter */ const backend_params *be_get_backend_param(void) { + initialize_isa(); return isa_if->get_params(); } @@ -345,21 +367,22 @@ const backend_params *be_get_backend_param(void) * @param env an empty environment * @param file_handle the file handle where the output will be written to */ -static be_main_env_t *be_init_env(be_main_env_t *env, FILE *file_handle) +static be_main_env_t *be_init_env(be_main_env_t *env, FILE *file_handle, + const char *compilation_unit_name) { memset(env, 0, sizeof(*env)); env->options = &be_options; + env->file_handle = file_handle; env->ent_trampoline_map = pmap_create(); env->pic_trampolines_type = new_type_class(NEW_ID("$PIC_TRAMPOLINE_TYPE")); env->ent_pic_symbol_map = pmap_create(); env->pic_symbols_type = new_type_struct(NEW_ID("$PIC_SYMBOLS_TYPE")); + env->cup_name = compilation_unit_name; - remove_irp_type(env->pic_trampolines_type); - remove_irp_type(env->pic_symbols_type); set_class_final(env->pic_trampolines_type, 1); memset(asm_constraint_flags, 0, sizeof(asm_constraint_flags)); - env->arch_env = arch_env_init(isa_if, file_handle, env); + env->arch_env = arch_env_begin_codegeneration(isa_if, env); return env; } @@ -406,6 +429,7 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env) birg->irg = irg; birg->main_env = env; obstack_init(&birg->obst); + birg->lv = be_liveness_new(irg); edges_deactivate_kind(irg, EDGE_KIND_DEP); edges_activate_kind(irg, EDGE_KIND_DEP); @@ -413,10 +437,6 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env) /* set the current graph (this is important for several firm functions) */ current_ir_graph = irg; - /* For code generation all unreachable code and Bad nodes should be gone */ - remove_unreachable_code(irg); - remove_bads(irg); - /* we do this before critical edge split. As this produces less returns, because sometimes (= 164.gzip) multiple returns are slower */ normalize_n_returns(irg); @@ -424,6 +444,10 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env) /* Remove critical edges */ remove_critical_cf_edges_ex(irg, /*ignore_exception_edges=*/0); + /* For code generation all unreachable code and Bad nodes should be gone */ + remove_unreachable_code(irg); + remove_bads(irg); + /* Ensure, that the ir_edges are computed. */ edges_assure(irg); @@ -470,6 +494,11 @@ void be_lower_for_target(void) { size_t i; + initialize_isa(); + + /* shouldn't lower program twice */ + assert(get_irp_phase_state() != phase_low); + isa_if->lower_for_target(); /* set the phase to low */ for (i = get_irp_n_irgs(); i > 0;) { @@ -479,17 +508,6 @@ void be_lower_for_target(void) set_irp_phase_state(phase_low); } -static void emit_global_asms(void) -{ - size_t n = get_irp_n_asms(); - size_t i; - for (i = 0; i < n; ++i) { - be_emit_cstring("#APP\n"); - be_emit_ident(get_irp_asm(i)); - be_emit_cstring("\n#NO_APP\n"); - } -} - /** * The Firm backend main loop. * Do architecture specific lowering for all graphs @@ -506,46 +524,36 @@ static void be_main_loop(FILE *file_handle, const char *cup_name) 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); + /* perform target lowering if it didn't happen yet */ + if (get_irp_phase_state() != phase_low) + be_lower_for_target(); + if (be_timing) { for (i = 0; i < T_LAST+1; ++i) { be_timers[i] = ir_timer_new(); } } - be_init_env(&env, file_handle); - env.cup_name = cup_name; - - be_dbg_open(); - be_dbg_unit_begin(cup_name); - be_dbg_types(); - - emit_global_asms(); + be_init_env(&env, file_handle, cup_name); arch_env = env.arch_env; - /* backend may provide an ordered list of irgs where code should be - * generated for */ - irg_list = NEW_ARR_F(ir_graph *, 0); - backend_irg_list = arch_env_get_backend_irg_list(arch_env, &irg_list); - /* we might need 1 birg more for instrumentation constructor */ - num_birgs = backend_irg_list ? ARR_LEN(backend_irg_list) : get_irp_n_irgs(); + num_birgs = get_irp_n_irgs(); 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); + ir_graph *irg = get_irp_irg(i); initialize_birg(&birgs[i], irg, &env); } arch_env_handle_intrinsics(arch_env); - DEL_ARR_F(irg_list); /* Get the filename for the profiling data. @@ -561,7 +569,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name) prof_filename); } } - if (be_options.opt_profile_generate) { + if (num_birgs > 0 && be_options.opt_profile_generate) { ir_graph *prof_init_irg = ir_profile_instrument(prof_filename); initialize_birg(&birgs[num_birgs], prof_init_irg, &env); @@ -723,8 +731,8 @@ static void be_main_loop(FILE *file_handle, const char *cup_name) dump(DUMP_RA, irg, "ra"); be_timer_push(T_FINISH); - if (arch_env->impl->finish != NULL) - arch_env->impl->finish(irg); + if (arch_env->impl->finish_graph != NULL) + arch_env->impl->finish_graph(irg); be_timer_pop(T_FINISH); dump(DUMP_FINAL, irg, "finish"); @@ -796,10 +804,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name) stat_ev_ctx_pop("bemain_irg"); } - arch_env_done(arch_env); - - be_dbg_unit_end(); - be_dbg_close(); + arch_env_end_codegeneration(arch_env); ir_profile_free(); be_done_env(&env);