Changeset 2787 for driver/compiler.ml

Timestamp:

Mar 6, 2013, 3:48:14 PM (8 years ago)

Author:

campbell

Message:

Output stack costs in driver.

File:

• driver/compiler.ml (modified) (1 diff)

driver/compiler.ml

@@ -27 +27 @@
 let labelled = output.Extracted.Compiler.c_labelled_clight in
 let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
+let s_costmap = output.Extracted.Compiler.c_stack_cost in
 let style =
   match try Sys.argv.(2) with _ -> "instrumented" with
   | "plain" -> Cost_plain
-  | "numbered" -> Cost_numbered l_costmap
-  | "instrumented" -> Cost_instrumented l_costmap
+  | "numbered" -> Cost_numbered (l_costmap,s_costmap)
+  | "instrumented" -> Cost_instrumented (l_costmap,s_costmap)
   | x -> failwith ("I have no idea what " ^ x ^ " means")
 in