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

    r818 r1542  
    1616  (* Emit a cost label. *)
    1717  | St_cost of CostLabel.t * Label.t
     18
     19  (* Reset to 0 a loop index *)
     20  | St_ind_0 of CostLabel.index * Label.t
     21
     22  (* Increment a loop index *)
     23  | St_ind_inc of CostLabel.index * Label.t
    1824
    1925  (* Assign the address of a symbol to registers. Parameters are the destination
Note: See TracChangeset for help on using the changeset viewer.