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/RTLabs.mli

    r1340 r1477  
    1010   ease retargetting. *)
    1111
     12
     13type argument =
     14        | Reg of Register.t
     15        | Imm of AST.cst*AST.sig_type
    1216
    1317(* A function in RTLabs is a mapping from labels to
     
    3842
    3943  (* Application of a binary operation. Parameters are the operation, the
    40      destination register, the two argument registers and the label of the next
     44     destination register, the two arguments and the label of the next
    4145     statement. *)
    42   | St_op2 of AST.op2 * Register.t * Register.t * Register.t * Label.t
     46  | St_op2 of AST.op2 * Register.t * argument * argument * Label.t
    4347
    4448  (* Memory load. Parameters are the size in bytes of what to load, the
    4549     register containing the address, the destination register and the label
    4650     of the next statement. *)
    47   | St_load of AST.quantity * Register.t * Register.t * Label.t
     51  | St_load of AST.quantity * argument * Register.t * Label.t
    4852
    4953  (* Memory store. Parameters are the size in bytes of what to store, the
    5054     register containing the address, the source register and the label of the
    5155     next statement. *)
    52   | St_store of AST.quantity * Register.t * Register.t * Label.t
     56  | St_store of AST.quantity * argument * argument * Label.t
    5357
    5458  (* Call to a function given its name. Parameters are the name of the
Note: See TracChangeset for help on using the changeset viewer.