/*
- * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
- *
* This file is part of libFirm.
- *
- * This file may be distributed and/or modified under the terms of the
- * GNU General Public License version 2 as published by the Free Software
- * Foundation and appearing in the file LICENSE.GPL included in the
- * packaging of this file.
- *
- * Licensees holding valid libFirm Professional Edition licenses may use
- * this file in accordance with the libFirm Commercial License.
- * Agreement provided with the Software.
- *
- * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
- * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
- * PURPOSE.
+ * Copyright (C) 2012 University of Karlsruhe.
*/
/**
* @file
* @brief Provides several statistic functions for the backend.
- * @author Christian Wuerdig
- * @version $Id$
+ * @author Christian Wuerdig, Matthias Braun
*/
-#ifdef HAVE_CONFIG_H
#include "config.h"
-#endif
#include <time.h>
#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 "statev_t.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));
+#include "benode.h"
- 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);
-
- 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;
- int max_pressure;
+ size_t max_pressure;
const arch_register_class_t *cls;
};
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_nodeset_t live_nodes;
+ size_t 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;
+ size_t 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;
stat_be_block_regpressure(irg, block, max_live, cls->name);
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) {
- 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);
+static void stat_reg_pressure_block(ir_node *block, void *data)
+{
+ pressure_walker_env_t *env = (pressure_walker_env_t*)data;
- 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_assure_live_sets(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);
+ stat_ev_dbl("bechordal_average_register_pressure", average_pressure);
+ stat_ev_dbl("bechordal_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;
+typedef struct estimate_irg_costs_env_t {
+ double costs;
+} estimate_irg_costs_env_t;
- phase_key.phase = phase;
- phase_entry = pset_find_ptr(irg_entry->phases, &phase_key);
+static void estimate_block_costs(ir_node *block, void *data)
+{
+ estimate_irg_costs_env_t *env = (estimate_irg_costs_env_t*)data;
+ double costs = 0.0;
- 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));
+ sched_foreach(block, node) {
+ costs += arch_get_op_estimated_cost(node);
}
- 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);
+ env->costs += costs * get_block_execfreq(block);
}
-/**
- * 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;
+double be_estimate_irg_costs(ir_graph *irg)
+{
+ estimate_irg_costs_env_t env;
+ env.costs = 0.0;
- 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);
- }
+ irg_block_walk_graph(irg, estimate_block_costs, NULL, &env);
- fprintf(dmp->f, "===> BE NODE STATISTIC END <===\n");
+ return env.costs;
}
-/**
- * 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;
+static void node_stat_walker(ir_node *irn, void *data)
+{
+ be_node_stats_t *const stats = (be_node_stats_t*)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 (be_is_Perm(irn)) {
+ (*stats)[BE_STAT_PERMS]++;
+ } else if (be_is_Copy(irn)) {
+ (*stats)[BE_STAT_COPIES]++;
}
}
-#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;
-static void estimate_block_costs(ir_node *block, void *data)
+void be_collect_node_stats(be_node_stats_t *new_stats, ir_graph *irg)
{
- estimate_irg_costs_env_t *env = data;
- ir_node *node;
- double costs = 0.0;
+ memset(new_stats, 0, sizeof(*new_stats));
+ irg_walk_graph(irg, NULL, node_stat_walker, new_stats);
+}
- sched_foreach(block, node) {
- costs += arch_get_op_estimated_cost(env->arch_env, node);
+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];
}
-
- 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)
+void be_copy_node_stats(be_node_stats_t *dest, be_node_stats_t *src)
{
- estimate_irg_costs_env_t env;
+ memcpy(dest, src, sizeof(be_node_stats_t));
+}
- env.arch_env = arch_env;
- env.execfreqs = execfreqs;
- env.costs = 0.0;
+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";
+ default: panic("unknown stat tag found");
+ }
+}
- irg_block_walk_graph(irg, estimate_block_costs, NULL, &env);
+void be_emit_node_stats(be_node_stats_t *stats, const char *prefix)
+{
+ static char buf[256];
+ be_stat_tag_t i;
- return env.costs;
+ for (i = BE_STAT_FIRST; i < BE_STAT_COUNT; ++i) {
+ snprintf(buf, sizeof(buf), "%s%s", prefix, get_stat_name(i));
+ stat_ev_dbl(buf, (*stats)[i]);
+ }
}
-#ifdef FIRM_STATISTICS
-#else /* FIRM_STATISTICS */
+static void insn_count_walker(ir_node *irn, void *data)
+{
+ unsigned long *cnt = (unsigned long*)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;
+}
-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) {}
+static void block_count_walker(ir_node *node, void *data)
+{
+ unsigned long *cnt = (unsigned long*)data;
+ if (node == get_irg_end_block(get_irn_irg(node)))
+ return;
+ (*cnt)++;
+}
-#endif /* FIRM_STATISTICS */
+unsigned long be_count_blocks(ir_graph *irg)
+{
+ unsigned long cnt = 0;
+ irg_block_walk_graph(irg, block_count_walker, NULL, &cnt);
+ return cnt;
+}
projects / libfirm / blobdiff