Project

General

Profile

Revision f2b1c245 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
181 181
    Normalization.unfold_arrow_active := false;
182 182
  let prog = Normalization.normalize_prog prog in
183 183
  Log.report ~level:2 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
184

  
185 184
  (* Checking array accesses *)
186 185
  if !Options.check then
187 186
    begin
......
191 190

  
192 191
  (* Computation of node equation scheduling. It also breaks dependency cycles
193 192
     and warns about unused input or memory variables *)
194
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. scheduling@,");
193
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. scheduling@,@?");
195 194
  let prog, node_schs = Scheduling.schedule_prog prog in
196 195
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_warning_unused node_schs);
197 196
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_schedule node_schs);
......
208 207
    else
209 208
      prog
210 209
  in
211

  
212 210
  (* DFS with modular code generation *)
213 211
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. machines generation@,");
214 212
  let machine_code = Machine_code.translate_prog prog node_schs in

Also available in: Unified diff