Ignore:
Timestamp:
Oct 5, 2011, 10:20:41 AM (9 years ago)
Author:
tranquil
Message:

Started branch of untrusted compiler with indexed labels

  • added indexing structure to CostLabel?
  • propagated changes to other modules
  • added indexing as parameter to labelling
  • loop indexes not implemented yet, so behaviour is still the same
Location:
Deliverables/D2.2/8051-indexed-labels-branch
Files:
1 edited
1 copied

Legend:

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

    r818 r1291  
    2626    Printf.sprintf "*** %s ***" s
    2727  | LIN.St_cost cost_lbl ->
    28     Printf.sprintf "emit %s" cost_lbl
     28    let cost_lbl = CostLabel.string_of_cost_label ~pretty:true cost_lbl in
     29                Printf.sprintf "emit %s" cost_lbl
    2930  | LIN.St_int (dstr, i) ->
    3031    Printf.sprintf "imm %s, %d" (print_reg dstr) i
Note: See TracChangeset for help on using the changeset viewer.