Project

General

Profile

« Previous | Next » 

Revision 7d62bf41

Added by Pierre-Loïc Garoche almost 5 years ago

Merged code

View differences:

src/optimize_machine.ml
258 258

  
259 259
let machines_unfold consts node_schs machines =
260 260
  List.fold_right (fun m (machines, removed) ->
261
    let fanin = (IMap.find m.mname.node_id node_schs).Scheduling.fanin_table in
261
    let fanin = (Scheduling.get_node_schedule m.mname node_schs).Scheduling.fanin_table in
262 262
    let elim_consts, _ = instrs_unfold fanin IMap.empty (List.map instr_of_const consts) in
263 263
    let (m, removed_m) =  machine_unfold fanin elim_consts m in
264 264
    (m::machines, IMap.add m.mname.node_id removed_m removed)

Also available in: Unified diff