Project

General

Profile

Revision 264a4844 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
116 116
      Inliner.global_inline basename prog type_env clock_env
117 117
    else (* if !Option.has_local_inline *)
118 118
      [],
119
      Inliner.local_inline basename prog type_env clock_env
119
      Inliner.local_inline prog (* type_env clock_env *)
120 120
  in
121 121

  
122 122
  (* Checking stateless/stateful status *)
......
241 241
let stage2 prog =    
242 242
  (* Computation of node equation scheduling. It also breaks dependency cycles
243 243
     and warns about unused input or memory variables *)
244
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. scheduling@,");
244
  Log.report ~level:1 (fun fmt -> fprintf fmt ".. @[<v 2>scheduling@ ");
245 245
  let prog, node_schs =
246 246
    try 
247 247
      Scheduling.schedule_prog prog
......
254 254
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_fanin_table node_schs);
255 255
  Log.report ~level:5 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Scheduling.pp_dep_graph node_schs);
256 256
  Log.report ~level:3 (fun fmt -> fprintf fmt "@[<v 2>@ %a@]@," Printers.pp_prog prog);
257

  
257
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ ");
258 258

  
259 259
  (* TODO Salsa optimize prog: 
260 260
     - emits warning for programs with pre inside expressions

Also available in: Unified diff