#include "firm_config.h"
-#ifndef _WIN32
- #ifndef HAVE_ALLOCA_H
- #define HAVE_ALLOCA_H 1
- #endif /* HAVE_ALLOC_H */
-#endif /* _WIN32 */
-
-#ifdef HAVE_ALLOCA_H
-#include <alloca.h>
-#endif
-
-#ifdef HAVE_MALLOC_H
-#include <malloc.h>
-#endif
-
#include "irnode_t.h"
#include "pset.h"
#include "becopyopt_t.h"
+#include "xmalloc.h"
/******************************************************************************
_____ _ _ _ _
*****************************************************************************/
+#ifdef WITH_ILP
#include <lpp/lpp.h>
-#undef LPP_SOLVE_NET
+#define LPP_SOLVE_NET
#ifdef LPP_SOLVE_NET
# include <lpp/lpp_net.h>
-# define LPP_HOST "i44pc52"
-# define LPP_SOLVER "cplex"
#else
# include <lpp/lpp_cplex.h>
#endif
typedef void(*ilp_callback)(ilp_env_t*);
struct _ilp_env_t {
- firm_dbg_module_t *dbg;
const copy_opt_t *co; /**< the copy opt problem */
size_red_t *sr; /**< problem size reduction. removes simple nodes */
lpp_t *lp; /**< the linear programming problem */
void *env;
ilp_callback build;
ilp_callback apply;
-
};
-ilp_env_t *new_ilp_env(copy_opt_t *co, firm_dbg_module_t *dbg, ilp_callback build, ilp_callback apply, void *env);
+ilp_env_t *new_ilp_env(copy_opt_t *co, ilp_callback build, ilp_callback apply, void *env);
-lpp_sol_state_t ilp_go(ilp_env_t *ienv, double time_limit);
+lpp_sol_state_t ilp_go(ilp_env_t *ienv);
void free_ilp_env(ilp_env_t *ienv);
-/******************************************************************************
+#define name_cdd(buf, char1, int1, int2) \
+ (snprintf(buf, sizeof(buf), "%c_%d_%d", char1, int1, int2), buf)
+#define name_cdd_sorted(buf, char1, int1, int2) \
+ name_cdd(buf, char1, MIN(int1, int2), MAX(int1, int2))
- *****************************************************************************/
+#endif // WITH_ILP
-#endif /* _BECOPYILP_T_H */
+#endif