From 63b5e18207c7f8a261c1f7f50fd8c7bbf9a21bda Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Fri, 25 Jun 2010 09:00:08 -0700 Subject: [PATCH] Enlarge gc header to doubly-link the gc chain. --- src/boot/be/abi.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/boot/be/abi.ml b/src/boot/be/abi.ml index fd9ca750e91..adad9d77a78 100644 --- a/src/boot/be/abi.ml +++ b/src/boot/be/abi.ml @@ -29,15 +29,16 @@ let frame_glue_fns_field_reloc = 2;; let exterior_rc_slot_field_refcnt = 0;; let exterior_rc_slot_field_body = 1;; +let exterior_gc_slot_field_prev = (-3);; let exterior_gc_slot_field_next = (-2);; let exterior_gc_slot_field_ctrl = (-1);; let exterior_gc_slot_field_refcnt = 0;; let exterior_gc_slot_field_body = 1;; let exterior_rc_header_size = 1;; -let exterior_gc_header_size = 3;; +let exterior_gc_header_size = 4;; -let exterior_gc_malloc_return_adjustment = 2;; +let exterior_gc_malloc_return_adjustment = 3;; let stk_field_valgrind_id = 0 + 1;; let stk_field_limit = stk_field_valgrind_id + 1;;