Ignore:
Timestamp:
Oct 10, 2011, 4:34:54 PM (8 years ago)
Author:
tranquil
Message:

work on RTLabs and RTL completed

File:
1 edited

Legend:

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

    r818 r1340  
    2121  (* Emit a cost label. *)
    2222  | St_cost of CostLabel.t * Label.t
     23
     24  (* Reset to 0 a loop index *)
     25        | St_ind_0 of CostLabel.index * Label.t
     26
     27  (* Increment a loop index *)
     28        | St_ind_inc of CostLabel.index * Label.t
    2329
    2430  (* Assign a constant to registers. Parameters are the destination register,
Note: See TracChangeset for help on using the changeset viewer.