- Allow an arbitrary (for arbitrary < 32) number of in_rBAR and !in_rBAR constraints...
[libfirm] / ir / be / bemain.c
index d27cd2f..357afb0 100644 (file)
@@ -87,13 +87,14 @@ static be_options_t be_options = {
        DUMP_NONE,                         /* dump flags */
        BE_TIME_OFF,                       /* no timing */
        0,                                 /* no opt profile */
-       1,                                 /* try to omit frame pointer */
+       0,                                 /* try to omit frame pointer */
        0,                                 /* no 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 */
-       "",                                /* filename for statistic output */
+       0,                                 /* enable statistic event dumping */
+       "",                                /* print stat events */
 };
 
 /* config file. */
@@ -148,13 +149,16 @@ static lc_opt_enum_int_var_t sched_var = {
 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_NEGBOOL  ("noomitfp", "do not omit frame pointer",                           &be_options.omit_fp),
+       LC_OPT_ENT_BOOL     ("omitfp",   "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 FIRM_STATISTICS
+       LC_OPT_ENT_BOOL     ("statev",   "dump statistic events",                               &be_options.statev),
+       LC_OPT_ENT_STR      ("filtev",   "filter for stat events (regex if support is active",  &be_options.printev, sizeof(be_options.printev)),
+#endif
 
 #ifdef WITH_ILP
        LC_OPT_ENT_STR ("ilp.server", "the ilp server name", be_options.ilp_server, sizeof(be_options.ilp_server)),
@@ -323,9 +327,6 @@ static void initialize_birg(be_irg_t *birg, ir_graph *irg, be_main_env_t *env)
        /* Ensure, that the ir_edges are computed. */
        edges_assure(irg);
 
-       /* reset the phi handler. */
-       be_phi_handler_reset(env->phi_handler);
-
        set_irg_phase_state(irg, phase_backend);
 
        dump(DUMP_INITIAL, irg, "-prepared", dump_ir_block_graph);
@@ -446,19 +447,14 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                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;
 
-#ifdef FIRM_STATISTICS
-               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);
-               }
-#endif
+               /* reset the phi handler. */
+               be_phi_handler_reset(env.phi_handler);
+
+               stat_ev_ctx_push_fobj("bemain_irg", irg);
 
                /* stop and reset timers */
                BE_TIMER_ONLY(
@@ -496,9 +492,6 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                /* some transformations need to be done before abi introduce */
                arch_code_generator_before_abi(birg->cg);
 
-               /* reset the phi handler. */
-               be_phi_handler_reset(env.phi_handler);
-
                /* implement the ABI conventions. */
                BE_TIMER_PUSH(t_abi);
                birg->abi = be_abi_introduce(birg);
@@ -516,9 +509,14 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                }
 
                /* generate code */
+               stat_ev_ctx_push_str("bemain_phase", "prepare");
                BE_TIMER_PUSH(t_codegen);
                arch_code_generator_prepare_graph(birg->cg);
                BE_TIMER_POP(t_codegen);
+               stat_ev_ctx_pop("bemain_phase");
+
+               /* reset the phi handler. */
+               be_phi_handler_reset(env.phi_handler);
 
                be_do_stat_nodes(irg, "03 Prepare");
 
@@ -546,9 +544,11 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                /* be_live_chk_compare(birg); */
 
                /* let backend prepare scheduling */
+               stat_ev_ctx_push_str("bemain_phase", "before_sched");
                BE_TIMER_PUSH(t_codegen);
                arch_code_generator_before_sched(birg->cg);
                BE_TIMER_POP(t_codegen);
+               stat_ev_ctx_pop("bemain_phase");
 
                /* schedule the irg */
                BE_TIMER_PUSH(t_sched);
@@ -581,6 +581,9 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                save_optimization_state(&state);
                set_optimize(0);
                set_opt_normalize(0);
+               set_opt_cse(0);
+
+               assert(!get_opt_cse());
 
                /* add Keeps for should_be_different constrained nodes  */
                /* beware: needs schedule due to usage of be_ssa_constr */
@@ -608,13 +611,10 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                BE_TIMER_POP(t_verify);
 
                /* do some statistics */
-               be_do_stat_reg_pressure(birg);
+               //be_do_stat_reg_pressure(birg);
 
 #ifdef FIRM_STATISTICS
-               if(be_stat_ev_is_active()) {
-                       be_stat_ev_l("costs_before_ra",
-                                       (long) be_estimate_irg_costs(irg, env.arch_env, birg->exec_freq));
-               }
+               stat_ev_dbl("costs_before_ra", be_estimate_irg_costs(irg, env.arch_env, birg->exec_freq));
 #endif
 
                /* Do register allocation */
@@ -623,10 +623,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                BE_TIMER_POP(t_regalloc);
 
 #ifdef FIRM_STATISTICS
-               if(be_stat_ev_is_active()) {
-                       be_stat_ev_l("costs_after_ra",
-                                       (long) be_estimate_irg_costs(irg, env.arch_env, birg->exec_freq));
-               }
+               stat_ev_dbl("costs_before_ra", be_estimate_irg_costs(irg, env.arch_env, birg->exec_freq));
 #endif
 
                dump(DUMP_RA, irg, "-ra", dump_ir_block_graph_sched);
@@ -640,7 +637,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                /* fix stack offsets */
                BE_TIMER_PUSH(t_abi);
                be_abi_fix_stack_nodes(birg->abi);
-               be_remove_dead_nodes_from_schedule(irg);
+               be_remove_dead_nodes_from_schedule(birg);
                be_abi_fix_stack_bias(birg->abi);
                BE_TIMER_POP(t_abi);
 
@@ -659,13 +656,13 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                        be_check_dominance(irg);
                        be_verify_out_edges(irg);
                        be_verify_schedule(birg);
-                       be_verify_register_allocation(env.arch_env, irg);
+                       be_verify_register_allocation(birg);
                } else if (be_options.vrfy_option == BE_VRFY_ASSERT) {
                        assert(irg_verify(irg, VRFY_ENFORCE_SSA) && "irg verification failed");
                        assert(be_verify_out_edges(irg) && "out edge verification failed");
                        assert(be_check_dominance(irg) && "Dominance verification failed");
                        assert(be_verify_schedule(birg) && "Schedule verification failed");
-                       assert(be_verify_register_allocation(env.arch_env, irg)
+                       assert(be_verify_register_allocation(birg)
                               && "register allocation verification failed");
 
                }
@@ -689,24 +686,18 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
                BE_TIMER_POP(t_other);
 
 #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)); \
-       }
+               stat_ev_dbl(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)); \
-       }
+               stat_ev_dbl(lc_timer_get_name(timer), lc_timer_elapsed_msec(timer)); \
+
                BE_TIMER_ONLY(
-                       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);
-                       }
+                       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);
@@ -742,9 +733,7 @@ static void be_main_loop(FILE *file_handle, const char *cup_name)
 #endif /* FIRM_STATISTICS */
                        free_ir_graph(irg);
 #endif /* if 0 */
-               if(be_stat_ev_is_active()) {
-                       be_stat_ev_pop();
-               }
+               stat_ev_ctx_pop("bemain_irg");
        }
        be_profile_free();
        be_done_env(&env);
@@ -780,7 +769,16 @@ void be_main(FILE *file_handle, const char *cup_name)
        }
 
 #ifdef FIRM_STATISTICS
-       be_init_stat_file(be_options.stat_file_name, 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);
+               strncpy(buf, cup_name, pos - cup_name);
+               buf[pos - cup_name] = '\0';
+
+               be_options.statev = 1;
+               stat_ev_begin(buf, be_options.printev);
+       }
 #endif
 
        /* never build code for pseudo irgs */
@@ -793,15 +791,13 @@ void be_main(FILE *file_handle, const char *cup_name)
        if (be_options.timing == BE_TIME_ON) {
                lc_timer_stop(t);
                lc_timer_leave_high_priority();
-               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));
-               }
+               stat_ev_dbl("backend_time", lc_timer_elapsed_msec(t));
+               printf("%-20s: %lu msec\n", "BEMAINLOOP", lc_timer_elapsed_msec(t));
        }
 
 #ifdef FIRM_STATISTICS
-       be_close_stat_file();
+       if (be_options.statev)
+               stat_ev_end();
 #endif
 }