2 * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief Register Pressure Statistics.
23 * @author Adam M. Szalkowski
51 #include <libcore/lc_bitset.h>
55 #include "besched_t.h"
60 #include "bespillremat.h"
64 #define MAXPRESSURE 128
66 typedef struct _regpressure_ana_t {
68 const arch_register_class_t *cls;
71 DEBUG_ONLY(firm_dbg_module_t *dbg);
74 static INLINE int has_reg_class(const regpressure_ana_t *ra, const ir_node *irn)
76 return arch_irn_consider_in_reg_alloc(ra->arch_env, ra->cls, irn);
79 static INLINE int regpressure(pset *live) {
80 int pressure = pset_count(live);
81 return MIN(pressure, MAXPRESSURE);
85 regpressureanawalker(ir_node *bb, void *data)
87 regpressure_ana_t *ra = data;
88 pset *live = pset_new_ptr_default();
90 unsigned int *stat = ra->stat;
92 const be_lv_t *lv = ra->lv;
94 be_lv_foreach(lv, bb, be_lv_state_end, i) {
95 ir_node *value = be_lv_get_irn(lv, bb, i);
96 if (has_reg_class(ra, value)) {
97 pset_insert_ptr(live, value);
100 stat[regpressure(live)]++;
102 sched_foreach_reverse(bb, irn) {
104 if (is_Phi(irn)) break;
106 if (has_reg_class(ra, irn)) {
107 pset_remove_ptr(live, irn);
110 for (i = get_irn_arity(irn) - 1; i >= 0; --i) {
111 ir_node *arg = get_irn_n(irn, i);
113 if (has_reg_class(ra, arg)) {
114 pset_insert_ptr(live, arg);
119 stat[regpressure(live)]++;
123 void be_analyze_regpressure(be_irg_t *birg, const arch_register_class_t *cls, const char *suffix)
125 regpressure_ana_t ra;
126 unsigned int stat[MAXPRESSURE+1];
130 ir_graph *irg = be_get_birg_irg(birg);
132 ir_snprintf(fname, sizeof(fname), "%F_%s%s_pressure.stat", irg, cls->name, suffix);
133 f = fopen(fname, "w");
136 be_liveness_assure_sets(be_assure_liveness(birg));
138 FIRM_DBG_REGISTER(ra.dbg, "firm.be.regpressureana");
140 ra.arch_env = birg->main_env->arch_env;
141 ra.lv = be_get_birg_liveness(birg);
145 memset(stat, 0, sizeof(stat));
147 irg_block_walk_graph(irg, regpressureanawalker, NULL, &ra);
149 for (i = 0; i <= MAXPRESSURE; ++i) {
150 fprintf(f, "%d\n", stat[i]);