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/LINPrinter.ml

    r1488 r1542  
    2626    Printf.sprintf "*** %s ***" s
    2727  | LIN.St_cost cost_lbl ->
     28    let cost_lbl = CostLabel.string_of_cost_label ~pretty:true cost_lbl in
    2829    Printf.sprintf "emit %s" cost_lbl
     30  | LIN.St_ind_0 i ->
     31    Printf.sprintf "index %d" i
     32  | LIN.St_ind_inc i ->
     33    Printf.sprintf "increment %d" i
    2934  | LIN.St_int (dstr, i) ->
    3035    Printf.sprintf "imm %s, %d" (print_reg dstr) i
Note: See TracChangeset for help on using the changeset viewer.