Project

General

Profile

Revision bb2ca5f4 src/scheduling.ml

View differences:

src/scheduling.ml
37 37
  unused_vars : ISet.t;
38 38
  (* the table mapping each local var to its in-degree *)
39 39
  fanin_table : (ident, int) Hashtbl.t;
40
  (* the table mapping each assignment to a set of dead/reusable variables *)
41
  death_table : (ident, ISet.t) Hashtbl.t
40
  (* the table mapping each assignment to a reusable variable *)
41
  reuse_table : (ident, ident) Hashtbl.t
42 42
}
43 43

  
44 44
(* Topological sort with a priority for variables belonging in the same equation lhs.
......
162 162
	  Disjunction.pp_disjoint_map disjoint
163 163
      );
164 164

  
165
    let reuse = Liveness.reuse_policy n sort death in
165
    let reuse = Liveness.reuse_policy n sort death disjoint in
166 166
    Log.report ~level:5 
167 167
      (fun fmt -> 
168 168
	Format.eprintf 
......
171 171
	  Liveness.pp_reuse_policy reuse
172 172
      );
173 173
 
174
    n', { schedule = sort; unused_vars = unused; fanin_table = fanin; death_table = death }
174
    n', { schedule = sort; unused_vars = unused; fanin_table = fanin; reuse_table = reuse }
175 175
  with (Causality.Cycle v) as exc ->
176 176
    pp_error Format.err_formatter v;
177 177
    raise exc

Also available in: Unified diff