CI test

jasmin-lang · Nov 8, 2022 · 7fadeb9 · 7fadeb9
1 parent 299ecc0
commit 7fadeb9
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/compiler/src/stackAlloc.ml b/compiler/src/stackAlloc.ml
@@ -293,6 +293,14 @@ let memory_analysis pp_err ~debug tbl up =
     Format.eprintf "%a@.@.@." (pp_oracle tbl up) saos
   end;
 
+  let pp fmt (fn, i) =
+    Format.fprintf fmt "%s -> %a" fn Z.pp_print i
+  in
+  let f fn =
+    ((Conv.fun_of_cfun tbl fn).fn_name, Conv.z_of_cz (saos.ao_stack_alloc fn).sao_call_stk_max)
+  in
+  Format.eprintf "{{call_depth:@[<v>%a@]}}@." (Format.pp_print_list ~pp_sep:Format.pp_print_cut pp) (List.map f (List.map fst up.p_funcs));
+
   saos
 
 end