Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/compiler_stages.ml | ||
---|---|---|
233 | 233 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,"); |
234 | 234 |
let machine_code = Machine_code.translate_prog prog node_schs in |
235 | 235 |
|
236 |
Log.report ~level:3 (fun fmt -> fprintf fmt ".. generated machines (unoptimized):@ %a@ "Machine_code.pp_machines machine_code);
|
|
236 |
Log.report ~level:3 (fun fmt -> fprintf fmt ".. generated machines (unoptimized):@ %a@ " Machine_code_common.pp_machines machine_code);
|
|
237 | 237 |
|
238 | 238 |
(* Optimize machine code *) |
239 | 239 |
Optimize_machine.optimize prog node_schs machine_code |
... | ... | |
267 | 267 |
let source_out = open_out source_file in |
268 | 268 |
let fmt = formatter_of_out_channel source_out in |
269 | 269 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. hornification@,"); |
270 |
Horn_backend.translate fmt basename prog (Machine_code.arrow_machine::machine_code); |
|
270 |
Horn_backend.translate fmt basename prog (Machine_code_common.arrow_machine::machine_code);
|
|
271 | 271 |
(* Tracability file if option is activated *) |
272 | 272 |
if !Options.traces then ( |
273 | 273 |
let traces_file = destname ^ ".traces.xml" in (* Could be changed *) |
Also available in: Unified diff
Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines