X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbestat.c;h=2f9453a7b86573df7e3674558b7edf82c7f1e99a;hb=2589efb23f5c24a341529d4f75d6f5f7eddaba00;hp=ba95f4fd77d9d9537b38bc97cb7d61a2af1e2c68;hpb=fe40baa975ac6327583e7257d34ce828b200ebb6;p=libfirm diff --git a/ir/be/bestat.c b/ir/be/bestat.c index ba95f4fd7..2f9453a7b 100644 --- a/ir/be/bestat.c +++ b/ir/be/bestat.c @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -20,12 +20,10 @@ /** * @file * @brief Provides several statistic functions for the backend. - * @author Christian Wuerdig + * @author Christian Wuerdig, Matthias Braun * @version $Id$ */ -#ifdef HAVE_CONFIG_H #include "config.h" -#endif #include @@ -34,88 +32,23 @@ #include "irgwalk.h" #include "irhooks.h" #include "execfreq.h" -#include "dbginfo_t.h" #include "firmstat_t.h" #include "irtools.h" -#include "pset.h" #include "statev.h" +#include "error.h" -#include "bearch_t.h" +#include "bearch.h" +#include "beirg.h" #include "bestat.h" #include "belive_t.h" #include "besched.h" -#include "benode_t.h" - -#ifdef FIRM_STATISTICS - -typedef struct _be_stat_irg_t { - ir_graph *irg; /**< the irg, the statistic is about */ - pset *phases; /**< node statistics for each phase */ - struct obstack obst; /**< the obstack containing the information */ - const arch_env_t *arch_env; /**< the current arch env */ -} be_stat_irg_t; - -typedef struct _be_stat_phase_t { - const arch_env_t *arch_env; /**< the current arch env */ - const char *phase; /**< the name of the phase the statistic is about */ - unsigned long num_nodes; /**< overall number of reachable nodes in the irg */ - unsigned long num_data; /**< number of data nodes ((mode_datab && ! Proj && ! Phi) || mode_T) */ - unsigned long num_proj; /**< number of Projs */ - unsigned long num_phi; /**< number of Phis */ - unsigned long num_load; /**< number of Loads */ - unsigned long num_store; /**< number of Stores */ - unsigned long num_spill; /**< number of Spills */ - unsigned long num_reload; /**< number of Reloads */ -} be_stat_phase_t; - -static set *be_stat_data = NULL; - -static int cmp_stat_phase(const void *a, const void *b) { - const be_stat_phase_t *p1 = a; - const be_stat_phase_t *p2 = b; - - return p1->phase != p2->phase; -} - -static int cmp_stat_data(const void *a, const void *b, size_t len) { - const be_stat_irg_t *p1 = a; - const be_stat_irg_t *p2 = b; - (void) len; - - return p1->irg != p2->irg; -} - -static be_stat_irg_t *find_stat_irg_entry(ir_graph *irg) { - be_stat_irg_t *entry, key; - - if (! be_stat_data) - return NULL; - - key.irg = irg; - entry = set_find(be_stat_data, &key, sizeof(key), HASH_PTR(irg)); - - return entry; -} - -static be_stat_irg_t *get_stat_irg_entry(ir_graph *irg) { - be_stat_irg_t *entry, key; - - if (! be_stat_data) - return NULL; - - entry = find_stat_irg_entry(irg); +#include "benode.h" - if (! entry) { - key.irg = irg; - entry = set_insert(be_stat_data, &key, sizeof(key), HASH_PTR(irg)); - } - return entry; -} typedef struct pressure_walker_env_t pressure_walker_env_t; struct pressure_walker_env_t { - be_irg_t *birg; + ir_graph *irg; be_lv_t *lv; double insn_count; double regpressure; @@ -127,254 +60,70 @@ static void check_reg_pressure_class(pressure_walker_env_t *env, ir_node *block, const arch_register_class_t *cls) { - be_irg_t *birg = env->birg; - ir_graph *irg = be_get_birg_irg(birg); - const arch_env_t *aenv = be_get_birg_arch_env(birg); - ir_node *irn; - ir_nodeset_t live_nodes; - int max_live; + ir_graph *irg = env->irg; + ir_node *irn; + ir_nodeset_t live_nodes; + int max_live; ir_nodeset_init(&live_nodes); - be_liveness_end_of_block(env->lv, aenv, cls, block, &live_nodes); + be_liveness_end_of_block(env->lv, cls, block, &live_nodes); max_live = ir_nodeset_size(&live_nodes); env->regpressure += max_live; sched_foreach_reverse(block, irn) { int cnt; - if(is_Phi(irn)) + if (is_Phi(irn)) break; - be_liveness_transfer(aenv, cls, irn, &live_nodes); + be_liveness_transfer(cls, irn, &live_nodes); cnt = ir_nodeset_size(&live_nodes); max_live = cnt < max_live ? max_live : cnt; env->regpressure += cnt; env->insn_count++; } - if(max_live > env->max_pressure) + if (max_live > env->max_pressure) env->max_pressure = max_live; +#ifdef FIRM_STATISTICS stat_be_block_regpressure(irg, block, max_live, cls->name); +#endif ir_nodeset_destroy(&live_nodes); } -/** - * Collect reg pressure statistics per block and per class. - */ -static void stat_reg_pressure_block(ir_node *block, void *data) { +static void stat_reg_pressure_block(ir_node *block, void *data) +{ pressure_walker_env_t *env = data; - if(env->cls != NULL) { - check_reg_pressure_class(env, block, env->cls); - } else { - const arch_env_t *arch_env = be_get_birg_arch_env(env->birg); - int i, n; - - n = arch_isa_get_n_reg_class(arch_env->isa); - for (i = 0; i < n; i++) { - const arch_register_class_t *cls - = arch_isa_get_reg_class(arch_env->isa, i); - - check_reg_pressure_class(env, block, cls); - } - } + check_reg_pressure_class(env, block, env->cls); } -void be_do_stat_reg_pressure(be_irg_t *birg) { +void be_do_stat_reg_pressure(ir_graph *irg, const arch_register_class_t *cls) +{ pressure_walker_env_t env; - ir_graph *irg = be_get_birg_irg(birg); double average_pressure; - env.birg = birg; + env.irg = irg; env.insn_count = 0; env.max_pressure = 0; env.regpressure = 0; - be_liveness_assure_sets(be_assure_liveness(birg)); - env.lv = be_get_birg_liveness(birg); - - // hack for now, TODO: remove me later -#if 0 - env.cls = NULL; -#else - env.cls = arch_isa_get_reg_class( - be_get_birg_arch_env(birg)->isa, 2); -#endif + be_liveness_assure_sets(be_assure_liveness(irg)); + env.lv = be_get_irg_liveness(irg); + env.cls = cls; /* Collect register pressure information for each block */ irg_block_walk_graph(irg, stat_reg_pressure_block, NULL, &env); average_pressure = env.regpressure / env.insn_count; - stat_ev_emit("average_register_pressure", average_pressure); - stat_ev_emit("maximum_register_pressure", env.max_pressure); -} - -/** - * Notify statistic module about amount of ready nodes. - */ -void be_do_stat_sched_ready(ir_node *block, const ir_nodeset_t *ready_set) { - if (stat_is_active()) { - stat_be_block_sched_ready(get_irn_irg(block), block, MIN(ir_nodeset_size(ready_set), 5)); - } -} - -/** - * Pass information about a perm to the statistic module. - */ -void be_do_stat_perm(const char *class_name, int n_regs, ir_node *perm, ir_node *block, int n, int real_size) { - if (stat_is_active()) { - stat_be_block_stat_perm(class_name, n_regs, perm, block, n, real_size); - } -} - -/** - * Pass information about a cycle or chain in a perm to the statistic module. - */ -void be_do_stat_permcycle(const char *class_name, ir_node *perm, ir_node *block, int is_chain, int n_elems, int n_ops) { - if (stat_is_active()) { - stat_be_block_stat_permcycle(class_name, perm, block, is_chain, n_elems, n_ops); - } -} - -/** - * Updates nodes statistics. - */ -static void do_nodes_stat(ir_node *irn, void *env) { - be_stat_phase_t *phase = env; - ir_mode *mode; - ir_opcode opc; - arch_irn_class_t irn_class; - - if (is_Block(irn)) - return; - - mode = get_irn_mode(irn); - opc = get_irn_opcode(irn); - - phase->num_nodes++; - - /* check for nodes we want to ignore */ - if (be_is_Keep(irn) || - be_is_CopyKeep(irn) || - opc == iro_Start || - opc == iro_End) - return; - - if (is_Proj(irn) && (mode != mode_X)) { - phase->num_proj++; - return; - } - else if (is_Phi(irn)) { - phase->num_phi++; - return; - } - else if (mode_is_datab(mode) || ((mode == mode_T) && ! is_be_node(irn)) || (is_Proj(irn) && (mode == mode_X))) - phase->num_data++; - - if (opc == iro_Load) - phase->num_load++; - else if (opc == iro_Store) - phase->num_store++; - - irn_class = arch_irn_classify(phase->arch_env, irn); - if (irn_class & arch_irn_class_spill) - phase->num_spill++; - else if (irn_class & arch_irn_class_reload) - phase->num_reload++; - else if (irn_class & arch_irn_class_stackparam) - phase->num_load++; - else if (irn_class & arch_irn_class_load) - phase->num_load++; - else if (irn_class & arch_irn_class_store) - phase->num_store++; -} - -/** - * Collects node statistics. - * - * @param irg the to do statistics for - * @param phase the phase to collect the statistic for - */ -void be_do_stat_nodes(ir_graph *irg, const char *phase) { - be_stat_irg_t *irg_entry; - be_stat_phase_t *phase_entry, phase_key; - - irg_entry = find_stat_irg_entry(irg); - - if (! irg_entry) - return; - - phase_key.phase = phase; - phase_entry = pset_find_ptr(irg_entry->phases, &phase_key); - - if (! phase_entry) { - phase_entry = obstack_alloc(&irg_entry->obst, sizeof(*phase_entry)); - phase_entry = pset_insert(irg_entry->phases, phase_entry, HASH_PTR(phase)); - } - memset(phase_entry, 0, sizeof(*phase_entry)); - - phase_entry->phase = phase; - phase_entry->arch_env = irg_entry->arch_env; - - irg_walk_blkwise_graph(irg_entry->irg, NULL, do_nodes_stat, phase_entry); -} - -/** - * Dumps statistics about nodes (called from dump_snapshot) - */ -static void be_dump_node_stat(dumper_t *dmp, graph_entry_t *entry) { - be_stat_irg_t *stat_irg = find_stat_irg_entry(entry->irg); - be_stat_phase_t *phase; - - if (! stat_irg || ! stat_irg->phases) - return; - - fprintf(dmp->f, "===> BE NODE STATISTIC BEGIN <===\n"); - - foreach_pset(stat_irg->phases, phase) { - fprintf(dmp->f, "--> Phase: %s\n", phase->phase); - fprintf(dmp->f, "# nodes: %ld\n", phase->num_nodes); - fprintf(dmp->f, "# data nodes: %ld\n", phase->num_data); - fprintf(dmp->f, "# Proj: %ld\n", phase->num_proj); - fprintf(dmp->f, "# Phi: %ld\n", phase->num_phi); - fprintf(dmp->f, "# Load: %ld\n", phase->num_load); - fprintf(dmp->f, "# Store: %ld\n", phase->num_store); - fprintf(dmp->f, "# Spill: %ld\n", phase->num_spill); - fprintf(dmp->f, "# Reload: %ld\n", phase->num_reload); - } - - fprintf(dmp->f, "===> BE NODE STATISTIC END <===\n"); + stat_ev_emit("bechordal_average_register_pressure", average_pressure); + stat_ev_emit("bechordal_maximum_register_pressure", env.max_pressure); } -/** - * Returns a be statistic object for the given irg. - */ -void be_stat_init_irg(const arch_env_t *arch_env, ir_graph *irg) { - static int reg_func = 1; - - if (stat_is_active()) { - be_stat_irg_t *stat_irg; - - if (! be_stat_data) - be_stat_data = new_set(cmp_stat_data, 8); - stat_irg = get_stat_irg_entry(irg); - stat_irg->irg = irg; - stat_irg->phases = new_pset(cmp_stat_phase, 8); - stat_irg->arch_env = arch_env; - obstack_init(&stat_irg->obst); - if (reg_func) { - /* first init: register dumper */ - stat_register_dumper_func(be_dump_node_stat); - reg_func = 0; - } - } -} -#endif /* FIRM_STATISTICS */ typedef struct _estimate_irg_costs_env_t { - const arch_env_t *arch_env; ir_exec_freq *execfreqs; double costs; } estimate_irg_costs_env_t; @@ -386,17 +135,16 @@ static void estimate_block_costs(ir_node *block, void *data) double costs = 0.0; sched_foreach(block, node) { - costs += arch_get_op_estimated_cost(env->arch_env, node); + costs += arch_get_op_estimated_cost(node); } env->costs += costs * get_block_execfreq(env->execfreqs, block); } -double be_estimate_irg_costs(ir_graph *irg, const arch_env_t *arch_env, ir_exec_freq *execfreqs) +double be_estimate_irg_costs(ir_graph *irg, ir_exec_freq *execfreqs) { estimate_irg_costs_env_t env; - env.arch_env = arch_env; env.execfreqs = execfreqs; env.costs = 0.0; @@ -405,15 +153,114 @@ double be_estimate_irg_costs(ir_graph *irg, const arch_env_t *arch_env, ir_exec_ return env.costs; } -#ifdef FIRM_STATISTICS -#else /* FIRM_STATISTICS */ +static void node_stat_walker(ir_node *irn, void *data) +{ + be_node_stats_t *const stats = data; + + /* if the node is a normal phi */ + if (is_Phi(irn)) { + if (get_irn_mode(irn) == mode_M) { + (*stats)[BE_STAT_MEM_PHIS]++; + } else { + (*stats)[BE_STAT_PHIS]++; + } + } else if (!is_Proj(irn)) { + arch_irn_class_t classify = arch_irn_classify(irn); + + if (classify & arch_irn_class_spill) + (*stats)[BE_STAT_SPILLS]++; + if (classify & arch_irn_class_reload) + (*stats)[BE_STAT_RELOADS]++; + if (classify & arch_irn_class_remat) + (*stats)[BE_STAT_REMATS]++; + if (classify & arch_irn_class_copy) + (*stats)[BE_STAT_COPIES]++; + if (classify & arch_irn_class_perm) + (*stats)[BE_STAT_PERMS]++; + } +} -void (be_stat_init_irg)(const arch_env_t *arch_env, ir_graph *irg) {} -void (be_do_stat_nodes)(ir_graph *irg, const char *phase) {} -void (be_do_stat_reg_pressure)(be_irg_t *birg) {} -void (be_do_stat_sched_ready)(ir_node *block, ir_nodeset_t *ready_set) {} -void (be_do_stat_perm)(const char *class_name, int n_regs, ir_node *perm, ir_node *block, int n, int real_size) {} +void be_collect_node_stats(be_node_stats_t *new_stats, ir_graph *irg) +{ + memset(new_stats, 0, sizeof(*new_stats)); + irg_walk_graph(irg, NULL, node_stat_walker, new_stats); +} -#endif /* FIRM_STATISTICS */ +void be_subtract_node_stats(be_node_stats_t *stats, be_node_stats_t *sub) +{ + int i; + for (i = 0; i < BE_STAT_COUNT; ++i) { + (*stats)[i] -= (*sub)[i]; + } +} + +void be_copy_node_stats(be_node_stats_t *dest, be_node_stats_t *src) +{ + memcpy(dest, src, sizeof(be_node_stats_t)); +} + +static const char *get_stat_name(enum be_stat_tag_t tag) +{ + switch (tag) { + case BE_STAT_PHIS: return "phis"; + case BE_STAT_MEM_PHIS: return "mem_phis"; + case BE_STAT_COPIES: return "copies"; + case BE_STAT_PERMS: return "perms"; + case BE_STAT_SPILLS: return "spills"; + case BE_STAT_RELOADS: return "reloads"; + case BE_STAT_REMATS: return "remats"; + default: panic("unknown stat tag found"); + } +} + +void be_emit_node_stats(be_node_stats_t *stats, const char *prefix) +{ + static char buf[256]; + int i; + + for (i = 0; i < BE_STAT_COUNT; ++i) { + snprintf(buf, sizeof(buf), "%s%s", prefix, get_stat_name(i)); + stat_ev_dbl(buf, (*stats)[i]); + } +} + + + +static void insn_count_walker(ir_node *irn, void *data) +{ + unsigned long *cnt = data; + + switch (get_irn_opcode(irn)) { + case iro_Proj: + case iro_Phi: + case beo_Start: + case iro_End: + break; + default: + (*cnt)++; + } +} + +unsigned long be_count_insns(ir_graph *irg) +{ + unsigned long cnt = 0; + irg_walk_graph(irg, insn_count_walker, NULL, &cnt); + return cnt; +} + +static void block_count_walker(ir_node *node, void *data) +{ + unsigned long *cnt = data; + if (node == get_irg_end_block(current_ir_graph)) + return; + (*cnt)++; +} + +unsigned long be_count_blocks(ir_graph *irg) +{ + unsigned long cnt = 0; + irg_block_walk_graph(irg, block_count_walker, NULL, &cnt); + return cnt; +}