source: Deliverables/D2.2/8051/src/RTLabs/RTLabsGraph.mli @ 1580

Last change on this file since 1580 was 1580, checked in by tranquil, 9 years ago

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File size: 643 bytes
Line 
1
2include GraphUtilities.GraphType
3  with type node = Label.t
4  and type statement = RTLabs.statement
5  and module NodeMap = Label.Map
6  and module NodeSet = Label.Set
7
8(** Compute a map from registers to their type in the function declaration. *)
9val compute_type_map : RTLabs.internal_function -> AST.sig_type Register.Map.t
10
11(** The register directly modified in a statement *)
12val modified_at_stmt : RTLabs.statement -> Register.t option
13
14(** [modified_at g lbl] is equivalent to [modified_at_stmt stmt]
15    where [lbl] is mapped to [stmt] in [g].
16    @see modified_at_stmt *)
17val modified_at : RTLabs.graph -> Label.t -> Register.t option
Note: See TracBrowser for help on using the repository browser.