#include "bespillremat.h"
#include "bespill.h"
#include "bepressurestat.h"
+#include "beprofile.h"
#include "bechordal_t.h"
#define DUMP_PROBLEM 1
#define DUMP_MPS 2
#define DUMP_SOLUTION 4
+#define DUMP_STATS 8
+#define DUMP_PRESSURE 16
#define KEEPALIVE_REMATS 1
#define KEEPALIVE_SPILLS 2
{ "problem", DUMP_PROBLEM },
{ "mps", DUMP_MPS },
{ "solution", DUMP_SOLUTION },
+ { "stats", DUMP_STATS },
+ { "pressure", DUMP_PRESSURE },
{ NULL, 0 }
};
LC_OPT_ENT_BOOL ("repair_schedule", "repair the schedule by rematting once used nodes",&opt_repair_schedule),
LC_OPT_ENT_BOOL ("no_enlage_liveness", "do not enlarge liveness of operands of remats",&opt_no_enlarge_liveness),
- LC_OPT_ENT_ENUM_MASK("dump", "dump problem, mps or solution", &dump_var),
+ LC_OPT_ENT_ENUM_MASK("dump", "dump problem, mps, solution, stats or pressure", &dump_var),
LC_OPT_ENT_BOOL ("log", "activate the lpp log", &opt_log),
LC_OPT_ENT_INT ("timeout", "ILP solver timeout", &opt_timeout),
execution_frequency(const spill_ilp_t *si, const ir_node * irn)
{
#define FUDGE 0.001
+ if(be_profile_has_data())
+ return ((double)be_profile_get_block_execcount(get_block(irn))) + FUDGE;
+
#ifndef EXECFREQ_LOOPDEPH
return get_block_execfreq(si->chordal_env->exec_freq, get_block(irn)) + FUDGE;
#else
if(!is_rematerializable(si, op))
return NULL;
- remat = obstack_alloc(si->obst, sizeof(*remat));
- remat->op = op;
- remat->cost = get_cost(si, op);
- remat->value = dest_value;
- remat->proj = proj;
+ remat = obstack_alloc(si->obst, sizeof(*remat));
+ remat->op = op;
+ remat->cost = get_cost(si, op);
+ remat->value = dest_value;
+ remat->proj = proj;
remat->inverse = 0;
} else {
arch_inverse_t inverse;
static int
can_be_copied(const ir_node * bb, const ir_node * irn)
{
- assert(is_merge_edge(bb));
-
- const ir_edge_t *edge = get_block_succ_first(bb);
+ const ir_edge_t *edge = get_block_succ_first(bb);
const ir_node *next_bb = edge->src;
- int pos = edge->pos;
+ int pos = edge->pos;
const ir_node *phi;
+ assert(is_merge_edge(bb));
+
sched_foreach(next_bb, phi) {
const ir_node *phi_arg;
/* just to be sure */
check_post = ILP_UNDEF;
+ /* allow original defintions to be removed */
+ if(opt_repair_schedule) {
+ pset_foreach(defs, tmp) {
+ op_t *tmp_op = get_irn_link(tmp);
+ spill_t *spill = set_find_spill(spill_bb->ilp, tmp);
+#if 1
+ ilp_var_t delete;
+ assert(spill);
+
+ ir_snprintf(buf, sizeof(buf), "delete_%N", tmp);
+ delete = lpp_add_var_default(si->lpp, buf, lpp_binary, -1.0*get_cost(si, irn)*execution_frequency(si, bb), 0.0);
+
+ /* op may not be killed if its first live_range is 1 */
+ ir_snprintf(buf, sizeof(buf), "killorig-lr_%N", tmp);
+ cst = lpp_add_cst_uniq(si->lpp, buf, lpp_less, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, delete, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, tmp_op->attr.live_range.ilp, 1.0);
+
+ /* op may not be killed if it is spilled after the definition */
+ ir_snprintf(buf, sizeof(buf), "killorig-spill_%N", tmp);
+ cst = lpp_add_cst_uniq(si->lpp, buf, lpp_less, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, delete, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, spill->spill, 1.0);
+#else
+ ilp_var_t keep;
+ assert(spill);
+
+ ir_snprintf(buf, sizeof(buf), "keep_%N", tmp);
+ keep = lpp_add_var_default(si->lpp, buf, lpp_binary, get_cost(si, irn)*execution_frequency(si, bb), 1.0);
+
+ /* op may not be killed if its first live_range is 1 */
+ ir_snprintf(buf, sizeof(buf), "killorig-lr_%N", tmp);
+ cst = lpp_add_cst_uniq(si->lpp, buf, lpp_greater, 0.0);
+ lpp_set_factor_fast(si->lpp, cst, keep, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, tmp_op->attr.live_range.ilp, -1.0);
+
+ /* op may not be killed if it is spilled after the definition */
+ ir_snprintf(buf, sizeof(buf), "killorig-spill_%N", tmp);
+ cst = lpp_add_cst_uniq(si->lpp, buf, lpp_greater, 0.0);
+ lpp_set_factor_fast(si->lpp, cst, keep, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, spill->spill, -1.0);
+#endif
+ }
+ } else {
+ pset_foreach(defs, tmp) {
+ op_t *tmp_op = get_irn_link(tmp);
+ spill_t *spill = set_find_spill(spill_bb->ilp, tmp);
+ assert(spill);
+
+ /* live_range or spill should be 1
+ TODO: lr should be live until first use */
+ ir_snprintf(buf, sizeof(buf), "nokillorig_%N", tmp);
+ cst = lpp_add_cst_uniq(si->lpp, buf, lpp_greater, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, tmp_op->attr.live_range.ilp, 1.0);
+ lpp_set_factor_fast(si->lpp, cst, spill->spill, 1.0);
+ }
+ }
+
/******************
* P R O L O G
/* compute phi classes */
// phi_class_compute(chordal_env->irg);
- be_analyze_regpressure(chordal_env, "-pre");
+ if(opt_dump_flags & DUMP_STATS)
+ be_analyze_regpressure(chordal_env, "-pre");
DBG((si.dbg, LEVEL_2, "\t initializing\n"));
irg_block_walk_graph(chordal_env->irg, luke_initializer, NULL, &si);
irg_block_walk_graph(chordal_env->irg, walker_pressure_annotator, NULL, &si);
- dump_pressure_graph(&si, dump_suffix2);
+ if(opt_dump_flags & DUMP_PRESSURE)
+ dump_pressure_graph(&si, dump_suffix2);
- be_analyze_regpressure(chordal_env, "-post");
+ if(opt_dump_flags & DUMP_STATS)
+ be_analyze_regpressure(chordal_env, "-post");
if(opt_verify & VERIFY_DOMINANCE)
be_check_dominance(chordal_env->irg);
projects / libfirm / blobdiff