4 * Copyright: (c) Universitaet Karlsruhe
5 * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE.
7 * Common stuff used by all ILP fomulations.
11 #ifndef _BECOPYILP_T_H
12 #define _BECOPYILP_T_H
26 #include "becopyopt_t.h"
28 /******************************************************************************
31 | (___ _ _______ _ __ ___ __| |_ _ ___| |_ _ ___ _ __
32 \___ \| |_ / _ \ | '__/ _ \/ _` | | | |/ __| __| |/ _ \| '_ \
33 ____) | |/ / __/ | | | __/ (_| | |_| | (__| |_| | (_) | | | |
34 |_____/|_/___\___| |_| \___|\__,_|\__,_|\___|\__|_|\___/|_| |_|
36 *****************************************************************************/
38 typedef struct _coloring_suffix_t coloring_suffix_t;
40 struct _coloring_suffix_t {
41 coloring_suffix_t *next;
45 typedef struct _size_red_t {
47 pset *all_removed; /**< All nodes removed during problem size reduction */
48 coloring_suffix_t *col_suff; /**< Coloring suffix. Reverse would be a PEO prefix */
53 * Just prepare. Do nothing yet.
55 size_red_t *new_size_red(copy_opt_t *co);
58 * Checks if a node has already been removed
60 #define sr_is_removed(sr, irn) pset_find_ptr((sr)->all_removed, irn)
63 * Virtually remove all nodes not related to the problem
64 * (simplicial AND not adjacent to a equal-color-edge)
66 void sr_remove(size_red_t *sr);
69 * Virtually reinsert the nodes removed before and color them
71 void sr_reinsert(size_red_t *sr);
76 void free_size_red(size_red_t *sr);
79 * TODO: This search is necessary because during the construction of the
80 * units (ou's) args could be merged and weights are accumulated.
83 static INLINE int co_ilp_get_costs(copy_opt_t *co, ir_node *root, ir_node *arg) {
87 /* search optimization unit for phi */
88 list_for_each_entry(unit_t, curr, &co->units, units)
89 if (curr->nodes[0] == root) {
91 for (i=1; i<curr->node_count; ++i)
92 if (curr->nodes[i] == arg)
93 return curr->costs[i];
95 assert(0 && "irn must occur in this ou");
98 assert(0 && "phi must be found in a ou");
102 /******************************************************************************
103 _____ _ _____ _ _____
104 / ____| (_) |_ _| | | __ \
105 | | __ ___ _ __ ___ _ __ _ ___ | | | | | |__) |
106 | | |_ |/ _ \ '_ \ / _ \ '__| |/ __| | | | | | ___/
107 | |__| | __/ | | | __/ | | | (__ _| |_| |____| |
108 \_____|\___|_| |_|\___|_| |_|\___| |_____|______|_|
110 *****************************************************************************/
114 #define LPP_SOLVE_NET
117 # include <lpp/lpp_net.h>
118 # define LPP_HOST "i44pc52"
119 # define LPP_SOLVER "cplex"
121 # include <lpp/lpp_cplex.h>
124 #define EPSILON 0.00001
126 typedef struct _ilp_env_t ilp_env_t;
128 typedef void(*ilp_callback)(ilp_env_t*);
131 const copy_opt_t *co; /**< the copy opt problem */
132 size_red_t *sr; /**< problem size reduction. removes simple nodes */
133 lpp_t *lp; /**< the linear programming problem */
139 ilp_env_t *new_ilp_env(copy_opt_t *co, ilp_callback build, ilp_callback apply, void *env);
141 lpp_sol_state_t ilp_go(ilp_env_t *ienv);
143 void free_ilp_env(ilp_env_t *ienv);
146 #define name_cdd(buf, char1, int1, int2) \
147 (snprintf(buf, sizeof(buf), "%c_%d_%d", char1, int1, int2), buf)
149 #define name_cdd_sorted(buf, char1, int1, int2) \
150 name_cdd(buf, char1, MIN(int1, int2), MAX(int1, int2))