const arch_env_t *arch_env;
const be_chordal_env_t *chordal_env;
struct obstack obst;
+ be_irg_t *birg;
int spill_cost; /**< the cost of a single spill node */
int reload_cost; /**< the cost of a reload node */
set *spills; /**< all spill_info_t's, which must be placed */
env->spills = new_set(cmp_spillinfo, 1024);
env->cls = chordal_env->cls;
env->chordal_env = chordal_env;
+ env->birg = chordal_env->birg;
env->arch_env = env->chordal_env->birg->main_env->arch_env;
env->mem_phis = pset_new_ptr_default();
// TODO, ask backend about costs...
ir_node *arg = get_irn_n(to_spill, i);
get_spillinfo(env, arg);
}
+
+#if 1
+ // hackery... sometimes the morgan algo spilled the value of a phi,
+ // the belady algo decides later to spill the whole phi, then sees the
+ // spill node and adds a reload for that spill node, problem is the
+ // reload gets attach to that same spill (and is totally unnecessary)
+ if(info->old_spill != NULL &&
+ (before == info->old_spill || value_dominates(before, info->old_spill))) {
+ printf("spilledphi hack was needed...\n");
+ before = sched_next(info->old_spill);
+ }
+#endif
}
rel = obstack_alloc(&env->obst, sizeof(rel[0]));
// if we had a spill for the phi value before, then remove this spill from
// schedule, as we will remove it in the insert spill/reload phase
if(spill->spill != NULL && !is_Phi(spill->spill)) {
+ assert(spill->old_spill == NULL);
spill->old_spill = spill->spill;
spill->spill = NULL;
}
// rewire reloads from old_spill to phi
if(spillinfo->old_spill != NULL) {
const ir_edge_t *edge, *next;
- foreach_out_edge_safe(spillinfo->old_spill, edge, next) {
+ ir_node *old_spill = spillinfo->old_spill;
+
+ foreach_out_edge_safe(old_spill, edge, next) {
ir_node* reload = get_edge_src_irn(edge);
assert(be_is_Reload(reload) || is_Phi(reload));
set_irn_n(reload, get_edge_src_pos(edge), spillinfo->spill);
}
+ set_irn_n(old_spill, be_pos_Spill_val, new_Bad());
+ //sched_remove(old_spill);
spillinfo->old_spill = NULL;
}
}
*
* So we can only do this test for ignore registers (of our register class)
*/
- if(arch_get_irn_reg_class(env->arch_env, arg, -1) == env->chordal_env->cls
+ if(arch_get_irn_reg_class(env->arch_env, arg, -1) == env->cls
&& arch_irn_is(env->arch_env, arg, ignore)) {
int i, arity;
* - it interferes with the reloaders result
* - or it is (last-) used by reloader itself
*/
- if (values_interfere(env->chordal_env->lv, reloader, arg)) {
+ if (values_interfere(env->birg->lv, reloader, arg)) {
return 1;
}
if(pset_count(values) > 0) {
/* introduce copies, rewire the uses */
pset_insert_ptr(values, si->spilled_node);
- be_ssa_constr_set_ignore(env->chordal_env->dom_front, env->chordal_env->lv, values, env->mem_phis);
+ be_ssa_constr_set_ignore(env->birg->dom_front, env->birg->lv, values, env->mem_phis);
}
del_pset(values);
}
be_remove_dead_nodes_from_schedule(env->chordal_env->irg);
- be_liveness_recompute(env->chordal_env->lv);
+ //be_liveness_recompute(env->birg->lv);
+ be_invalidate_liveness(env->birg);
}