Ignore:
Timestamp:
Oct 10, 2011, 4:34:54 PM (8 years ago)
Author:
tranquil
Message:

work on RTLabs and RTL completed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/RTLabs/RTLabsPrinter.ml

    r1291 r1340  
    138138    let cost_lbl = CostLabel.string_of_cost_label ~pretty:true cost_lbl in
    139139    Printf.sprintf "emit %s --> %s" cost_lbl lbl
     140  | RTLabs.St_ind_0 (i, lbl) ->
     141    Printf.sprintf "index %d --> %s" i lbl
     142  | RTLabs.St_ind_inc (i, lbl) ->
     143    Printf.sprintf "increment %d --> %s" i lbl
    140144  | RTLabs.St_cst (destr, cst, lbl) ->
    141145      Printf.sprintf "imm %s, %s --> %s"
Note: See TracChangeset for help on using the changeset viewer.