1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
|
(* fuzzer *)
type _ bty =
| Char: int bty
| Short: int bty
| Int: int bty
| Long: int bty
| Float: float bty
| Double: float bty
type _ sty =
| Field: 'a bty * 'b sty -> ('a * 'b) sty
| Empty: unit sty
type _ aty =
| Base: 'a bty -> 'a aty
| Struct: 'a sty -> 'a aty
type anyb = AB: _ bty -> anyb (* kinda boring... *)
type anys = AS: _ sty -> anys
type anya = AA: _ aty -> anya
type test = T: 'a aty * 'a -> test
let btysize: type a. a bty -> int = function
| Char -> 1
| Short -> 2
| Int -> 4
| Long -> 8
| Float -> 4
| Double -> 8
let btyalign = btysize
let styempty: type a. a sty -> bool = function
| Field _ -> false
| Empty -> true
(* Generate types and test vectors. *)
module Gen = struct
module R = Random
let init = function
| None ->
let f = open_in "/dev/urandom" in
let seed =
Char.code (input_char f) lsl 8 +
Char.code (input_char f) in
close_in f;
R.init seed;
seed
| Some seed ->
R.init seed;
seed
let int sz =
let bound = 1 lsl (8 * min sz 3 - 1) in
let i = R.int bound in
if R.bool () then - i else i
let float () =
let f = R.float 1000. in
if R.bool () then -. f else f
let test: type a. a aty -> a =
let tb: type a. a bty -> a = function (* eh, dry... *)
| Float -> float ()
| Double -> float ()
| Char -> int (btysize Char)
| Short -> int (btysize Short)
| Int -> int (btysize Int)
| Long -> int (btysize Long) in
let rec ts: type a. a sty -> a = function
| Field (b, s) -> (tb b, ts s)
| Empty -> () in
function
| Base b -> tb b
| Struct s -> ts s
let b () = (* uniform *)
match R.int 6 with
| 0 -> AB Char
| 1 -> AB Short
| 2 -> AB Int
| 3 -> AB Long
| 4 -> AB Float
| _ -> AB Double
let binn = 8 (* default parameters for binomial law of s *)
and binp = 0.8
let rec s ?(n=binn) ?(pp=binp) () = (* binomial law *)
if n = 0 || R.float 1.0 > pp then AS Empty else
let AB bt = b () in
let AS st = s ~n:(n-1) () in
AS (Field (bt, st))
let a ?(n=binn) ?(pp=binp) ?(ps=0.8) () =
if R.float 1.0 > ps then
let AB bt = b () in
AA (Base bt)
else
let AB bt = b () in
let AS st = s ~n ~pp () in
AA (Struct (Field (bt, st)))
end
module type OUT = sig
val extension: string
val comment: out_channel -> string -> unit
val caller: out_channel -> test -> test list -> unit
val callee: out_channel -> test -> test list -> unit
end
(* Code generation for C *)
module OutC = struct
open Printf
let ctype oc name =
let cb: type a. a bty -> unit = function
| Char -> fprintf oc "char"
| Short -> fprintf oc "short"
| Int -> fprintf oc "int"
| Long -> fprintf oc "long"
| Float -> fprintf oc "float"
| Double -> fprintf oc "double" in
let rec cs: type a. int -> a sty -> unit =
fun i -> function
| Field (b, s) ->
cb b;
fprintf oc " f%d; " i;
cs (i+1) s;
| Empty -> () in
function
| Base b ->
cb b;
fprintf oc " %s" name;
| Struct s ->
fprintf oc "struct %s { " name;
cs 1 s;
fprintf oc "} %s" name;
()
let init oc name (T (ty, t)) =
let initb: type a. a bty * a -> unit = function
| Char, i -> fprintf oc "%d" i
| Short, i -> fprintf oc "%d" i
| Int, i -> fprintf oc "%d" i
| Long, i -> fprintf oc "%d" i
| Float, f -> fprintf oc "%ff" f
| Double, f -> fprintf oc "%f" f in
let inits s =
let rec f: type a. a sty * a -> unit = function
| Field (b, s), (tb, ts) ->
initb (b, tb);
fprintf oc ", ";
f (s, ts)
| Empty, () -> () in
fprintf oc "{ ";
f s;
fprintf oc "}"; in
ctype oc name ty;
fprintf oc " = ";
begin match (ty, t) with
| Base b, tb -> initb (b, tb)
| Struct s, ts -> inits (s, ts)
end;
fprintf oc ";\n";
()
let extension = ".c"
let comment oc s =
fprintf oc "/* %s */\n" s
let prelude oc = List.iter (fprintf oc "%s\n")
[ "#include <stdio.h>"
; "#include <stdlib.h>"
; ""
; "static void"
; "fail(int ret, int chk)"
; "{"
; "\tfprintf(stderr, \"fail: %s check number %d\\n\""
; "\t\tret ? \"return\" : \"argument\", chk);"
; "\tabort();"
; "}"
; ""
]
let caller oc ret args =
prelude oc;
fprintf oc "int\nmain()\n{";
fprintf oc "\t";
init oc "ret" ret;
fprintf oc "}\n";
()
end
let _ =
let _seed = Gen.init None in
let AA ty = Gen.a () in
let t = Gen.test ty in
OutC.caller stdout (T (ty, t)) []
|