From 967a6f861da8a114bcd3915ae727f9945bd625bc Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Sat, 9 Oct 2010 00:47:02 -0700 Subject: [PATCH] Elide mark and sever glue in -minimal mode. --- src/boot/me/trans.ml | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 20bc1d7aa79..1b570ea2d77 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -1339,8 +1339,15 @@ let trans_visitor | _ -> fix (get_free_glue t (type_has_state cx t)); end; - fix (get_sever_glue t); - fix (get_mark_glue t); + + if cx.ctxt_sess.Session.sess_minimal + then Asm.WORD (word_ty_mach, Asm.IMM 0L) + else fix (get_sever_glue t); + + if cx.ctxt_sess.Session.sess_minimal + then Asm.WORD (word_ty_mach, Asm.IMM 0L) + else fix (get_mark_glue t); + (* Include any obj-dtor, if this is an obj and has one. *) begin match idopt with