+DEFINE EXEC_REC_TEMPLATE =
+ (match code with
+ | Nil -> ()
+ | Cons(dst, opcode, code1) ->
+ LOG(__ "res-jit" 3 " %a := %a"
+ State.print dst print_opcode opcode;
+ );
+ exec_code slot slot1 slot2 t dst opcode;
+ begin
+ match code1 with
+ | Nil -> ()
+ | Cons(dst, opcode, code1) ->
+ LOG(__ "res-jit" 3 " %a := %a"
+ State.print dst print_opcode opcode;
+ );
+ exec_code slot slot1 slot2 t dst opcode;
+ exec slot slot1 slot2 t code1
+
+ end)
+
+DEFINE EXEC_TEMPLATE =
+ (LOG(__ "res-jit" 3 "Node %i:@\nLEFT : %a@\nRIGHT : %a"
+ (Node.to_int t) print slot1 print slot2
+ );
+ exec slot slot1 slot2 t code;
+ LOG(__ "res-jit" 3 "RES : %a" print slot))
+
+