nsz Git - libfirm/blob - ir/be/becopyoptmain.c

   1 /**
   2  * Author:      Daniel Grund
   3  * Date:                11.04.2005
   4  * Copyright:   (c) Universitaet Karlsruhe
   5  * Licence:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
   6
   7  * Main file for the optimization reducing the copies needed for:
   8  * - phi coalescing
   9  * - register-constrained nodes
  10  */
  11 #ifdef HAVE_CONFIG_H
  12 #include "config.h"
  13 #endif
  14
  15 #include <libcore/lc_timing.h>
  16
  17 #include "pmap.h"
  18 #include "debug.h"
  19 #include "irouts.h"
  20 #include "bearch.h"
  21 #include "becopyopt.h"
  22 #include "becopystat.h"
  23 #include "becopyoptmain.h"
  24 #include "phiclass.h"
  25
  26 #define DO_HEUR
  27 #undef DO_ILP_5_SEC
  28 #undef DO_ILP_30_SEC
  29 #undef DO_ILP
  30
  31 #define DEBUG_LVL SET_LEVEL_1
  32 static firm_dbg_module_t *dbg = NULL;
  33
  34 void be_copy_opt_init(void) {
  35         dbg = firm_dbg_register("ir.be.copyoptmain");
  36         firm_dbg_set_mask(dbg, DEBUG_LVL);
  37 }
  38
  39 typedef struct color_saver {
  40         arch_env_t *arch_env;
  41         be_chordal_env_t *chordal_env;
  42         pmap *saved_colors;
  43         int flag;  /* 0 save; 1 load */
  44 } color_save_t;
  45
  46 static void save_load(ir_node *irn, void *env) {
  47         color_save_t *saver = env;
  48         if (saver->chordal_env->cls == arch_get_irn_reg_class(saver->arch_env, irn, -1)) {
  49                 if (saver->flag == 0) { /* save */
  50                         const arch_register_t *reg = arch_get_irn_register(saver->arch_env, irn);
  51                         pmap_insert(saver->saved_colors, irn, (void *) reg);
  52                 } else { /*load */
  53                         arch_register_t *reg = pmap_get(saver->saved_colors, irn);
  54                         arch_set_irn_register(saver->arch_env, irn, reg);
  55                 }
  56         }
  57 }
  58
  59 static void save_colors(color_save_t *color_saver) {
  60         color_saver->flag = 0;
  61         irg_walk_graph(color_saver->chordal_env->irg, save_load, NULL, color_saver);
  62 }
  63
  64 static void load_colors(color_save_t *color_saver) {
  65         color_saver->flag = 1;
  66         irg_walk_graph(color_saver->chordal_env->irg, save_load, NULL, color_saver);
  67 }
  68
  69 void be_copy_opt(be_chordal_env_t *chordal_env) {
  70         copy_opt_t *co;
  71         int costs, costs_init=-1, costs_heur=-1, costs_ilp_5_sec=-1, costs_ilp_30_sec=-1, costs_ilp=-1;
  72         int lower_bound = -1;
  73         int was_optimal = 0;
  74         color_save_t saver;
  75         saver.arch_env = chordal_env->main_env->arch_env;
  76         saver.chordal_env = chordal_env;
  77         saver.saved_colors = pmap_create();
  78
  79         /* BETTER: You can remove this if you replace all
  80          * `grep get_irn_out *.c` by the irouts.h module.*/
  81         compute_irg_outs(chordal_env->irg);
  82
  83         co = new_copy_opt(chordal_env, get_costs_loop_depth);
  84         DBG((dbg, LEVEL_1, "----> CO: %s\n", co->name));
  85         phi_class_compute(chordal_env->irg);
  86
  87 #ifdef DO_STAT
  88         lower_bound = co_get_lower_bound(co);
  89         DBG((dbg, LEVEL_1, "Lower Bound: %3d\n", lower_bound));
  90         DBG((dbg, LEVEL_1, "Inevit Costs: %3d\n", co_get_inevit_copy_costs(co)));
  91
  92         costs = co_get_copy_costs(co);
  93         costs_init = costs;
  94         copystat_add_max_costs(co_get_max_copy_costs(co));
  95         copystat_add_inevit_costs(co_get_inevit_copy_costs(co));
  96         copystat_add_init_costs(costs_init);
  97         DBG((dbg, LEVEL_1, "Init costs: %3d\n", costs_init));
  98 #endif
  99
 100         save_colors(&saver);
 101
 102 #ifdef DO_HEUR
 103         {
 104                 lc_timer_t *timer = lc_timer_register("heur", NULL);
 105                 lc_timer_reset_and_start(timer);
 106                 co_heur_opt(co);
 107                 lc_timer_stop(timer);
 108                 copystat_add_heur_time(lc_timer_elapsed_msec(timer));
 109         }
 110 #ifdef DO_STAT
 111         costs = co_get_copy_costs(co);
 112         costs_heur = costs;
 113         copystat_add_heur_costs(costs_heur);
 114         DBG((dbg, LEVEL_1, "Heur costs: %3d\n", costs_heur));
 115 #endif
 116         assert(lower_bound == -1 || costs_heur == -1 || lower_bound <= costs_heur);
 117 #endif
 118
 119         {
 120 #ifdef DO_ILP_5_SEC
 121                 load_colors(&saver);
 122                 was_optimal = co_ilp_opt(co, 5.0);
 123 #ifdef DO_STAT
 124                 costs = co_get_copy_costs(co);
 125                 costs_ilp_5_sec = costs;
 126                 copystat_add_ilp_5_sec_costs(costs_ilp_5_sec);
 127                 DBG((dbg, LEVEL_1, "5_Sec costs: %3d\n", costs_ilp_5_sec));
 128 #endif
 129 #endif
 130         }
 131
 132
 133 #ifdef DO_ILP_30_SEC
 134         if (!was_optimal) {
 135                 load_colors(&saver);
 136                 co_ilp_opt(co, 30.0);
 137         }
 138 #ifdef DO_STAT
 139         costs = co_get_copy_costs(co);
 140         costs_ilp_30_sec = costs;
 141         copystat_add_ilp_30_sec_costs(costs_ilp_30_sec);
 142         DBG((dbg, LEVEL_1, "30_Sec costs: %3d\n", costs_ilp_30_sec));
 143 #endif
 144 #endif
 145
 146
 147 #ifdef DO_ILP
 148         load_colors(&saver);
 149         co_ilp_opt(co, 1000.0);
 150 #ifdef DO_STAT
 151         costs = co_get_copy_costs(co);
 152         costs_ilp = costs;
 153         copystat_add_opt_costs(costs_ilp);
 154         DBG((dbg, LEVEL_1, "Opt  costs: %3d\n", costs_ilp));
 155 #endif
 156         assert(lower_bound == -1 || costs_ilp == -1 || lower_bound <= costs_ilp);
 157         assert(costs_ilp == -1 || costs_heur == -1 || costs_ilp <= costs_heur);
 158 #endif
 159
 160         pmap_destroy(saver.saved_colors);
 161         free_copy_opt(co);
 162 }