diff options
| author | Graydon Hoare <[email protected]> | 2010-06-25 23:03:06 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-25 23:03:06 -0700 |
| commit | 90eaaf666b640433d20d5a1320637e8027924297 (patch) | |
| tree | 47cd5d5f044b2c6ebb161cc869363efde425fdfc /src | |
| parent | Fix copy-paste error in logging function. (diff) | |
| download | rust-90eaaf666b640433d20d5a1320637e8027924297.tar.xz rust-90eaaf666b640433d20d5a1320637e8027924297.zip | |
Improve sever_slot logging.
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/trans.ml | 6 |
1 files changed, 2 insertions, 4 deletions
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 |