From 63f9bd7b63c32eba2bc74b71c952c21916115d97 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 2 Jul 2010 16:12:10 -0700 Subject: [PATCH] Trace mark and sever steps in GC. --- src/boot/me/trans.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index d27b75b1967..0d9c281bfd4 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1640,7 +1640,9 @@ let trans_visitor let inner _ (args:Il.cell) = let ty_params = deref (get_element_ptr args 0) in let cell = get_element_ptr args 1 in - sever_ty ty_params (deref cell) ty curr_iso + note_gc_step ty "in sever-glue, severing"; + sever_ty ty_params (deref cell) ty curr_iso; + note_gc_step ty "in sever-glue complete"; in let ty_params_ptr = ty_params_covering ty in let fty = mk_simple_ty_fn [| ty_params_ptr; alias_slot ty |] in @@ -1655,7 +1657,9 @@ let trans_visitor let inner _ (args:Il.cell) = let ty_params = deref (get_element_ptr args 0) in let cell = get_element_ptr args 1 in - mark_ty ty_params (deref cell) ty curr_iso + note_gc_step ty "in mark-glue, marking"; + mark_ty ty_params (deref cell) ty curr_iso; + note_gc_step ty "mark-glue complete"; in let ty_params_ptr = ty_params_covering ty in let fty = mk_simple_ty_fn [| ty_params_ptr; alias_slot ty |] in