diff options
| author | Graydon Hoare <[email protected]> | 2010-10-09 00:47:02 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-10-09 00:47:02 -0700 |
| commit | 967a6f861da8a114bcd3915ae727f9945bd625bc (patch) | |
| tree | 321f3734551235ffbb1eaf3a3f8e639a2cb097c2 /src/boot | |
| parent | More type-fold caches, shave another second off compile time. (diff) | |
| download | rust-967a6f861da8a114bcd3915ae727f9945bd625bc.tar.xz rust-967a6f861da8a114bcd3915ae727f9945bd625bc.zip | |
Elide mark and sever glue in -minimal mode.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/trans.ml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index 20bc1d7a..1b570ea2 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 |