Changeset 2787 for driver/compiler.ml


Ignore:
Timestamp:
Mar 6, 2013, 3:48:14 PM (8 years ago)
Author:
campbell
Message:

Output stack costs in driver.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/compiler.ml

    r2778 r2787  
    2727let labelled = output.Extracted.Compiler.c_labelled_clight in
    2828let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
     29let s_costmap = output.Extracted.Compiler.c_stack_cost in
    2930let style =
    3031  match try Sys.argv.(2) with _ -> "instrumented" with
    3132  | "plain" -> Cost_plain
    32   | "numbered" -> Cost_numbered l_costmap
    33   | "instrumented" -> Cost_instrumented l_costmap
     33  | "numbered" -> Cost_numbered (l_costmap,s_costmap)
     34  | "instrumented" -> Cost_instrumented (l_costmap,s_costmap)
    3435  | x -> failwith ("I have no idea what " ^ x ^ " means")
    3536in
Note: See TracChangeset for help on using the changeset viewer.