Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
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
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