summaryrefslogtreecommitdiff
path: root/utils/domainstate.mli.c
diff options
context:
space:
mode:
authorEnguerrand Decorne <decorne.en@gmail.com>2020-10-21 15:27:46 +0200
committerEnguerrand Decorne <decorne.en@gmail.com>2020-11-27 16:50:30 +0100
commita7a3cda28adbc5cfce1830ce6ae014983da39fc1 (patch)
tree0beabf036c866af2bb4051e527f2109e52afee6a /utils/domainstate.mli.c
parente7794bd988f2a50c4cc578c62350c4af41037850 (diff)
downloadocaml-a7a3cda28adbc5cfce1830ce6ae014983da39fc1.tar.gz
refactor minor heaps allocation
This commit refactor the minor heaps allocation process by first rewriting the logic to not rely on bitmasks and instead move it to a model closer to trunk, introducing a Minor_heap_max configuration variable. Some bits are removed: the arm64 backend used to expose Minor_heap_align_bits in config.h to the emitter, which is removed for now. The Is_minor/Is_young changes are now unified as only Is_young (is the value in *any* minor heap at all?) matters. In a follow up commit, Is_minor will be renamed definitely to Is_yound to follow suit.
Diffstat (limited to 'utils/domainstate.mli.c')
-rw-r--r--utils/domainstate.mli.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/utils/domainstate.mli.c b/utils/domainstate.mli.c
index c5b5d17a83..66a4750d4c 100644
--- a/utils/domainstate.mli.c
+++ b/utils/domainstate.mli.c
@@ -14,8 +14,6 @@
/* */
/**************************************************************************/
-val minor_heap_sel_bits : int
-val minor_heap_align_bits : int
val stack_ctx_words : int
type t =