Added linear programming problem (lpp) module. Ready but untested.
[libfirm] / 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 "becopyopt.h"
16 #include "becopystat.h"
17 #include "becopyoptmain.h"
18
19 #define DO_HEUR
20 #define DO_ILP
21
22 #define DEBUG_LVL SET_LEVEL_1
23 static firm_dbg_module_t *dbg = NULL;
24
25 void be_copy_opt_init(void) {
26         dbg = firm_dbg_register("ir.be.copyopt");
27         firm_dbg_set_mask(dbg, DEBUG_LVL);
28 }
29
30 void be_copy_opt(ir_graph* irg, const arch_env_t *env, const arch_register_class_t *cls) {
31         copy_opt_t *co;
32         int lb, copies;
33         co = new_copy_opt(irg, env, cls);
34         DBG((dbg, LEVEL_1, "\n\n    ===>  %s  <===\n\n", co->name));
35         co_check_allocation(co);
36
37 #ifdef DO_STAT
38         copies = co_get_copy_count(co);
39         curr_vals[I_COPIES_INIT] += copies;
40         DBG((dbg, 1, "Init copies: %3d\n", copies));
41 #endif
42
43 #ifdef DO_HEUR
44         co_heur_opt(co);
45         co_check_allocation(co);
46 #ifdef DO_STAT
47         copies = co_get_copy_count(co);
48         curr_vals[I_COPIES_HEUR] += copies;
49         DBG((dbg, 1, "Heur copies: %3d\n", copies));
50 #endif
51         DBG((dbg, 1, "Heur copies: %3d\n", co_get_copy_count(co)));
52 #endif
53
54 #ifdef DO_ILP
55         lb = co_get_lower_bound(co);
56         copies = co_get_copy_count(co);
57 //TODO remove checks and enable lb
58         if (copies<lb)
59                 DBG((dbg, 0, "\n\nAt least one computation of these two is boooogy %d < %d\n\n", lb, copies));
60
61 //      if (copies > lb) {
62                 co_ilp_opt(co);
63                 co_check_allocation(co);
64 //      }
65         copies = co_get_copy_count(co);
66         assert(copies>=lb && "At least one computation of these two is boooogy");
67
68 #ifdef DO_STAT
69         copies = co_get_copy_count(co);
70         curr_vals[I_COPIES_HEUR] += copies;
71         DBG((dbg, 1, "Opt  copies: %3d\n", copies));
72 #endif
73         DBG((dbg, 1, "Opt  copies: %3d\n", co_get_copy_count(co)));
74 #endif
75
76         free_copy_opt(co);
77 }