source: Deliverables/D2.2/8051/src/dev_test.ml @ 640

(** A playground function for developers where they can test very specific
    functionalities not available in the compiler.
    It is called with the -dev option.
    [filenames] are the file names given in the command line when calling
    acc. *)

let do_dev_test (filenames : string list) : unit =

  let f filename =
    let target = Languages.Clight in
    let print = false in
    let interpret = true in
    let p = Languages.parse Languages.Clight filename in
    let p = Languages.labelize p in
    let ps = Languages.compile false Languages.Clight target p in
    let f f' p = match Languages.language_of_ast p with
      | l when l = target -> f' p
      | _ -> ()
    in
    if print then List.iter (f (Languages.save false filename)) ps ;
    if interpret then
      List.iter (f (fun p -> ignore (Languages.interpret true p))) ps
  in

  List.iter f filenames