Add debug timing for Call_graph_analysis and Typing

Author: vouillon

compiler/lib-wasm/call_graph_analysis.ml

@@ -3,6 +3,8 @@ open Code
 
 let debug = Debug.find "call-graph"
 
+let times = Debug.find "times"
+
 let block_deps ~info ~non_escaping ~ambiguous ~blocks pc =
   let block = Addr.Map.find pc blocks in
   List.iter block.body ~f:(fun i ->
@@ -39,6 +41,7 @@ let direct_calls_only info f =
   Config.Flag.optcall () && Var.Hashtbl.mem info.unambiguous_non_escaping f
 
 let f p info =
+  let t = Timer.make () in
   let non_escaping = Var.Hashtbl.create 128 in
   let ambiguous = Var.Hashtbl.create 128 in
   fold_closures
@@ -56,4 +59,5 @@ let f p info =
   Var.Hashtbl.iter (fun x () -> Var.Hashtbl.remove non_escaping x) ambiguous;
   if debug ()
   then Format.eprintf " unambiguous-non-escaping:%d@." (Var.Hashtbl.length non_escaping);
+  if times () then Format.eprintf "  call graph analysis: %a@." Timer.print t;
   { unambiguous_non_escaping = non_escaping }

compiler/lib-wasm/typing.ml

@@ -4,6 +4,8 @@ open Global_flow
 
 let debug = Debug.find "typing"
 
+let times = Debug.find "times"
+
 module Integer = struct
   type kind =
     | Ref
@@ -420,10 +422,12 @@ let solver st =
   Solver.f () g (propagate st)
 
 let f ~state ~info ~deadcode_sentinal p =
+  let t = Timer.make () in
   update_deps state p;
   let function_parameters = mark_function_parameters p in
   let typ = solver { state; info; function_parameters } in
   Var.Tbl.set typ deadcode_sentinal (Int Normalized);
+  if times () then Format.eprintf "  type analysis: %a@." Timer.print t;
   if debug ()
   then (
     Var.ISet.iter