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

    r1462 r1542  
    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.