1 /** vim: set sw=4 ts=4:
2 * @file bepressurestat.c
4 * @author Adam M. Szalkowski
6 * Register Pressure Statistics
8 * Copyright (C) 2006 Universitaet Karlsruhe
9 * Released under the GPL
34 #include <libcore/lc_bitset.h>
38 #include "besched_t.h"
43 #include "bespillremat.h"
46 #include "bechordal_t.h"
48 #define MAXPRESSURE 128
50 typedef struct _regpressure_ana_t {
52 const arch_register_class_t *cls;
55 DEBUG_ONLY(firm_dbg_module_t * dbg);
59 has_reg_class(const regpressure_ana_t * ra, const ir_node * irn)
61 return arch_irn_consider_in_reg_alloc(ra->arch_env, ra->cls, irn);
65 regpressure(pset * live)
67 int pressure = pset_count(live);
69 return (pressure>MAXPRESSURE)?MAXPRESSURE:pressure;
73 regpressureanawalker(ir_node * bb, void * data)
75 regpressure_ana_t *ra = data;
76 pset *live = pset_new_ptr_default();
78 unsigned int *stat = ra->stat;
80 const be_lv_t *lv = ra->lv;
82 be_lv_foreach(lv, bb, be_lv_state_end, i) {
83 ir_node *value = be_lv_get_irn(lv, bb, i);
84 if (has_reg_class(ra, value)) {
85 pset_insert_ptr(live, value);
88 stat[regpressure(live)]++;
90 sched_foreach_reverse(bb, irn) {
92 if(is_Phi(irn)) break;
94 if(has_reg_class(ra, irn)) {
95 pset_remove_ptr(live, irn);
98 for(i=get_irn_arity(irn)-1; i>=0; --i) {
99 ir_node *arg = get_irn_n(irn, i);
101 if(has_reg_class(ra, arg)) {
102 pset_insert_ptr(live, arg);
106 if(!is_Proj(irn)) stat[regpressure(live)]++;
111 be_analyze_regpressure(be_irg_t *birg, const arch_register_class_t *cls,
114 regpressure_ana_t ra;
115 unsigned int stat[MAXPRESSURE+1];
119 ir_graph *irg = be_get_birg_irg(birg);
121 ir_snprintf(fname, sizeof(fname), "%F_%s%s_pressure.stat", irg, cls->name, suffix);
122 f = fopen(fname, "w");
125 be_assure_liveness(birg);
127 FIRM_DBG_REGISTER(ra.dbg, "firm.be.regpressureana");
129 ra.arch_env = birg->main_env->arch_env;
130 ra.lv = be_get_birg_liveness(birg);
134 memset(stat, 0, sizeof(stat));
136 irg_block_walk_graph(irg, regpressureanawalker, NULL, &ra);
138 for(i=0; i<=MAXPRESSURE; ++i) {
139 fprintf(f,"%d\n",stat[i]);