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/src/cminor/cminorInterpret.ml

    r818 r1421  
    248248  | St_switch(_,_,_)            -> None
    249249  | St_return(_)                -> None
    250   | St_label(l,s)               -> if l=lbl then Some((s,k)) else None
     250  | St_label(l,s) when l = lbl  -> Some((s,k))
    251251  | St_goto(_)                  -> None
    252   | St_cost (_,s)               -> fdlbl k s
     252  | St_cost(_,s) | St_label(_,s)-> fdlbl k s
    253253  in match fdlbl k st with
    254254      None -> assert false (*Wrong label*)
Note: See TracChangeset for help on using the changeset viewer.