projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'handle-stdout'
[SXSI/xpathcomp.git]
/
src
/
l2JIT.ml
diff --git
a/src/l2JIT.ml
b/src/l2JIT.ml
index
a1f1ac4
..
c3f212e
100644
(file)
--- a/
src/l2JIT.ml
+++ b/
src/l2JIT.ml
@@
-208,7
+208,7
@@
let rec translate_jump tree tag (jkind:Ata.jump_kind) dir s =
| _ -> assert false
let count = ref 0
| _ -> assert false
let count = ref 0
-let () = at_exit (fun () ->
Printf.eprintf
"Compute jump called %i times\n" !count)
+let () = at_exit (fun () ->
Logger.verbose Format.err_formatter
"Compute jump called %i times\n" !count)
module Memo = Hashtbl.Make(struct
type t = Tag.t * StateSet.t * dir
let equal (a,b,c) (d,e,f) = a == d && b == e && c == f
module Memo = Hashtbl.Make(struct
type t = Tag.t * StateSet.t * dir
let equal (a,b,c) (d,e,f) = a == d && b == e && c == f
@@
-219,7
+219,7
@@
let memo = Memo.create 1024
let init () = Memo.clear memo
let compute_jump auto tree tag states dir =
let init () = Memo.clear memo
let compute_jump auto tree tag states dir =
- if !
Options
.no_jump then
+ if !
Config
.no_jump then
if dir == DIR_LEFT then FIRST_CHILD states
else NEXT_SIBLING states
else
if dir == DIR_LEFT then FIRST_CHILD states
else NEXT_SIBLING states
else
@@
-267,7
+267,7
@@
let compile cache2 auto tree tag states =
| BOTH(tr, NOP _, r) -> RIGHT (tr, r)
| _ -> op
in
| BOTH(tr, NOP _, r) -> RIGHT (tr, r)
| _ -> op
in
- if not !
Options
.no_cache then add cache2 tag states op;
+ if not !
Config
.no_cache then add cache2 tag states op;
op
let get_transitions = function
op
let get_transitions = function