Project

General

Profile

Revision 2d179f5b src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
230 230
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,");
231 231
  let machine_code = Machine_code.translate_prog prog node_schs in
232 232

  
233
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
234
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
235
  machine_code);
236

  
233 237
  (* Optimize machine code *)
234 238
  let machine_code =
235 239
    if !Options.optimization >= 4 && !Options.output <> "horn" then
......
241 245
      machine_code
242 246
  in
243 247

  
244
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
245
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
246
  machine_code);
247

  
248 248
  (* Optimize machine code *)
249 249
  let machine_code =
250 250
    if !Options.optimization >= 2 && !Options.output <> "horn" then
......
266 266
      machine_code
267 267
  in
268 268

  
269
  if !Options.optimization >= 2 then
270
    begin
271
      Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
272
	(Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)
273
	machine_code);
274
    end;
269 275

  
270 276
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@,"
271 277
  (Utils.fprintf_list ~sep:"@ " Machine_code.pp_machine)

Also available in: Unified diff