Ignore:
Timestamp:
Nov 23, 2011, 5:43:24 PM (9 years ago)
Author:
tranquil
Message:

merge of indexed labels branch

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASM.mli

    r1462 r1542  
    102102type labelled_instruction =
    103103 [ instruction
    104  | `Cost of string
     104 | `Cost of CostLabel.t
     105 | `Index of int
     106 | `Inc of int
    105107 | `Label of string
    106108 | `Jmp of string
     
    122124type program =
    123125    { code        : BitVectors.byte list ;
    124       cost_labels : string BitVectors.WordMap.t ;
     126      inds        : int BitVectors.WordMap.t ; (* loop index resets *)
     127      incs        : int BitVectors.WordMap.t ; (* loop index increments *)
     128      cost_labels : CostLabel.t BitVectors.WordMap.t ;
    125129      labels      : BitVectors.word StringTools.Map.t ;
     130
    126131      exit_addr   : BitVectors.word ;
    127132      has_main    : bool }
Note: See TracChangeset for help on using the changeset viewer.