Ignore:
Timestamp:
Nov 1, 2011, 6:31:24 PM (9 years ago)
Author:
tranquil
Message:
  • corrected a bug
  • implemented copy propagation
  • enhanced constant propagation with some algebraic equalities
  • temporarily added immediates to RTLabs, to be seen if it is useful
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/RTLabs/RTLabsUtilities.mli

    r1473 r1477  
    4545    TODO: are gloabl variables registers too? *)
    4646val computes_type_map : internal_function -> AST.sig_type Register.Map.t
     47
     48(** Tells what local register is directly modified by the statement, if any *)
     49val modified_at_stmt : statement -> Register.t option
     50
     51(** [modified_at g l] is the same as [modified_at_stmt s] where [s] is the
     52    statement in [g] at [l]. *)
     53val modified_at : graph -> node -> Register.t option
Note: See TracChangeset for help on using the changeset viewer.