Ignore:
Timestamp:
Oct 19, 2011, 5:59:50 PM (10 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:
1 edited

Legend:

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

    r1392 r1421  
    604604                        (tmps, Cminor.St_cost (lbl, stmt))
    605605
    606     | _ -> assert false (* type error *)
     606(*    | _ -> assert false (* type error *) *)
    607607
    608608
     
    646646
    647647let translate p =
     648        (* apply loop peeling *)
     649        let p = LoopPeeling.apply p in
    648650  let fresh = ClightAnnotator.make_fresh "_tmp" p in
    649651  { Cminor.vars = List.map translate_global p.Clight.prog_vars ;
Note: See TracChangeset for help on using the changeset viewer.