summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--include/utils.h10
-rw-r--r--src/segtree.c22
2 files changed, 19 insertions, 13 deletions
diff --git a/include/utils.h b/include/utils.h
index dcefc6b6..397c1978 100644
--- a/include/utils.h
+++ b/include/utils.h
@@ -13,12 +13,18 @@
#define BITS_PER_BYTE 8
-#if defined(DEBUG) && defined(HAVE_LIBGMP)
-#define pr_debug(fmt, arg...) gmp_printf(fmt, ##arg)
+#if defined(DEBUG)
+#define pr_debug(fmt, arg...) printf(fmt, ##arg)
#else
#define pr_debug(fmt, arg...) ({ if (false) {}; 0; })
#endif
+#if defined(DEBUG) && defined(HAVE_LIBGMP)
+#define pr_gmp_debug(fmt, arg...) gmp_printf(fmt, ##arg)
+#else
+#define pr_gmp_debug(fmt, arg...) ({ if (false) {}; 0; })
+#endif
+
#define __fmtstring(x, y) __attribute__((format(printf, x, y)))
#if 0
#define __gmp_fmtstring(x, y) __fmtstring(x, y)
diff --git a/src/segtree.c b/src/segtree.c
index 753d8b84..65221e9d 100644
--- a/src/segtree.c
+++ b/src/segtree.c
@@ -190,7 +190,7 @@ static void ei_insert(struct seg_tree *tree, struct elementary_interval *new)
rei = ei_lookup(tree, new->right);
if (segtree_debug())
- pr_debug("insert: [%Zx %Zx]\n", new->left, new->right);
+ pr_gmp_debug("insert: [%Zx %Zx]\n", new->left, new->right);
if (lei != NULL && rei != NULL && lei == rei) {
/*
@@ -200,7 +200,7 @@ static void ei_insert(struct seg_tree *tree, struct elementary_interval *new)
* [lei_left, new_left) and (new_right, rei_right]
*/
if (segtree_debug())
- pr_debug("split [%Zx %Zx]\n", lei->left, lei->right);
+ pr_gmp_debug("split [%Zx %Zx]\n", lei->left, lei->right);
ei_remove(tree, lei);
@@ -220,8 +220,8 @@ static void ei_insert(struct seg_tree *tree, struct elementary_interval *new)
* [lei_left, new_left)[new_left, new_right]
*/
if (segtree_debug()) {
- pr_debug("adjust left [%Zx %Zx]\n",
- lei->left, lei->right);
+ pr_gmp_debug("adjust left [%Zx %Zx]\n",
+ lei->left, lei->right);
}
mpz_sub_ui(lei->right, new->left, 1);
@@ -238,8 +238,8 @@ static void ei_insert(struct seg_tree *tree, struct elementary_interval *new)
* [new_left, new_right](new_right, rei_right]
*/
if (segtree_debug()) {
- pr_debug("adjust right [%Zx %Zx]\n",
- rei->left, rei->right);
+ pr_gmp_debug("adjust right [%Zx %Zx]\n",
+ rei->left, rei->right);
}
mpz_add_ui(rei->left, new->right, 1);
@@ -358,7 +358,7 @@ static void segtree_linearize(struct list_head *list, struct seg_tree *tree)
*/
rb_for_each_entry_safe(ei, node, next, &tree->root, rb_node) {
if (segtree_debug())
- pr_debug("iter: [%Zx %Zx]\n", ei->left, ei->right);
+ pr_gmp_debug("iter: [%Zx %Zx]\n", ei->left, ei->right);
if (prev == NULL) {
/*
@@ -443,9 +443,9 @@ int set_to_intervals(struct list_head *errs, struct set *set)
list_for_each_entry_safe(ei, next, &list, list) {
if (segtree_debug()) {
- pr_debug("list: [%.*Zx %.*Zx]\n",
- 2 * tree.keylen / BITS_PER_BYTE, ei->left,
- 2 * tree.keylen / BITS_PER_BYTE, ei->right);
+ pr_gmp_debug("list: [%.*Zx %.*Zx]\n",
+ 2 * tree.keylen / BITS_PER_BYTE, ei->left,
+ 2 * tree.keylen / BITS_PER_BYTE, ei->right);
}
set_insert_interval(set->init, &tree, ei);
ei_destroy(ei);
@@ -453,7 +453,7 @@ int set_to_intervals(struct list_head *errs, struct set *set)
if (segtree_debug()) {
expr_print(set->init);
- pr_debug("\n");
+ pr_gmp_debug("\n");
}
return 0;
}