Revision 44bea83a src/main_lustre_compiler.ml
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