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

    r1488 r1542  
    1818  (* Emit a cost label. *)
    1919  | St_cost of CostLabel.t * Label.t
     20
     21  (* Reset to 0 a loop index *)
     22  | St_ind_0 of CostLabel.index * Label.t
     23
     24  (* Increment a loop index *)
     25  | St_ind_inc of CostLabel.index * Label.t
    2026
    2127  (* Assign an integer constant to a register. Parameters are the destination
Note: See TracChangeset for help on using the changeset viewer.