Changeset 1291 for Deliverables/D2.2/8051-indexed-labels-branch/src/ERTL

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:

• . (copied) (copied from Deliverables/D2.2/8051)
• src/ERTL/ERTLPrinter.ml (modified) (1 diff)

Deliverables/D2.2/8051-indexed-labels-branch/src/ERTL/ERTLPrinter.ml

@@ -43 +43 @@
     Printf.sprintf "*** %s *** --> %s" s lbl
   | ERTL.St_cost (cost_lbl, lbl) ->
+                let cost_lbl = CostLabel.string_of_cost_label ~pretty:true cost_lbl in
     Printf.sprintf "emit %s --> %s" cost_lbl lbl
   | ERTL.St_get_hdw (r1, r2, lbl) ->