Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
5ffaf389
Commit
5ffaf389
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-06-07 17:57:14 by cvscast] Empty log message
Original author: cvscast Date: 2003-06-07 17:57:14+00:00
parent
a014f905
Changes
2
Hide whitespace changes
Inline
Side-by-side
benchmarks/bench.ml
View file @
5ffaf389
...
...
@@ -9,7 +9,9 @@ let gen = "split.ml"
let
xml
=
"split"
let
cduce
=
[
"split0.cd"
;
"split1.cd"
;
"split2.cd"
;
"split3.cd"
]
let
xslt
=
[
"split1.xsl"
;
"split2.xsl"
]
let
xduce
=
[
"split1.q"
;
"split2.q"
;
"split3.q"
]
let
xduce
=
[]
(* [ "split1.q"; "split2.q"; "split3.q" ] *)
let
args
=
[
0
;
10
;
50
;
100
;
500
;
1000
;
(* 5000 *)
]
let
sp
=
sprintf
let
langs
=
...
...
@@ -56,8 +58,6 @@ let time s =
done
;
pr
"
\n
"
let
args
=
[
10
;
50
;
100
;
(* 500; 1000; 5000 *)
]
let
run
s
=
flush
stdout
;
ignore
(
Sys
.
command
s
)
...
...
runtime/run_dispatch.ml
View file @
5ffaf389
...
...
@@ -67,9 +67,9 @@ let make_result_basic v (code,r) =
|
Const
c
->
const
c
|
_
->
assert
false
in
buf
.
(
!
cursor
+
a
)
<-
x
buf
.
(
!
cursor
)
<-
x
;
incr
cursor
done
;
cursor
:=
!
cursor
+
n
;
code
)
...
...
@@ -288,13 +288,12 @@ and run_disp_string_utf8_loop i j s q d =
let
run_dispatcher
d
v
=
let
code
=
run_dispatcher
d
v
in
(* for unknown reasons, it seems to be faster to copy the interesting prefix... *)
(* cursor := 0;
(code,!buffer) *)
let
r
=
Array
.
create
!
cursor
Absent
in
cursor
:=
0
;
(
code
,!
buffer
)
(* let r = Array.create !cursor Absent in
blit !buffer 0 r 0 !cursor;
cursor := 0;
(
code
,
r
)
(code,r)
*)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment