From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 20 Apr 2012 13:34:41 +0000 (+0200)
Subject: Use better defaults for top-down cache size.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=0c50360a781f9c1048ac84d90561cdd5a6fb34ac

Use better defaults for top-down cache size.
---

diff --git a/src/cache.ml b/src/cache.ml
index dac1dbc..abe113a 100644
--- a/src/cache.ml
+++ b/src/cache.ml
@@ -80,7 +80,7 @@ module Lvl2 =
 struct
   type 'a t = 'a Lvl1.t Lvl1.t
   let create n a =
-    let dummy1 = Lvl1.create 0 a in
+    let dummy1 = Lvl1.create 512 a in
     { Lvl1.line = Array.create n dummy1;
       Lvl1.offset = ~-1;
       Lvl1.dummy = dummy1;
diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index 95c9131..d01d480 100644
--- a/src/l2JIT.ml
+++ b/src/l2JIT.ml
@@ -116,7 +116,7 @@ let print_opcode fmt o = match o with
   end
   end c
 *)
-let create () = Cache.Lvl2.create 4096 dummy
+let create () = Cache.Lvl2.create 512 dummy
 (*
   let stats fmt c =
   let d = Cache.Lvl2.to_array c in