Project

General

Profile

Revision 7cd31331 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
292 292
  (* DFS with modular code generation *)
293 293
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,");
294 294
  let machine_code = Machine_code.translate_prog prog node_schs in
295
 (* experimental
296
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines optimization@,");
297
  let machine_code = Machine_code.prog_reuse_var machine_code node_schs in
298
  *)
295 299
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
296 300
    (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
297 301
    machine_code);
298 302

  
299
  (* experimental
300
  let machine_code = Machine_code.prog_reuse_var machine_code node_schs in
301
  *)
303
 
302 304
  (* Optimize machine code *)
303 305
  let machine_code = 
304 306
    if !Options.optimization >= 2 then

Also available in: Unified diff