3 * More experiments on coalescing.
4 * @author Sebastian Hack
13 #include <libcore/lc_opts.h>
14 #include <libcore/lc_opts_enum.h>
15 #endif /* WITH_LIBCORE */
25 #include "bitfiddle.h"
28 #include "irphase_t.h"
29 #include "irgraph_t.h"
36 #include "becopyopt.h"
37 #include "becopyopt_t.h"
38 #include "bechordal_t.h"
39 #include "bejavacoal.h"
46 #define DUMP_ALL 2 * DUMP_AFTER - 1
48 static int dump_flags = 0;
49 static int dbg_level = 0;
52 static const lc_opt_enum_mask_items_t dump_items[] = {
53 { "before", DUMP_BEFORE },
54 { "after", DUMP_AFTER },
59 static lc_opt_enum_mask_var_t dump_var = {
60 &dump_flags, dump_items
63 static const lc_opt_table_entry_t options[] = {
64 LC_OPT_ENT_ENUM_MASK("dump", "dump ifg before, after or after each cloud", &dump_var),
65 LC_OPT_ENT_INT ("dbg", "debug level for the Java coalescer", &dbg_level),
69 void be_co3_register_options(lc_opt_entry_t *grp)
71 lc_opt_entry_t *co3_grp = lc_opt_get_grp(grp, "co3");
72 lc_opt_add_table(co3_grp, options);
77 static void set_admissible_regs(be_java_coal_t *coal, copy_opt_t *co, ir_node *irn, int t_idx, int *col_map)
80 arch_register_req_t req;
81 unsigned n_regs = co->cls->n_regs;
83 arch_get_register_req(co->aenv, &req, irn, BE_OUT_POS(0));
84 if(arch_register_req_is(&req, limited)) {
85 bitset_t *adm = bitset_alloca(n_regs);
86 req.limited(req.limited_env, adm);
87 for(i = 0; i < n_regs; ++i)
88 if(!bitset_is_set(adm, i) && col_map[i] >= 0)
89 be_java_coal_forbid_color(coal, t_idx, col_map[i]);
93 int co_solve_heuristic_java(copy_opt_t *co)
95 be_ifg_t *ifg = co->cenv->ifg;
96 void *nodes_it = be_ifg_nodes_iter_alloca(ifg);
97 void *neigh_it = be_ifg_neighbours_iter_alloca(ifg);
98 bitset_t *nodes = bitset_malloc(get_irg_last_idx(co->irg));
99 unsigned n_regs = co->cenv->cls->n_regs;
101 unsigned i, j, curr_idx;
108 be_java_coal_t *coal;
111 col_map = alloca(n_regs * sizeof(col_map[0]));
112 inv_col_map = alloca(n_regs * sizeof(inv_col_map[0]));
114 memset(inv_col_map, 0, sizeof(inv_col_map[0]) * n_regs);
116 for(i = 0, j = 0; i < n_regs; ++i) {
117 const arch_register_t *reg = &co->cls->regs[i];
120 if(!arch_register_type_is(reg, ignore)) {
122 //inv_col_map[j] = i;
127 node_map = malloc((get_irg_last_idx(co->irg) + 1) * sizeof(node_map[0]));
128 inv_node_map = malloc((get_irg_last_idx(co->irg) + 1) * sizeof(inv_node_map[0]));
131 be_ifg_foreach_node(ifg, nodes_it, n) {
132 if(!arch_irn_is(co->aenv, n, ignore)) {
133 int idx = get_irn_idx(n);
134 bitset_set(nodes, idx);
135 node_map[idx] = curr_idx;
136 inv_node_map[curr_idx] = idx;
148 coal = be_java_coal_init("test", curr_idx, j, dbg_level);
150 /* Check, if all neighbours are indeed connected to the node. */
151 be_ifg_foreach_node(ifg, nodes_it, n) {
152 int n_idx = get_irn_idx(n);
153 int t_idx = node_map[n_idx];
155 if(bitset_is_set(nodes, n_idx)) {
156 affinity_node_t *an = get_affinity_info(co, n);
158 be_java_coal_set_color(coal, t_idx, col_map[arch_get_irn_register(co->aenv, n)->index]);
159 set_admissible_regs(coal, co, n, t_idx, col_map);
160 be_ifg_foreach_neighbour(ifg, neigh_it, n, m) {
161 int m_idx = get_irn_idx(m);
162 int s_idx = node_map[m_idx];
164 if(n_idx < m_idx && bitset_is_set(nodes, m_idx)) {
165 be_java_coal_add_int_edge(coal, s_idx, t_idx);
171 co_gs_foreach_neighb(an, neigh) {
172 int m_idx = get_irn_idx(neigh->irn);
173 int s_idx = node_map[m_idx];
175 if(n_idx < m_idx && bitset_is_set(nodes, m_idx)) {
176 be_java_coal_add_aff_edge(coal, s_idx, t_idx, neigh->costs);
183 if(dump_flags & DUMP_BEFORE) {
185 ir_snprintf(fn, sizeof(fn), "%F-%s-before.dot", co->cenv->irg, co->cenv->cls->name);
186 be_java_coal_dump(coal, fn);
189 be_java_coal_coalesce(coal);
191 be_ifg_foreach_node(ifg, nodes_it, n) {
192 unsigned idx = get_irn_idx(n);
193 if(bitset_is_set(nodes, idx)) {
194 unsigned t_idx = node_map[idx];
195 unsigned col = inv_col_map[be_java_coal_get_color(coal, t_idx)];
196 const arch_register_t *reg = &co->cls->regs[col];
197 arch_set_irn_register(co->aenv, n, reg);
201 if(dump_flags & DUMP_AFTER) {
203 ir_snprintf(fn, sizeof(fn), "%F-%s-after.dot", co->cenv->irg, co->cenv->cls->name);
204 be_java_coal_dump(coal, fn);
207 be_java_coal_destroy(coal);