diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/config.fixed.ml | 3 | ||||
| -rw-r--r-- | utils/config.generated.ml.in | 3 | ||||
| -rw-r--r-- | utils/config.mli | 8 |
3 files changed, 4 insertions, 10 deletions
diff --git a/utils/config.fixed.ml b/utils/config.fixed.ml index fe82c904f0..1299aa682f 100644 --- a/utils/config.fixed.ml +++ b/utils/config.fixed.ml @@ -58,8 +58,7 @@ let system = "unknown" let asm = boot_cannot_call "the assembler" let asm_cfi_supported = false let with_frame_pointers = false -let profinfo = false -let profinfo_width = 0 +let reserved_header_bits = 0 let ext_exe = ".ex_The boot compiler should not be using Config.ext_exe" let ext_obj = ".o_The boot compiler cannot process C objects" let ext_asm = ".s_The boot compiler should not be using Config.ext_asm" diff --git a/utils/config.generated.ml.in b/utils/config.generated.ml.in index ad7ee66e26..c6c9114465 100644 --- a/utils/config.generated.ml.in +++ b/utils/config.generated.ml.in @@ -94,8 +94,7 @@ let system = {@QS@|@system@|@QS@} let asm = {@QS@|@AS@|@QS@} let asm_cfi_supported = @asm_cfi_supported@ let with_frame_pointers = @frame_pointers@ -let profinfo = @profinfo@ -let profinfo_width = @profinfo_width@ +let reserved_header_bits = @reserved_header_bits@ let ext_exe = {@QS@|@exeext@|@QS@} let ext_obj = "." ^ {@QS@|@OBJEXT@|@QS@} diff --git a/utils/config.mli b/utils/config.mli index db3dfc8455..07e99457b8 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -216,12 +216,8 @@ val with_flambda_invariants : bool val with_cmm_invariants : bool (** Whether the invariants checks for Cmm are enabled *) -val profinfo : bool -(** Whether the compiler was configured for profiling *) - -val profinfo_width : int -(** How many bits are to be used in values' headers for profiling - information *) +val reserved_header_bits : int +(** How many bits of a block's header are reserved *) val flat_float_array : bool (** Whether the compiler and runtime automagically flatten float |