projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
fcdb6b7
)
Use better defaults for top-down cache size.
author
Kim Nguyễn
<kn@lri.fr>
Fri, 20 Apr 2012 13:34:41 +0000
(15:34 +0200)
committer
Kim Nguyễn
<kn@lri.fr>
Fri, 20 Apr 2012 13:57:29 +0000
(15:57 +0200)
src/cache.ml
patch
|
blob
|
history
src/l2JIT.ml
patch
|
blob
|
history
diff --git
a/src/cache.ml
b/src/cache.ml
index
dac1dbc
..
abe113a
100644
(file)
--- 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
(file)
--- 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