X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fruntime.ml;h=3082f501ba39efcef04c778de0f208e092d870e3;hb=83e9f9d8f219fece86afbedd1332d5ad97971d1c;hp=a7103f17944aedc805e7e1389f35fe0cab4478d6;hpb=9d19c60e10c9572885509b35c2b72f362968d6ab;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index a7103f1..3082f50 100644
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -175,11 +175,11 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
 DEFINE LOOP (t, states, ctx) = (
   let _t = t in
   LOG(__ "top-down-run" 3
-      "Entering node %i with loop (tag %s, context %i) with states %a"
-	(Node.to_int _t)
-	(Tag.to_string (Tree.tag tree _t))
-	(Node.to_int (ctx))
-	(StateSet.print) (states));
+        "Entering node %i with loop (tag %s, context %i) with states %a"
+        (Node.to_int _t)
+        (Tag.to_string (Tree.tag tree _t))
+        (Node.to_int (ctx))
+        (StateSet.print) (states));
   if _t == Tree.nil then nil_res
   else
     let tag = Tree.tag tree _t in
@@ -254,6 +254,9 @@ DEFINE LOOP_TAG (t, states, tag, ctx) = (
 		l3jit_dispatch tr_list res1 res2 t slot1 slot2
 
     and l2jit_dispatch_instr t ctx instr =
+        let () = LOG(__ "top-down-run" 3 "Dispatching instr: %a on node %i (context=%i)"
+              L2JIT.print_jump instr (Node.to_int t) (Node.to_int ctx))
+        in
 	match instr with
 	| L2JIT.NOP () -> nil_res
 	| L2JIT.FIRST_CHILD s -> LOOP ((Tree.first_child tree t), s, ctx)