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/LIN/LINToASM.ml

    r1525 r1542  
    2525  | LIN.St_goto lbl
    2626  | LIN.St_label lbl
    27   | LIN.St_cost lbl
    2827  | LIN.St_condacc lbl -> Label.Set.singleton lbl
     28    (* taking the atom as a fresh prefix will be generated *)
     29  | LIN.St_cost lbl -> Label.Set.singleton (lbl.CostLabel.name)
    2930  | _ -> Label.Set.empty
    3031
     
    6970    (* TODO: hack! Need to make the difference between cost labels and regular
    7071       labels. *)
    71     [`Cost lbl ; `NOP]
     72    [`Cost lbl ; `NOP ]
     73  | LIN.St_ind_0 i -> [`Index i ; `NOP (* TODO: hack! *)]
     74  | LIN.St_ind_inc i -> [`Inc i ; `NOP (* TODO: hack! *)]
    7275  | LIN.St_int (r, i) ->
    7376    [`MOV (`U3 (I8051.reg_addr r, data_of_int i))]
Note: See TracChangeset for help on using the changeset viewer.