Ignore:
Timestamp:
Oct 10, 2011, 5:50:56 PM (9 years ago)
Author:
tranquil
Message:

work on ERTL and LTL completed

File:
1 edited

Legend:

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

    r818 r1345  
    4848  (* Emit a cost label. *)
    4949  | St_cost of CostLabel.t * Label.t
     50
     51  (* Reset to 0 a loop index *)
     52  | St_ind_0 of CostLabel.index * Label.t
     53
     54  (* Increment a loop index *)
     55  | St_ind_inc of CostLabel.index * Label.t
    5056
    5157  (* Assign the content of a hardware register to a pseudo register. Parameters
Note: See TracChangeset for help on using the changeset viewer.