Project

General

Profile

Download (561 Bytes) Statistics
| Branch: | Tag: | Revision:
1 a703ed0c ploc
open Utils
2
open Lustre_types
3
4 ca7ff3f7 Lélio Brun
type schedule_report = {
5 a703ed0c ploc
  (* the scheduled node *)
6
  node : node_desc;
7
  (* a schedule computed wrt the dependency graph *)
8
  schedule : ident list list;
9
  (* the set of unused variables (no output or mem depends on them) *)
10
  unused_vars : ISet.t;
11
  (* the table mapping each local var to its in-degree *)
12
  fanin_table : (ident, int) Hashtbl.t;
13
  (* the dependency graph *)
14 ca7ff3f7 Lélio Brun
  dep_graph : IdentDepGraph.t;
15
      (* the table mapping each assignment to a reusable variable *)
16
      (*reuse_table : (ident, var_decl) Hashtbl.t*)
17 a703ed0c ploc
}