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/plugins/salsa/machine_salsa_opt.ml
260 260
   ranges, formalEnv, printed_vars, and remaining vars to be printed) *)
261 261
let rec rewrite_instrs nodename m constEnv  vars_env m instrs ranges formalEnv printed_vars vars_to_print =
262 262
  let formal_env_def = FormalEnv.def constEnv vars_env in
263
  Format.eprintf "Rewrite intrs :%a@." Machine_code.pp_instrs instrs;
263
  Format.eprintf "Rewrite intrs :%a@." MC.pp_instrs instrs;
264 264
  let assign_vars = assign_vars nodename m constEnv vars_env in
265 265
  if !debug then (
266 266
    Format.eprintf "@.------------@ ";

Also available in: Unified diff