-fix compilation when WITH_ILP is not defined

ir/be/becopyilp_t.h

@@ -108,6 +108,7 @@ static INLINE int co_ilp_get_costs(copy_opt_t *co, ir_node *root, ir_node *arg)
 
  *****************************************************************************/
 
+#ifdef WITH_ILP
 #include <lpp/lpp.h>
 
 #define LPP_SOLVE_NET
@@ -146,4 +147,6 @@ void free_ilp_env(ilp_env_t *ienv);
 #define name_cdd_sorted(buf, char1, int1, int2) \
 			name_cdd(buf, char1, MIN(int1, int2), MAX(int1, int2))
 
+#endif // WITH_ILP
+
 #endif

ir/be/becopyopt.c

@@ -124,7 +124,9 @@ void co_register_options(lc_opt_entry_t *grp)
 
 	be_co2_register_options(co_grp);
 	be_co3_register_options(co_grp);
+#ifdef WITH_ILP
 	be_co_ilp_register_options(co_grp);
+#endif
 }
 #endif
 
@@ -1249,7 +1251,7 @@ static void ifg_dump_at_end(FILE *file, void *self)
 
 		co_gs_foreach_neighb(a, n) {
 			const arch_register_t *nr = arch_get_irn_register(env->co->aenv, n->irn);
-			int nidx = get_irn_idx(n->irn);
+			unsigned nidx = get_irn_idx(n->irn);
 
 			if(aidx < nidx) {
 				const char *color = nr == ar ? "blue" : "red";
@@ -1293,8 +1295,9 @@ void co_solve_park_moon(copy_opt_t *opt)
 
 }
 
-static void void_algo(copy_opt_t *co)
+static int void_algo(copy_opt_t *co)
 {
+	return 0;
 }
 
 /*
@@ -1311,7 +1314,9 @@ static co_algo_t *algos[] = {
 	co_solve_heuristic,
 	co_solve_heuristic_new,
 	co_solve_heuristic_java,
+#ifdef WITH_ILP
 	co_solve_ilp2
+#endif
 };
 
 /*

ir/be/bespillcost.c

@@ -32,10 +32,6 @@
 #include "execfreq.h"
 #include "irvrfy.h"
 
-#include <lpp/lpp.h>
-#include <lpp/lpp_net.h>
-#include <lpp/lpp_cplex.h>
-//#include <lc_pset.h>
 #include <libcore/lc_bitset.h>
 
 #include "be_t.h"

ir/be/beverify.c

@@ -199,3 +199,8 @@ int be_verify_schedule(ir_graph *irg)
 
 	return ! env.problem_found;
 }
+
+/* Ideas for further verifiers:
+ *   - make sure that each use is dominated by its definition (except phi arguments)
+ *   - make sure that all spills attached to phims spill into the same slot...
+ */