Project

General

Profile

« Previous | Next » 

Revision 2863281f

Added by Pierre-Loïc Garoche almost 7 years ago

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

View differences:

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