X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Flpp%2Flpp.c;h=2d2c8a98aad623288ae515f3122f63fbabc9c64c;hb=6ccff2965d94c272f71df2a1655336af47bb7753;hp=9ec81583b1b198e75a9550e46d46bbd1bc939cbe;hpb=e2136f1e06e8ddc66609d7a0c53e0edda7f5cca2;p=libfirm

diff --git a/ir/lpp/lpp.c b/ir/lpp/lpp.c
index 9ec81583b..2d2c8a98a 100644
--- a/ir/lpp/lpp.c
+++ b/ir/lpp/lpp.c
@@ -32,6 +32,7 @@
 #include "hashptr.h"
 #include "debug.h"
 #include "set.h"
+#include "debug.h"
 
 #include "sp_matrix.h"
 #include "mps.h"
@@ -42,7 +43,7 @@
 
 #define HASH_NAME_T(n) HASH_STR((n)->name, strlen((n)->name))
 
-static firm_dbg_module_t *dbg = NULL;
+DEBUG_ONLY(static firm_dbg_module_t *dbg = NULL;)
 
 static inline char *obst_xstrdup(struct obstack *obst, const char *str)
 {
@@ -79,7 +80,7 @@ lpp_t *lpp_new_userdef(const char *name, lpp_opt_t opt_type,
 	lpp_t *lpp;
 	int   idx;
 
-	dbg = firm_dbg_register("lpp");
+	DEBUG_ONLY(dbg = firm_dbg_register("lpp");)
 	lpp = XMALLOCZ(lpp_t);
 	obstack_init(&lpp->obst);
 
@@ -363,14 +364,14 @@ void lpp_check_startvals(lpp_t *lpp)
 					fprintf(stderr, "constraint %s unsatisfied: %g != %g\n", cst->name, sum, cst_val);
 				}
 				break;
-			case lpp_less:
+			case lpp_less_equal:
 				if(sum > cst_val) {
-					fprintf(stderr, "constraint %s unsatisfied: %g > %g\n", cst->name, sum, cst_val);
+					fprintf(stderr, "constraint %s unsatisfied: %g >= %g\n", cst->name, sum, cst_val);
 				}
 				break;
-			case lpp_greater:
+			case lpp_greater_equal:
 				if(sum < cst_val) {
-					fprintf(stderr, "constraint %s unsatisfied: %g < %g\n", cst->name, sum, cst_val);
+					fprintf(stderr, "constraint %s unsatisfied: %g <= %g\n", cst->name, sum, cst_val);
 				}
 				break;
 			default:
@@ -398,9 +399,9 @@ static const char *lpp_cst_op_to_str(lpp_cst_t cst)
 	switch(cst) {
 	case lpp_equal:
 		return "=";
-	case lpp_less:
+	case lpp_less_equal:
 		return "<=";
-	case lpp_greater:
+	case lpp_greater_equal:
 		return ">=";
 	default:
 		return "";