Changeset 1421 for Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml

Timestamp:

Oct 19, 2011, 5:59:50 PM (9 years ago)

Author:

tranquil

Message:

first draft of peeling optimization:

• a framework for heuristics has been set up, but peeling is always applied at the moment
• cost mapping not touched yet

File:

• Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml (modified) (1 diff)

Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightLabelling.ml

@@ -293 +293 @@
   let cost_universe = CostLabel.Atom.Gen.new_universe cost_prefix in
   {p with prog_funct = List.map (process_f cost_universe) p.prog_funct}
+