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