Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (8 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/RTLabs/RTLabs.mli

    r818 r1542  
    1111
    1212
     13type argument =
     14  | Reg of Register.t
     15  | Imm of AST.cst*AST.sig_type
     16
    1317(* A function in RTLabs is a mapping from labels to
    1418   statements. Statements explicitely mention their successors. *)
     
    2226  | St_cost of CostLabel.t * Label.t
    2327
     28  (* Reset to 0 a loop index *)
     29  | St_ind_0 of CostLabel.index * Label.t
     30
     31  (* Increment a loop index *)
     32  | St_ind_inc of CostLabel.index * Label.t
     33
    2434  (* Assign a constant to registers. Parameters are the destination register,
    2535     the constant and the label of the next statement. *)
     
    3242
    3343  (* Application of a binary operation. Parameters are the operation, the
    34      destination register, the two argument registers and the label of the next
     44     destination register, the two arguments and the label of the next
    3545     statement. *)
    36   | 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
    3747
    3848  (* Memory load. Parameters are the size in bytes of what to load, the
    3949     register containing the address, the destination register and the label
    4050     of the next statement. *)
    41   | St_load of AST.quantity * Register.t * Register.t * Label.t
     51  | St_load of AST.quantity * argument * Register.t * Label.t
    4252
    4353  (* Memory store. Parameters are the size in bytes of what to store, the
    4454     register containing the address, the source register and the label of the
    4555     next statement. *)
    46   | St_store of AST.quantity * Register.t * Register.t * Label.t
     56  | St_store of AST.quantity * argument * argument * Label.t
    4757
    4858  (* Call to a function given its name. Parameters are the name of the
Note: See TracChangeset for help on using the changeset viewer.