Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine generation

View differences:

src/scheduling.ml
249 249
(* Sort the set of equations of node [nd] according
250 250
   to the computed schedule [sch]
251 251
*)
252
let sort_equations_from_schedule nd sch =
252
let sort_equations_from_schedule eqs sch =
253 253
  (* Format.eprintf "%s schedule: %a@." *)
254 254
  (* 		 nd.node_id *)
255 255
  (* 		 (Utils.fprintf_list ~sep:" ; " Scheduling.pp_eq_schedule) sch; *)
256
  let eqs, auts = get_node_eqs nd in
257
  assert (auts = []); (* Automata should be expanded by now *)
258 256
  let split_eqs = Splitting.tuple_split_eq_list eqs in
259 257
  let eqs_rev, remainder =
260 258
    List.fold_left
......
271 269
  in
272 270
  begin
273 271
    if List.length remainder > 0 then (
274
      let eqs, auts = get_node_eqs nd in
275
      assert (auts = []); (* Automata should be expanded by now *)
276 272
      Format.eprintf "Equations not used are@.%a@.Full equation set is:@.%a@.@?"
277 273
		     Printers.pp_node_eqs remainder
278 274
      		     Printers.pp_node_eqs eqs;

Also available in: Unified diff