Ignore:
Timestamp:
Nov 15, 2011, 5:11:19 PM (8 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/languages.ml

    r1433 r1507  
    215215
    216216(* FIXME *)
    217 let instrument costs_mapping = function
     217let instrument cost_tern costs_mapping = function
    218218  | AstClight p ->
    219     let (p', cost_id, cost_incr) = ClightAnnotator.instrument p costs_mapping in
     219    let (p', cost_id, cost_incr) =
     220      ClightAnnotator.instrument cost_tern p costs_mapping in
    220221    (AstClight p', cost_id, cost_incr)
    221222(*
     
    231232    (p, "", "")
    232233
    233 let annotate input_ast final =
     234let annotate cost_tern input_ast final =
    234235  let costs_mapping = compute_costs final in
    235   instrument costs_mapping input_ast
     236  instrument cost_tern costs_mapping input_ast
    236237
    237238let string_output = function
Note: See TracChangeset for help on using the changeset viewer.