Revision 3d04f75e src/main_lustre_compiler.ml
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 226 | 226 |
else |
| 227 | 227 |
prog |
| 228 | 228 |
in |
| 229 |
|
|
| 230 |
(* Post-treatment of normaized code specific to backend *) |
|
| 231 |
let prog = |
|
| 232 |
match !Options.output with |
|
| 233 |
| "riny" -> prog (* TODO: eliminate through inlining bool variables and remove them *) |
|
| 234 |
| _ -> prog |
|
| 235 |
in |
|
| 236 |
|
|
| 229 | 237 |
(* DFS with modular code generation *) |
| 230 | 238 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,"); |
| 231 | 239 |
let machine_code = Machine_code.translate_prog prog node_schs in |
| ... | ... | |
| 320 | 328 |
Printers.pp_prog fmt prog; |
| 321 | 329 |
(* Lustre_backend.translate fmt basename normalized_prog machine_code *) |
| 322 | 330 |
() |
| 331 |
|
|
| 332 |
end |
|
| 333 |
| "riny" -> |
|
| 334 |
begin |
|
| 335 |
let source_file = destname ^ ".riny" in (* Could be changed *) |
|
| 336 |
let source_out = open_out source_file in |
|
| 337 |
let fmt = formatter_of_out_channel source_out in |
|
| 338 |
(* Printers.pp_prog fmt prog; *) |
|
| 339 |
Riny_backend.translate fmt basename prog machine_code; |
|
| 340 |
() |
|
| 341 |
|
|
| 323 | 342 |
end |
| 324 | 343 |
|
| 325 | 344 |
| _ -> assert false |
Also available in: Unified diff