INCLUDE "debug.ml"
INCLUDE "utils.ml"
-INCLUDE "trace.ml"
+INCLUDE "log.ml"
open Format
(match code with
| Nil -> ()
| Cons(dst, opcode, code1) ->
- TRACE("res-jit", 3, __ " %a := %a\n%!"
+ LOG("res-jit", 3, __ " %a := %a\n%!"
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
match code1 with
| Nil -> ()
| Cons(dst, opcode, code1) ->
- TRACE("res-jit", 3, __ " %a := %a\n%!"
+ LOG("res-jit", 3, __ " %a := %a\n%!"
State.print dst print_opcode opcode;
);
exec_code slot slot1 slot2 t dst opcode;
end)
DEFINE EXEC_TEMPLATE =
-(* (TRACE("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
- TRACE("res-jit", 3, __ " LEFT : %a\n" pr_slot slot1);
- TRACE("res-jit", 3, __ " RIGHT : %a\n" pr_slot slot2); *)
+ (LOG("res-jit", 3, __ "Node %i:\n" (Node.to_int t));
+ LOG("res-jit", 3, __ " LEFT : %a\n" print slot1);
+ LOG("res-jit", 3, __ " RIGHT : %a\n" print slot2);
exec slot slot1 slot2 t code;
-(* TRACE("res-jit", 3, __ " RES : %a\n\n%!" pr_slot slot))*)
+ LOG("res-jit", 3, __ " RES : %a\n\n%!" print slot))
module type S =