/*
- * Project: libFIRM
- * File name: ir/ana/execution_frequency.c
- * Purpose: Compute an estimate of basic block executions.
- * Author: Goetz Lindenmaier
- * Modified by:
- * Created: 5.11.2004
- * CVS-ID: $Id$
- * Copyright: (c) 2004 Universität Karlsruhe
- * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
+ * Copyrigth (C) 1995-2007 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.
+ */
+
+/**
+ * @file
+ * @brief Compute an estimate of basic block executions.
+ * @author Goetz Lindenmaier
+ * @date 5.11.2004
+ * @version $Id$
*/
#ifdef HAVE_CONFIG_H
#include "config.h"
#include "firm_common_t.h"
#include "set.h"
#include "pdeq.h"
+#include "hashptr.h"
-#include "irprog.h"
+#include "irprog_t.h"
+#include "irgraph_t.h"
#include "irnode_t.h"
#include "irloop.h"
#include "irgwalk.h"
#include "interval_analysis.h"
+void set_irp_exec_freq_state(exec_freq_state s);
+
/*------------------------------------------------------------------*/
/* A hashmap mapping the frequency to block and loop nodes. Block
* and loop nodes are regions. */
return (ef1->reg != ef2->reg);
}
-static INLINE unsigned int exec_freq_hash(void *e) {
- unsigned int v = (unsigned int) ((reg_exec_freq *)e)->reg;
- return v ^ (v>>8);
+static INLINE unsigned int exec_freq_hash(reg_exec_freq *e) {
+ return HASH_PTR(e->reg);
}
static INLINE void set_region_exec_freq(void *reg, double freq) {
set_insert(exec_freq_set, &ef, sizeof(ef), exec_freq_hash(&ef));
}
-INLINE double get_region_exec_freq(void *reg) {
+double get_region_exec_freq(void *reg) {
reg_exec_freq ef, *found;
ef.reg = reg;
assert(exec_freq_set);
void precompute_cond_evaluation(void) {
ir_node *c;
- compute_outs(current_ir_graph);
+ compute_irg_outs(current_ir_graph);
just_passed_a_Raise = 0;
Cond_list = NULL;
static double exception_prob = 0.001;
static INLINE int is_loop_head(ir_node *cond) {
- return false;
+ return 0;
}
/** Weight a single region in edge.
construct_intervals(current_ir_graph);
compute_frequency(default_loop_weight);
+ set_irg_exec_freq_state(irg, exec_freq_consistent);
+ if (get_irp_exec_freq_state() == exec_freq_none)
+ set_irp_exec_freq_state(exec_freq_inconsistent);
+
/*
dump_loop_tree (current_ir_graph, "-execfreq");
dump_ir_block_graph(current_ir_graph, "-execfreq");
for (i = 0; i < n_irgs; ++i) {
compute_execution_frequency(get_irp_irg(i), default_loop_weight, exception_probability);
}
+ set_irp_exec_freq_state(exec_freq_consistent);
}
/** free occupied memory, reset */
void free_execution_frequency(void) {
+ int i, n_irgs = get_irp_n_irgs();
free_intervals();
del_set(exec_freq_set);
+
+ for (i = 0; i < n_irgs; ++i)
+ set_irg_exec_freq_state(get_irp_irg(i), exec_freq_none);
+ set_irp_exec_freq_state(exec_freq_none);
+}
+
+exec_freq_state get_irg_exec_freq_state(ir_graph *irg) {
+ return irg->execfreq_state;
+}
+void set_irg_exec_freq_state(ir_graph *irg, exec_freq_state s) {
+ if ((get_irp_exec_freq_state() == exec_freq_consistent && s != exec_freq_consistent) ||
+ (get_irp_exec_freq_state() == exec_freq_none && s != exec_freq_none))
+ irp->execfreq_state = exec_freq_inconsistent;
+ irg->execfreq_state = s;
+}
+
+/* Sets irg and irp exec freq state to inconsistent if it is set to consistent. */
+void set_irg_exec_freq_state_inconsistent(ir_graph *irg) {
+ if (get_irg_exec_freq_state(irg) == exec_freq_consistent)
+ set_irg_exec_freq_state(irg, exec_freq_inconsistent);
+}
+
+void set_irp_exec_freq_state(exec_freq_state s) {
+ irp->execfreq_state = s;
+}
+
+exec_freq_state get_irp_exec_freq_state(void) {
+ return irp->execfreq_state;
+}
+
+/* Sets irp and all irg exec freq states to inconsistent if it is set to consistent. */
+void set_irp_exec_freq_state_inconsistent(void) {
+ if (get_irp_exec_freq_state() != exec_freq_none) {
+ int i, n_irgs = get_irp_n_irgs();
+ set_irp_exec_freq_state(exec_freq_inconsistent);
+ for (i = 0; i < n_irgs; ++i) {
+ ir_graph *irg = get_irp_irg(i);
+ if (get_irg_exec_freq_state(irg) != exec_freq_none)
+ irg->execfreq_state = exec_freq_inconsistent;
+ }
+ }
}