Ignore:
Timestamp:
Nov 15, 2011, 5:11:19 PM (9 years ago)
Author:
tranquil
Message:
  • added an option to not use ternary expressions in costs, to accomodate frama-c explosion of such expressions
  • corrected some typos in comments
  • added a check for well behaved for loops in loop unrolling, but intelligent unrolling is not done yet
  • TODO: peeling and unrolling can contradict preciseness (with difference between introduced branches around 2 cycles). I guess it can be corrected easily
File:
1 edited

Legend:

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

    r1468 r1507  
    1 open CostLabel
    2 
    31type cond =
    42    | Ceq of int         (** index is equal to *)
     
    64    | Cmod of int*int    (** index modulo equal to *)
    75    | Cgeqmod of int*int*int (** index greater than and modulo equal to *)
    8    
     6
     7module CondSet : Set.S with type elt = cond
     8
     9open CostLabel
     10
    911type cost_expr =
    1012    | Exact of int
    11     | Ternary of index * cond * cost_expr * cost_expr
     13    | Ternary of index * CondSet.t * cost_expr * cost_expr
    1214
    1315(** [expr_cost_mapping_of_cost_mapping] turns a cost mapping on indexed
Note: See TracChangeset for help on using the changeset viewer.