Changeset 3083 for driver/acc.ml


Ignore:
Timestamp:
Apr 4, 2013, 9:58:03 AM (8 years ago)
Author:
sacerdot
Message:

The cost and stack* variables are now initialized with the cost of
the pre-main and the size of globals.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3027 r3083  
    6161  let labelled = output.Extracted.Compiler.c_labelled_clight in
    6262  let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
     63  let init_costlabel = output.Extracted.Compiler.c_init_costlabel in
    6364  let s_costmap = output.Extracted.Compiler.c_stack_cost in
    64   let style = Cost_instrumented (l_costmap,s_costmap) in
     65  let maxstack = output.Extracted.Compiler.c_max_stack in
     66  let style = Cost_instrumented (l_costmap,init_costlabel,s_costmap,maxstack) in
    6567  let instrumented = ClightPrinter.print_program style labelled in
    6668  let basename =
Note: See TracChangeset for help on using the changeset viewer.