sam/libqbe
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

wrap up abi.ml with a main function

Browse source
This commit is contained in:
Quentin Carbonneaux 2016-03-21 13:41:47 -04:00
parent 3b6dc136a5
commit e004f1dd48
1 changed files with 40 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

52
lisc/tools/abi.ml
View file

@ -130,12 +130,6 @@ module Gen = struct
end end
module type OUT = sig
val extension: string
val comment: out_channel -> string -> unit
val caller: out_channel -> testa -> testa list -> unit
val callee: out_channel -> testa -> testa list -> unit
end
(* Code generation for C *) (* Code generation for C *)
module OutC = struct module OutC = struct
@ -477,13 +471,47 @@ module OutIL = struct
end end
module type OUT = sig
val extension: string
val comment: out_channel -> string -> unit
val caller: out_channel -> testa -> testa list -> unit
val callee: out_channel -> testa -> testa list -> unit
end
let _ = let _ =
let module O = OutIL in let usage code =
let seed = Gen.init None in Printf.eprintf "usage: abi.ml [-s SEED] DIR {c,ssa} {c,ssa}\n";
exit code in
let outmod = function
| "c" -> (module OutC : OUT)
| "ssa" -> (module OutIL: OUT)
| _ -> usage 1 in
let seed, dir, mcaller, mcallee =
match Sys.argv with
| [| _; "-s"; seed; dir; caller; callee |] ->
let seed =
try Some (int_of_string seed) with
Failure _ -> usage 1 in
seed, dir, outmod caller, outmod callee
| [| _; dir; caller; callee |] ->
None, dir, outmod caller, outmod callee
| [| _; "-h" |] ->
usage 0
| _ ->
usage 1 in
let seed = Gen.init seed in
let tret = Gen.test () in let tret = Gen.test () in
let targs = Gen.tests () in let targs = Gen.tests () in
let oc = stdout in let module OCaller = (val mcaller : OUT) in
O.comment oc (Printf.sprintf "seed %d" seed); let module OCallee = (val mcallee : OUT) in
O.caller oc tret targs; let ocaller = open_out (dir ^ "/caller" ^ OCaller.extension) in
O.callee oc tret targs; let ocallee = open_out (dir ^ "/callee" ^ OCallee.extension) in
OCaller.comment ocaller (Printf.sprintf "seed %d" seed);
OCallee.comment ocallee (Printf.sprintf "seed %d" seed);
OCaller.caller ocaller tret targs;
OCallee.callee ocallee tret targs;
() ()