Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/common/costLabel.mli

    r1357 r1421  
    99
    1010(** Simple expressions corresponding to loop tranformations.
    11     TODO: leave it abstract or not? *)
    12 type sexpr
     11    TODO: abstract or not? *)
     12type sexpr = Sexpr of int*int
    1313
    1414val sexpr_id : sexpr
     
    7676}
    7777
    78 (** [apply_const_indexing ind lbl] returns [lbl] where its indexing has been
     78(** [comp_index i s lbl] gives back the label [lbl] where index [i] is remapped
     79    to the simple expression [s]. *)
     80val comp_index : index -> sexpr -> t -> t
     81
     82
     83(** [ev_indexing ind lbl] returns [lbl] where its indexing has been
    7984    evaluated in the constant indexing [ind].
    8085                @raise  Invalid_argument "constant indexing not enough to be applied" if
Note: See TracChangeset for help on using the changeset viewer.