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/LTL/LTLPrinter.ml

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