From 90eaaf666b640433d20d5a1320637e8027924297 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 25 Jun 2010 23:03:06 -0700 Subject: Improve sever_slot logging. --- src/boot/me/trans.ml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 182f4f5e..229395c2 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -2658,6 +2658,7 @@ let trans_visitor (slot:Ast.slot) (curr_iso:Ast.ty_iso option) : unit = + let _ = note_gc_step slot "severing" in let ty = slot_ty slot in match slot_mem_ctrl slot with MEM_gc -> @@ -2665,15 +2666,12 @@ let trans_visitor let _ = check_exterior_rty cell in let null_jmp = null_check cell in let rc = exterior_rc_cell cell in - let _ = note_gc_step slot "severing" in + let _ = note_gc_step slot "severing GC slot" in emit (Il.binary Il.SUB rc (Il.Cell rc) one); mov cell zero; patch null_jmp | MEM_interior when type_is_structured ty -> - (iflog (fun _ -> - annotate ("sever interior slot " ^ - (Fmt.fmt_to_str Ast.fmt_slot slot)))); let (mem, _) = need_mem_cell cell in let tmp = next_vreg_cell Il.voidptr_t in let ty = maybe_iso curr_iso ty in -- cgit v1.2.3