From 689b47b109dc54a78008f589f2c55f98672ab61d Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Fri, 20 Apr 2012 16:49:47 +0200 Subject: [PATCH] Replace \n by @\n in log message. Remove the tracing code around exec (ocaml generate less efficient code even for noops). --- src/resJIT.ml | 20 +++++++++----------- 1 file changed, 9 insertions(+), 11 deletions(-) diff --git a/src/resJIT.ml b/src/resJIT.ml index a60a7fa..8f6f92e 100644 --- a/src/resJIT.ml +++ b/src/resJIT.ml @@ -238,39 +238,39 @@ DEFINE EXEC_CODE_TEMPLATE(ns) = fun slot slot1 slot2 t dst code -> SET (slot.(dst) , ns.concat4 slot1.(src1) slot1.(src2) slot2.(src3) slot2.(src4)) | OP_SELF _ -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.singleton t | OP_SELF_LEFT1 src -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.cons t slot1.(src) | OP_SELF_LEFT2 (src1, src2) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat t slot1.(src1) slot1.(src2) | OP_SELF_RIGHT1 src -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.cons t slot2.(src) | OP_SELF_RIGHT2 (src1, src2) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat t slot2.(src1) slot2.(src2) | OP_SELF_LEFT1_RIGHT1 (src1, src2) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat t slot1.(src1) slot2.(src2) | OP_SELF_LEFT2_RIGHT1 (src1, src2, src3) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat3 t slot1.(src1) slot1.(src2) slot2.(src3) | OP_SELF_LEFT1_RIGHT2 (src1, src2, src3) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat3 t slot1.(src1) slot2.(src2) slot2.(src3) | OP_SELF_LEFT2_RIGHT2 (src1, src2, src3, src4) -> - LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t)); + LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t)); slot.(dst) <- ns.conscat4 t slot1.(src1) slot1.(src2) slot2.(src3) slot2.(src4) | OP_OTHER line -> @@ -329,7 +329,6 @@ module Count = let exec_instr = EXEC_INSTR_TEMPLATE(NodeSet.Count) let exec_code = EXEC_CODE_TEMPLATE(NodeSet.Count) let rec exec slot slot1 slot2 t code = EXEC_REC_TEMPLATE - let exec slot slot1 slot2 t code = EXEC_TEMPLATE let var _ x = x let close _ x = x let is_open _ = false @@ -343,7 +342,6 @@ module Mat = let exec_instr = EXEC_INSTR_TEMPLATE(NodeSet.Mat) let exec_code = EXEC_CODE_TEMPLATE(NodeSet.Mat) let rec exec slot slot1 slot2 t code = EXEC_REC_TEMPLATE - let exec slot slot1 slot2 t code = EXEC_TEMPLATE let var _ x = x let close _ x = x let is_open _ = false -- 2.17.1