4 * Copyright: (c) Universitaet Karlsruhe
5 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
7 * Main file for the optimization reducing the copies needed for:
9 * - register-constrained nodes
15 #include <libcore/lc_timing.h>
19 #include "becopyopt.h"
20 #include "becopystat.h"
21 #include "becopyoptmain.h"
29 #define DEBUG_LVL SET_LEVEL_1
30 static firm_dbg_module_t *dbg = NULL;
32 void be_copy_opt_init(void) {
33 dbg = firm_dbg_register("ir.be.copyoptmain");
34 firm_dbg_set_mask(dbg, DEBUG_LVL);
37 typedef struct color_saver {
39 be_chordal_env_t *chordal_env;
41 int flag; /* 0 save; 1 load */
44 static void save_load(ir_node *irn, void *env) {
45 color_save_t *saver = env;
46 if (saver->chordal_env->cls == arch_get_irn_reg_class(saver->arch_env, irn, arch_pos_make_out(0))) {
47 if (saver->flag == 0) { /* save */
48 const arch_register_t *reg = arch_get_irn_register(saver->arch_env, irn, 0);
49 pmap_insert(saver->saved_colors, irn, (void *) reg);
51 arch_register_t *reg = pmap_get(saver->saved_colors, irn);
52 arch_set_irn_register(saver->arch_env, irn, 0, reg);
57 static void save_colors(color_save_t *color_saver) {
58 color_saver->flag = 0;
59 irg_walk_graph(color_saver->chordal_env->session_env->irg, save_load, NULL, color_saver);
62 static void load_colors(color_save_t *color_saver) {
63 color_saver->flag = 1;
64 irg_walk_graph(color_saver->chordal_env->session_env->irg, save_load, NULL, color_saver);
67 void be_copy_opt(be_chordal_env_t *chordal_env) {
69 int costs, costs_init=-1, costs_heur=-1, costs_ilp_5_sec=-1, costs_ilp_30_sec=-1, costs_ilp=-1;
74 saver.arch_env = chordal_env->session_env->main_env->arch_env;
75 saver.chordal_env = chordal_env;
76 saver.saved_colors = pmap_create();
78 /* BETTER: You can remove this if you replace all
79 * `grep get_irn_out *.c` by the irouts.h module.*/
80 compute_outs(chordal_env->session_env->irg);
82 co = new_copy_opt(chordal_env, get_costs_loop_depth);
83 DBG((dbg, LEVEL_1, "----> CO: %s\n", co->name));
84 phi_class_compute(chordal_env->session_env->irg);
87 lower_bound = co_get_lower_bound(co);
88 DBG((dbg, LEVEL_1, "Lower Bound: %3d\n", lower_bound));
89 DBG((dbg, LEVEL_1, "Inevit Costs: %3d\n", co_get_inevit_copy_costs(co)));
91 costs = co_get_copy_costs(co);
93 copystat_add_max_costs(co_get_max_copy_costs(co));
94 copystat_add_inevit_costs(co_get_inevit_copy_costs(co));
95 copystat_add_init_costs(costs_init);
96 DBG((dbg, LEVEL_1, "Init costs: %3d\n", costs_init));
103 lc_timer_t *timer = lc_timer_register("heur", NULL);
104 lc_timer_reset_and_start(timer);
106 lc_timer_stop(timer);
107 copystat_add_heur_time(lc_timer_elapsed_msec(timer));
110 costs = co_get_copy_costs(co);
112 copystat_add_heur_costs(costs_heur);
113 DBG((dbg, LEVEL_1, "Heur costs: %3d\n", costs_heur));
115 assert(lower_bound == -1 || costs_heur == -1 || lower_bound <= costs_heur);
120 was_optimal = co_ilp_opt(co, 5.0);
122 costs = co_get_copy_costs(co);
123 costs_ilp_5_sec = costs;
124 copystat_add_ilp_5_sec_costs(costs_ilp_5_sec);
125 DBG((dbg, LEVEL_1, "5_Sec costs: %3d\n", costs_ilp_5_sec));
133 co_ilp_opt(co, 30.0);
136 costs = co_get_copy_costs(co);
137 costs_ilp_30_sec = costs;
138 copystat_add_ilp_30_sec_costs(costs_ilp_30_sec);
139 DBG((dbg, LEVEL_1, "30_Sec costs: %3d\n", costs_ilp_30_sec));
146 co_ilp_opt(co, 1000.0);
148 costs = co_get_copy_costs(co);
150 copystat_add_opt_costs(costs_ilp);
151 DBG((dbg, LEVEL_1, "Opt costs: %3d\n", costs_ilp));
153 assert(lower_bound == -1 || costs_ilp == -1 || lower_bound <= costs_ilp);
154 assert(costs_ilp == -1 || costs_heur == -1 || costs_ilp <= costs_heur);
157 pmap_destroy(saver.saved_colors);