/*
- * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2011 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
#include "bemodule.h"
#include "beabi.h"
-#include "benode_t.h"
+#include "benode.h"
#include "becopyopt.h"
#include "becopyopt_t.h"
#include "bechordal_t.h"
#define INFEASIBLE(cost) ((cost) == INT_MAX)
-static be_ifg_dump_dot_cb_t ifg_dot_cb;
-
typedef unsigned col_t;
-typedef struct _co2_irn_t co2_irn_t;
-typedef struct _co2_cloud_t co2_cloud_t;
-typedef struct _co2_cloud_irn_t co2_cloud_irn_t;
+typedef struct co2_irn_t co2_irn_t;
+typedef struct co2_cloud_t co2_cloud_t;
+typedef struct co2_cloud_irn_t co2_cloud_irn_t;
typedef struct {
col_t col;
typedef struct {
ir_phase ph;
copy_opt_t *co;
- bitset_t *ignore_regs;
+ bitset_t *allocatable_regs;
co2_irn_t *touched;
int visited;
int n_regs;
DEBUG_ONLY(firm_dbg_module_t *dbg;)
} co2_t;
-struct _co2_irn_t {
+struct co2_irn_t {
const ir_node *irn;
affinity_node_t *aff;
co2_irn_t *touched_next;
col_t tmp_col;
col_t orig_col;
- int last_color_change;
+ int last_color_change;
bitset_t *adm_cache;
unsigned fixed : 1;
unsigned tmp_fixed : 1;
struct list_head changed_list;
};
-struct _co2_cloud_irn_t {
- struct _co2_irn_t inh;
+struct co2_cloud_irn_t {
+ struct co2_irn_t inh;
co2_cloud_t *cloud;
int visited;
int index;
struct list_head mst_list;
};
-struct _co2_cloud_t {
+struct co2_cloud_t {
co2_t *env;
struct obstack obst;
int costs;
int n_memb;
int n_constr;
int max_degree;
- int ticks;
+ int ticks;
double freedom;
co2_cloud_irn_t *master;
co2_cloud_irn_t *mst_root;
#define get_co2_irn(co2, irn) ((co2_irn_t *) phase_get_or_set_irn_data(&co2->ph, irn))
#define get_co2_cloud_irn(co2, irn) ((co2_cloud_irn_t *) phase_get_or_set_irn_data(&co2->ph, irn))
-static void *co2_irn_init(ir_phase *ph, const ir_node *irn, void *data)
+static void *co2_irn_init(ir_phase *ph, const ir_node *irn)
{
co2_t *env = (co2_t *) ph;
affinity_node_t *a = get_affinity_info(env->co, irn);
size_t size = a ? sizeof(co2_cloud_irn_t) : sizeof(co2_irn_t);
- co2_irn_t *ci = data ? data : phase_alloc(ph, size);
+ co2_irn_t *ci = (co2_irn_t*)phase_alloc(ph, size);
memset(ci, 0, size);
INIT_LIST_HEAD(&ci->changed_list);
ci->irn = irn;
ci->aff = a;
- if(a) {
+ if (a) {
co2_cloud_irn_t *cci = (co2_cloud_irn_t *) ci;
INIT_LIST_HEAD(&cci->cloud_list);
cci->mst_parent = cci;
static int cmp_clouds_gt(const void *a, const void *b)
{
- const co2_cloud_t * const *p = a;
- const co2_cloud_t * const *q = b;
+ const co2_cloud_t * const *p = (const co2_cloud_t*const*)a;
+ const co2_cloud_t * const *q = (const co2_cloud_t*const*)b;
double c = CLOUD_WEIGHT(*p);
double d = CLOUD_WEIGHT(*q);
return QSORT_CMP(d, c);
*/
static int col_cost_pair_lt(const void *a, const void *b)
{
- const col_cost_pair_t *p = a;
- const col_cost_pair_t *q = b;
+ const col_cost_pair_t *p = (const col_cost_pair_t*)a;
+ const col_cost_pair_t *q = (const col_cost_pair_t*)b;
int c = p->costs;
int d = q->costs;
return QSORT_CMP(c, d);
}
-int cmp_edges(const void *a, const void *b)
+static int cmp_edges(const void *a, const void *b)
{
- const edge_t *p = a;
- const edge_t *q = b;
+ const edge_t *p = (const edge_t*)a;
+ const edge_t *q = (const edge_t*)b;
return QSORT_CMP(q->costs, p->costs);
}
static inline bitset_t *get_adm(co2_t *env, co2_irn_t *ci)
{
- if(ci->adm_cache == NULL) {
+ if (ci->adm_cache == NULL) {
const arch_register_req_t *req;
ci->adm_cache = bitset_obstack_alloc(phase_obst(&env->ph), env->n_regs);
req = arch_get_register_req_out(ci->irn);
- if(arch_register_req_is(req, limited)) {
+ if (arch_register_req_is(req, limited)) {
int i, n;
n = env->n_regs;
- for(i = 0; i < n; ++i) {
- if(rbitset_is_set(req->limited, i))
+ for (i = 0; i < n; ++i) {
+ if (rbitset_is_set(req->limited, i))
bitset_set(ci->adm_cache, i);
}
ci->is_constrained = 1;
} else {
- bitset_copy(ci->adm_cache, env->ignore_regs);
- bitset_flip_all(ci->adm_cache);
+ bitset_copy(ci->adm_cache, env->allocatable_regs);
}
}
static inline int is_constrained(co2_t *env, co2_irn_t *ci)
{
- if(!ci->adm_cache)
+ if (!ci->adm_cache)
get_adm(env, ci);
return ci->is_constrained;
}
unsigned n_constr = 0;
unsigned i;
- n_constr = rbitset_popcnt(req->limited, n_regs);
+ n_constr = rbitset_popcount(req->limited, n_regs);
for (i = 0; i < n_regs; ++i) {
if (rbitset_is_set(req->limited, i)) {
col_costs[i].costs = add_saturated(col_costs[i].costs, costs / n_constr);
bitset_t *forb = bitset_alloca(n_regs);
affinity_node_t *a = ci->aff;
- bitset_pos_t elm;
+ size_t elm;
const ir_node *pos;
- void *it;
+ neighbours_iter_t it;
int i;
/* Put all forbidden colors into the aux bitset. */
admissible_colors(env, ci, forb);
bitset_flip_all(forb);
- for(i = 0; i < n_regs; ++i) {
+ for (i = 0; i < n_regs; ++i) {
col_costs[i].col = i;
col_costs[i].costs = 0;
}
- if(a) {
+ if (a) {
neighb_t *n;
co_gs_foreach_neighb(a, n) {
- if(color_is_fix(env, n->irn)) {
+ if (color_is_fix(env, n->irn)) {
col_t col = get_col(env, n->irn);
col_costs[col].costs = add_saturated(col_costs[col].costs, -n->costs * 128);
}
}
}
- it = be_ifg_neighbours_iter_alloca(ifg);
- be_ifg_foreach_neighbour(ifg, it, irn, pos) {
+ be_ifg_foreach_neighbour(ifg, &it, irn, pos) {
col_t col = get_col(env, pos);
- if(color_is_fix(env, pos)) {
+ if (color_is_fix(env, pos)) {
col_costs[col].costs = INT_MAX;
}
else {
col_costs[col].costs = add_saturated(col_costs[col].costs, 8 * be_ifg_degree(ifg, pos));
}
}
- be_ifg_neighbours_break(ifg, it);
+ be_ifg_neighbours_break(&it);
/* Set the costs to infinity for each color which is not allowed at this node. */
bitset_foreach(forb, elm) {
int n_regs = env->co->cls->n_regs;
int i;
- for(i = 0; i < n_regs; ++i) {
+ for (i = 0; i < n_regs; ++i) {
seq[i].col = i;
seq[i].costs = INT_MAX;
}
int i;
- if(depth >= max_depth)
+ if (depth >= max_depth)
return 0;
- for(i = 0; i < n_regs; ++i) {
+ for (i = 0; i < n_regs; ++i) {
col_t tgt_col = col_list[i].col;
unsigned costs = col_list[i].costs;
int neigh_ok = 1;
struct list_head changed;
const ir_node *n;
- void *it;
+ neighbours_iter_t it;
DBG((env->dbg, LEVEL_3, "\t\t%2{firm:indent}trying color %d(%d) on %+F\n", depth, tgt_col, costs, irn));
/* If the costs for that color (and all successive) are infinite, bail out we won't make it anyway. */
- if(INFEASIBLE(costs)) {
+ if (INFEASIBLE(costs)) {
DB((env->dbg, LEVEL_4, "\t\t%2{firm:indent}color %d infeasible\n", depth, tgt_col));
ci->tmp_fixed = 0;
return 0;
INIT_LIST_HEAD(&changed);
list_add(&ci->changed_list, &changed);
- it = be_ifg_neighbours_iter_alloca(ifg);
- be_ifg_foreach_neighbour(ifg, it, irn, n) {
+ be_ifg_foreach_neighbour(ifg, &it, irn, n) {
/* try to re-color the neighbor if it has the target color. */
- if(get_col(env, n) == tgt_col) {
+ if (get_col(env, n) == tgt_col) {
struct list_head tmp;
/*
INIT_LIST_HEAD(&tmp);
neigh_ok = change_color_not(env, n, tgt_col, &tmp, depth + 1);
list_splice(&tmp, &changed);
- if(!neigh_ok)
+ if (!neigh_ok)
break;
}
}
- be_ifg_neighbours_break(ifg, it);
+ be_ifg_neighbours_break(&it);
/*
We managed to assign the target color to all neighbors, so from the perspective
of the current node, every thing was ok and we can return safely.
*/
- if(neigh_ok) {
+ if (neigh_ok) {
DBG((env->dbg, LEVEL_3, "\t\t%2{firm:indent}color %d(%d) was ok\n", depth, tgt_col, costs));
list_splice(&changed, parent_changed);
res = 1;
DBG((env->dbg, LEVEL_3, "\t\t%2{firm:indent}clearing %+F(%d) of color %d\n", depth, irn, col, not_col));
/* the node does not have to forbidden color. That's fine, mark it as visited and return. */
- if(col != not_col) {
- if(!ci->tmp_fixed) {
+ if (col != not_col) {
+ if (!ci->tmp_fixed) {
ci->tmp_col = col;
ci->tmp_fixed = 1;
}
}
/* The node has the color it should not have _and_ has not been visited yet. */
- if(!color_is_fix(env, irn)) {
+ if (!color_is_fix(env, irn)) {
int n_regs = env->co->cls->n_regs;
col_cost_pair_t *csts = ALLOCAN(col_cost_pair_t, n_regs);
DBG((env->dbg, LEVEL_3, "\t\t%2{firm:indent}trying to set %+F(%d) to color %d\n", depth, irn, col, tgt_col));
/* the node has the wanted color. That's fine, mark it as visited and return. */
- if(col == tgt_col) {
- if(!ci->tmp_fixed) {
+ if (col == tgt_col) {
+ if (!ci->tmp_fixed) {
ci->tmp_col = col;
ci->tmp_fixed = 1;
list_add(&ci->changed_list, parent_changed);
goto end;
}
- if(!color_is_fix(env, irn) && is_color_admissible(env, ci, tgt_col)) {
+ if (!color_is_fix(env, irn) && is_color_admissible(env, ci, tgt_col)) {
int n_regs = env->co->cls->n_regs;
col_cost_pair_t *seq = ALLOCAN(col_cost_pair_t, n_regs);
int cost = 0;
int i;
- for(i = 0; i < ci->mst_n_childs; ++i) {
+ for (i = 0; i < ci->mst_n_childs; ++i) {
co2_cloud_irn_t *chld = ci->mst_childs[i];
col_t chld_col = front[i];
be_ifg_t *ifg = env->co->cenv->ifg;
bitset_t *bs = bitset_alloca(n_regs);
- bitset_pos_t elm;
+ size_t elm;
const ir_node *irn;
- void *it;
+ neighbours_iter_t it;
admissible_colors(env, &ci->inh, bs);
bitset_flip_all(bs);
badness[elm] = ci->costs;
/* Use constrained/fixed interfering neighbors to influence the color badness */
- it = be_ifg_neighbours_iter_alloca(ifg);
- be_ifg_foreach_neighbour(ifg, it, ir->irn, irn) {
+ be_ifg_foreach_neighbour(ifg, &it, ir->irn, irn) {
co2_irn_t *ni = get_co2_irn(env, irn);
admissible_colors(env, ni, bs);
- if(bitset_popcnt(bs) == 1) {
- bitset_pos_t c = bitset_next_set(bs, 0);
+ if (bitset_popcount(bs) == 1) {
+ size_t c = bitset_next_set(bs, 0);
badness[c] += ci->costs;
}
- else if(ni->fixed) {
+ else if (ni->fixed) {
col_t c = get_col(env, ni->irn);
badness[c] += ci->costs;
}
}
- be_ifg_neighbours_break(ifg, it);
+ be_ifg_neighbours_break(&it);
}
/**
node_color_badness(ci, ci->color_badness);
/* Collect the color badness for the whole subtree */
- for(i = 0; i < ci->mst_n_childs; ++i) {
+ for (i = 0; i < ci->mst_n_childs; ++i) {
co2_cloud_irn_t *child = ci->mst_childs[i];
determine_color_badness(child, depth + 1);
- for(j = 0; j < env->n_regs; ++j)
+ for (j = 0; j < env->n_regs; ++j)
ci->color_badness[j] += child->color_badness[j];
}
- for(j = 0; j < env->n_regs; ++j)
+ for (j = 0; j < env->n_regs; ++j)
DBG((env->dbg, LEVEL_2, "%2{firm:indent}%+F col %d badness %d\n", depth, ci->inh.irn, j, ci->color_badness[j]));
}
int i;
ci->inh.fixed = 0;
- for(i = 0; i < ci->mst_n_childs; ++i)
+ for (i = 0; i < ci->mst_n_childs; ++i)
unfix_subtree(ci->mst_childs[i]);
}
struct list_head changed;
int ok, i, j;
- for(i = 0; i < n_regs; ++i) {
+ for (i = 0; i < n_regs; ++i) {
int badness = ci->color_badness[i];
seq[i].col = i;
}
/* If we are not the root and the parent's color is allowed for this node give it top prio. */
- if(!is_root && is_color_admissible(env, &ci->inh, parent_col))
+ if (!is_root && is_color_admissible(env, &ci->inh, parent_col))
seq[parent_col].costs = min_badness - 1;
/* Sort the colors. The will be processed in that ordering. */
DBG((env->dbg, LEVEL_2, "\t%2{firm:indent}starting top-down coalesce for %+F\n", depth, ci->inh.irn));
INIT_LIST_HEAD(&changed);
- for(i = 0; i < (best_col < 0 ? n_regs : n_iter); ++i) {
+ for (i = 0; i < (best_col < 0 ? n_regs : n_iter); ++i) {
col_t col = seq[i].col;
int add_cost = !is_root && col != parent_col ? ci->mst_costs : 0;
unfix_subtree(ci);
INIT_LIST_HEAD(&changed);
ok = change_color_single(env, ci->inh.irn, col, &changed, depth);
- if(ok) {
+ if (ok) {
materialize_coloring(&changed);
ci->inh.fixed = 1;
}
else
continue;
- for(j = 0; j < ci->mst_n_childs; ++j) {
+ for (j = 0; j < ci->mst_n_childs; ++j) {
co2_cloud_irn_t *child = ci->mst_childs[j];
ok = coalesce_top_down(child, j, depth + 1) >= 0;
- if(ok)
+ if (ok)
child->inh.fixed = 1;
else
break;
}
/* If the subtree could not be colored, we have to try another color. */
- if(!ok)
+ if (!ok)
continue;
subtree_costs = examine_subtree_coloring(ci, col);
sum_costs = subtree_costs + add_cost;
DBG((env->dbg, LEVEL_2, "\t%2{firm:indent}-> %+F costing %d + %d is ok.\n", depth, ci->inh.irn, subtree_costs, add_cost));
- if(sum_costs < best_col_costs) {
+ if (sum_costs < best_col_costs) {
best_col = col;
best_col_costs = sum_costs;
ci->col_costs[col] = subtree_costs;
}
- if(sum_costs == 0)
+ if (sum_costs == 0)
break;
}
- if(!is_root) {
+ if (!is_root) {
int *front = FRONT_BASE(ci->mst_parent, parent_col);
front[child_nr] = best_col;
}
int costs = 0;
neighb_t *n;
- if(ci->cloud)
+ if (ci->cloud)
return;
/* mark the node as visited and add it to the cloud. */
co_gs_foreach_neighb(a, n) {
costs += n->costs;
DB((env->dbg, LEVEL_3, "\t\tneigh %+F cost %d\n", n->irn, n->costs));
- if(be_ifg_connected(ifg, a->irn, n->irn))
+ if (be_ifg_connected(ifg, a->irn, n->irn))
cloud->inevit += n->costs;
}
ci->costs = costs;
cloud->costs += costs;
cloud->n_constr += is_constrained(env, &ci->inh);
- cloud->freedom += bitset_popcnt(get_adm(env, &ci->inh));
+ cloud->freedom += bitset_popcount(get_adm(env, &ci->inh));
cloud->max_degree = MAX(cloud->max_degree, ci->inh.aff->degree);
cloud->n_memb++;
/* If this is the heaviest node in the cloud, set it as the cloud's master. */
- if(costs >= curr_costs) {
+ if (costs >= curr_costs) {
curr_costs = costs;
cloud->master = ci;
}
static co2_cloud_t *new_cloud(co2_t *env, affinity_node_t *a)
{
- co2_cloud_t *cloud = phase_alloc(&env->ph, sizeof(cloud[0]));
+ co2_cloud_t *cloud = (co2_cloud_t*)phase_alloc(&env->ph, sizeof(cloud[0]));
co2_cloud_irn_t *ci;
int i;
cloud->freedom = (cloud->n_memb * env->n_regs) / cloud->freedom;
/* Also allocate space for the node sequence and compute that sequence. */
- cloud->seq = phase_alloc(&env->ph, cloud->n_memb * sizeof(cloud->seq[0]));
+ cloud->seq = (co2_cloud_irn_t**)phase_alloc(&env->ph, cloud->n_memb * sizeof(cloud->seq[0]));
i = 0;
list_for_each_entry(co2_cloud_irn_t, ci, &cloud->members_head, cloud_list) {
// assert(ok && "Color changing may not fail while committing the coloring");
materialize_coloring(&changed);
- for(i = 0; i < ci->mst_n_childs; ++i) {
+ for (i = 0; i < ci->mst_n_childs; ++i) {
apply_coloring(ci->mst_childs[i], front[i], depth + 1);
}
}
static co2_cloud_irn_t *find_mst_root(co2_cloud_irn_t *ci)
{
- while(ci != ci->mst_parent)
+ while (ci != ci->mst_parent)
ci = ci->mst_parent;
return ci;
}
/* Collect all edges in the cloud on an obstack and sort the increasingly */
obstack_init(&cloud->obst);
- for(i = 0; i < cloud->n_memb; ++i) {
+ for (i = 0; i < cloud->n_memb; ++i) {
co2_cloud_irn_t *ci = cloud->seq[i];
neighb_t *n;
co_gs_foreach_neighb(ci->inh.aff, n) {
co2_cloud_irn_t *ni = get_co2_cloud_irn(cloud->env, n->irn);
- if(ci->index < ni->index) {
+ if (ci->index < ni->index) {
edge_t e;
e.src = ci;
e.tgt = ni;
}
}
}
- edges = obstack_finish(&cloud->obst);
+ edges = (edge_t*)obstack_finish(&cloud->obst);
qsort(edges, n_edges, sizeof(edges[0]), cmp_edges);
/* Compute the maximum spanning tree using Kruskal/Union-Find */
DBG((env->dbg, LEVEL_2, "computing spanning tree of cloud with master %+F\n", cloud->master->inh.irn));
- for(i = 0; i < n_edges; ++i) {
+ for (i = 0; i < n_edges; ++i) {
edge_t *e = &edges[i];
co2_cloud_irn_t *rs = find_mst_root(e->src);
co2_cloud_irn_t *rt = find_mst_root(e->tgt);
/* if the union/find roots are different */
- if(rs != rt) {
+ if (rs != rt) {
int si = e->src->index;
int ti = e->tgt->index;
cloud->master->mst_parent = cloud->master;
cloud->mst_root = cloud->master;
q = new_pdeq1(cloud->master);
- while(!pdeq_empty(q)) {
- co2_cloud_irn_t *ci = pdeq_getl(q);
+ while (!pdeq_empty(q)) {
+ co2_cloud_irn_t *ci = (co2_cloud_irn_t*)pdeq_getl(q);
int ofs = ci->index * cloud->n_memb;
int end = ofs + cloud->n_memb;
int i;
ci->mst_n_childs = 0;
- for(i = ofs; i < end; ++i) {
- if(mst_edges[i] != 0) {
+ for (i = ofs; i < end; ++i) {
+ if (mst_edges[i] != 0) {
int other = i - ofs;
co2_cloud_irn_t *child = cloud->seq[i - ofs];
}
obstack_ptr_grow(&cloud->obst, NULL);
- ci->mst_childs = obstack_finish(&cloud->obst);
+ ci->mst_childs = (co2_cloud_irn_t**)obstack_finish(&cloud->obst);
}
del_pdeq(q);
free(mst_edges);
DBG((env->dbg, LEVEL_3, "mst:\n"));
- for(i = 0; i < cloud->n_memb; ++i) {
+ for (i = 0; i < cloud->n_memb; ++i) {
DEBUG_ONLY(co2_cloud_irn_t *ci = cloud->seq[i]);
DBG((env->dbg, LEVEL_3, "\t%+F -> %+F\n", ci->inh.irn, ci->mst_parent->inh.irn));
}
- for(i = 0; i < cloud->n_memb; ++i) {
+ for (i = 0; i < cloud->n_memb; ++i) {
co2_cloud_irn_t *ci = cloud->seq[i];
int n_childs = ci->mst_n_childs;
int j;
ci->fronts = OALLOCNZ(&cloud->obst, int, n_regs * n_childs);
ci->color_badness = OALLOCNZ(&cloud->obst, int, n_regs);
- for(j = 0; j < env->n_regs; j++)
+ for (j = 0; j < env->n_regs; j++)
ci->col_costs[j] = INT_MAX;
}
cloud->mst_root->inh.irn, best_col, examine_subtree_coloring(cloud->mst_root, best_col)));
/* Fix all nodes in the cloud. */
- for(i = 0; i < cloud->n_memb; ++i)
+ for (i = 0; i < cloud->n_memb; ++i)
cloud->seq[i]->inh.fixed = 1;
/* Free all space used while optimizing this cloud. */
int i, costs = 0;
neighb_t *n;
- for(i = 0; i < cloud->n_memb; ++i) {
+ for (i = 0; i < cloud->n_memb; ++i) {
co2_irn_t *ci = (co2_irn_t *) cloud->seq[i];
col_t col = get_col(cloud->env, ci->irn);
co_gs_foreach_neighb(ci->aff, n) {
return costs / 2;
}
-static void process(co2_t *env)
-{
- affinity_node_t *a;
- co2_cloud_t *pos;
- co2_cloud_t **clouds;
- int n_clouds;
- int i;
- int init_costs = 0;
- int all_costs = 0;
- int final_costs = 0;
-
- n_clouds = 0;
- co_gs_foreach_aff_node(env->co, a) {
- co2_cloud_irn_t *ci = get_co2_cloud_irn(env, a->irn);
-
- if(!ci->cloud) {
- new_cloud(env, a);
- n_clouds++;
- }
- }
-
- i = 0;
- clouds = XMALLOCN(co2_cloud_t*, n_clouds);
- list_for_each_entry(co2_cloud_t, pos, &env->cloud_head, list)
- clouds[i++] = pos;
- qsort(clouds, n_clouds, sizeof(clouds[0]), cmp_clouds_gt);
-
- for(i = 0; i < n_clouds; ++i) {
- init_costs += cloud_costs(clouds[i]);
-
- /* Process the cloud. */
- process_cloud(clouds[i]);
-
- all_costs += clouds[i]->costs;
- final_costs += cloud_costs(clouds[i]);
-
- /* Dump the IFG if the user demanded it. */
- if (dump_flags & DUMP_CLOUD) {
- char buf[256];
- FILE *f;
-
- ir_snprintf(buf, sizeof(buf), "ifg_%F_%s_cloud_%d.dot", env->co->irg, env->co->cls->name, i);
- f = fopen(buf, "wt");
- if(f != NULL) {
- be_ifg_dump_dot(env->co->cenv->ifg, env->co->irg, f, &ifg_dot_cb, env);
- fclose(f);
- }
- }
- }
-
- DB((env->dbg, LEVEL_1, "all costs: %d, init costs: %d, final costs: %d\n", all_costs, init_costs, final_costs));
-
- xfree(clouds);
-}
-
static void writeback_colors(co2_t *env)
{
co2_irn_t *irn;
- for(irn = env->touched; irn; irn = irn->touched_next) {
+ for (irn = env->touched; irn; irn = irn->touched_next) {
const arch_register_t *reg = arch_register_for_index(env->co->cls, irn->orig_col);
arch_set_irn_register((ir_node*)irn->irn, reg);
}
{
const arch_register_req_t *req = arch_get_register_req_out(ci->irn);
- if(arch_register_req_is(req, limited))
+ if (arch_register_req_is(req, limited))
return "diamond";
- if(ci->fixed)
+ if (ci->fixed)
return "rectangle";
- if(ci->tmp_fixed)
+ if (ci->tmp_fixed)
return "hexagon";
return "ellipse";
static void ifg_dump_node_attr(FILE *f, void *self, ir_node *irn)
{
- co2_t *env = self;
+ co2_t *env = (co2_t*)self;
co2_irn_t *ci = get_co2_irn(env, irn);
int peri = 1;
char buf[128] = "";
- if(ci->aff) {
- co2_cloud_irn_t *cci = (void *) ci;
+ if (ci->aff) {
+ co2_cloud_irn_t *cci = (co2_cloud_irn_t*) ci;
if (cci->cloud && cci->cloud->mst_root == cci)
peri = 2;
- if(cci->cloud && cci->cloud->mst_root)
+ if (cci->cloud && cci->cloud->mst_root)
ir_snprintf(buf, sizeof(buf), "%+F", cci->cloud->mst_root->inh.irn);
}
static void ifg_dump_at_end(FILE *file, void *self)
{
- co2_t *env = self;
+ co2_t *env = (co2_t*)self;
affinity_node_t *a;
co_gs_foreach_aff_node(env->co, a) {
int idx = get_irn_idx(a->irn);
neighb_t *n;
- if(ai->mst_parent != ai)
+ if (ai->mst_parent != ai)
fprintf(file, "\tn%d -- n%d [style=dotted color=blue arrowhead=normal];\n", idx, get_irn_idx(ai->mst_parent->inh.irn));
co_gs_foreach_neighb(a, n) {
int nidx = get_irn_idx(n->irn);
co2_cloud_irn_t *ci = get_co2_cloud_irn(env, n->irn);
- if(idx < nidx) {
+ if (idx < nidx) {
const char *color = get_col(env, a->irn) == get_col(env, n->irn) ? "black" : "red";
const char *arr = "arrowhead=dot arrowtail=dot";
- if(ci->mst_parent == ai)
+ if (ci->mst_parent == ai)
arr = "arrowtail=normal";
- else if(ai->mst_parent == ci)
+ else if (ai->mst_parent == ci)
arr = "arrowhead=normal";
fprintf(file, "\tn%d -- n%d [label=\"%d\" %s style=dashed color=%s weight=0.01];\n", idx, nidx, n->costs, arr, color);
}
}
-
static be_ifg_dump_dot_cb_t ifg_dot_cb = {
ifg_is_dump_node,
ifg_dump_graph_attr,
ifg_dump_at_end
};
+static void process(co2_t *env)
+{
+ affinity_node_t *a;
+ co2_cloud_t *pos;
+ co2_cloud_t **clouds;
+ int n_clouds;
+ int i;
+ int init_costs = 0;
+ int all_costs = 0;
+ int final_costs = 0;
+
+ n_clouds = 0;
+ co_gs_foreach_aff_node(env->co, a) {
+ co2_cloud_irn_t *ci = get_co2_cloud_irn(env, a->irn);
+
+ if (!ci->cloud) {
+ new_cloud(env, a);
+ n_clouds++;
+ }
+ }
+
+ i = 0;
+ clouds = XMALLOCN(co2_cloud_t*, n_clouds);
+ list_for_each_entry(co2_cloud_t, pos, &env->cloud_head, list)
+ clouds[i++] = pos;
+ qsort(clouds, n_clouds, sizeof(clouds[0]), cmp_clouds_gt);
+
+ for (i = 0; i < n_clouds; ++i) {
+ init_costs += cloud_costs(clouds[i]);
+
+ /* Process the cloud. */
+ process_cloud(clouds[i]);
+
+ all_costs += clouds[i]->costs;
+ final_costs += cloud_costs(clouds[i]);
+
+ /* Dump the IFG if the user demanded it. */
+ if (dump_flags & DUMP_CLOUD) {
+ char buf[256];
+ FILE *f;
+
+ ir_snprintf(buf, sizeof(buf), "ifg_%F_%s_cloud_%d.dot", env->co->irg, env->co->cls->name, i);
+ f = fopen(buf, "wt");
+ if (f != NULL) {
+ be_ifg_dump_dot(env->co->cenv->ifg, env->co->irg, f, &ifg_dot_cb, env);
+ fclose(f);
+ }
+ }
+ }
+
+ DB((env->dbg, LEVEL_1, "all costs: %d, init costs: %d, final costs: %d\n", all_costs, init_costs, final_costs));
+
+ xfree(clouds);
+}
+
int co_solve_heuristic_new(copy_opt_t *co)
{
char buf[256];
co2_t env;
FILE *f;
- phase_init(&env.ph, "co2", co->cenv->birg->irg, PHASE_DEFAULT_GROWTH, co2_irn_init, NULL);
+ phase_init(&env.ph, co->cenv->irg, co2_irn_init);
env.touched = NULL;
env.visited = 0;
env.co = co;
env.n_regs = co->cls->n_regs;
- env.ignore_regs = bitset_alloca(co->cls->n_regs);
- be_put_ignore_regs(co->cenv->birg, co->cls, env.ignore_regs);
+ env.allocatable_regs = bitset_alloca(co->cls->n_regs);
+ be_put_allocatable_regs(co->cenv->irg, co->cls, env.allocatable_regs);
FIRM_DBG_REGISTER(env.dbg, "firm.be.co2");
INIT_LIST_HEAD(&env.cloud_head);
- if(dump_flags & DUMP_BEFORE) {
+ if (dump_flags & DUMP_BEFORE) {
ir_snprintf(buf, sizeof(buf), "ifg_%F_%s_before.dot", co->irg, co->cls->name);
f = fopen(buf, "wt");
if (f != NULL) {
process(&env);
- if(dump_flags & DUMP_AFTER) {
+ if (dump_flags & DUMP_AFTER) {
ir_snprintf(buf, sizeof(buf), "ifg_%F_%s_after.dot", co->irg, co->cls->name);
f = fopen(buf, "wt");
if (f != NULL) {
}
writeback_colors(&env);
- phase_free(&env.ph);
+ phase_deinit(&env.ph);
return 0;
}
+BE_REGISTER_MODULE_CONSTRUCTOR(be_init_copyheur2);
void be_init_copyheur2(void)
{
lc_opt_entry_t *be_grp = lc_opt_get_grp(firm_opt_get_root(), "be");
lc_opt_entry_t *chordal_grp = lc_opt_get_grp(ra_grp, "chordal");
lc_opt_entry_t *co2_grp = lc_opt_get_grp(chordal_grp, "co2");
- lc_opt_add_table(co2_grp, options);
-
static co_algo_info copyheur = {
co_solve_heuristic_new, 0
};
+ lc_opt_add_table(co2_grp, options);
be_register_copyopt("heur2", ©heur);
}
-
-BE_REGISTER_MODULE_CONSTRUCTOR(be_init_copyheur2);
projects / libfirm / blobdiff