summaryrefslogtreecommitdiff
path: root/src/runtime/c/pgf
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2016-05-25 09:42:24 +0000
committerkrasimir <krasimir@chalmers.se>2016-05-25 09:42:24 +0000
commit0894f55661aa6152b76b2a072633fe5bfa3ed837 (patch)
treea0be8e189e5f22de62316e555e227add2a8b471d /src/runtime/c/pgf
parentfaebebc8f4b4587c9c1849e20473ef9ef6678ded (diff)
fix the compilation when debugging is switched off
Diffstat (limited to 'src/runtime/c/pgf')
-rw-r--r--src/runtime/c/pgf/jit.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c
index 4fd80dac0..4fe18d181 100644
--- a/src/runtime/c/pgf/jit.c
+++ b/src/runtime/c/pgf/jit.c
@@ -155,7 +155,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
abscat->predicate = (PgfFunction) jit_get_ip().ptr;
if (strcmp(abscat->name, "String") == 0) {
+#ifdef PGF_JIT_DEBUG
gu_printf(out, err, " MK_STRING\n");
+#endif
jit_prepare(2);
jit_pusharg_p(JIT_VCLOS);
@@ -172,7 +174,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
}
if (strcmp(abscat->name, "Int") == 0) {
+#ifdef PGF_JIT_DEBUG
gu_printf(out, err, " MK_INT\n");
+#endif
jit_prepare(2);
jit_pusharg_p(JIT_VCLOS);
@@ -189,7 +193,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
}
if (strcmp(abscat->name, "Float") == 0) {
+#ifdef PGF_JIT_DEBUG
gu_printf(out, err, " MK_FLOAT\n");
+#endif
jit_prepare(2);
jit_pusharg_p(JIT_VCLOS);