jon.recoil.org

Module Oxcaml_flags

OxCaml specific command line flags

val dump_cfg : bool Stdlib.ref
val cfg_invariants : bool Stdlib.ref
val default_regalloc_linscan_threshold : int
val regalloc_linscan_threshold : int Stdlib.ref
val regalloc_params : string list Stdlib.ref
val regalloc_validate : bool Stdlib.ref
val vectorize : bool Stdlib.ref
val dump_vectorize : bool Stdlib.ref
val default_vectorize_max_block_size : int
val vectorize_max_block_size : int Stdlib.ref
val cfg_peephole_optimize : bool Stdlib.ref
val cfg_stack_checks : bool Stdlib.ref
val cfg_stack_checks_threshold : int Stdlib.ref
val cfg_eliminate_dead_trap_handlers : bool Stdlib.ref
val cfg_prologue_validate : bool Stdlib.ref
val cfg_prologue_shrink_wrap : bool Stdlib.ref
val cfg_prologue_shrink_wrap_threshold : int Stdlib.ref
val cfg_value_propagation : bool Stdlib.ref
val cfg_value_propagation_float : bool Stdlib.ref
val reorder_blocks_random : int option Stdlib.ref
val basic_block_sections : bool Stdlib.ref
val module_entry_functions_section : bool Stdlib.ref
val dasm_comments : bool Stdlib.ref
val default_heap_reduction_threshold : int
val heap_reduction_threshold : int Stdlib.ref
val dump_zero_alloc : bool Stdlib.ref
val disable_zero_alloc_checker : bool Stdlib.ref
val disable_precise_zero_alloc_checker : bool Stdlib.ref
val davail : bool Stdlib.ref
val dranges : bool Stdlib.ref
type zero_alloc_checker_details_cutoff =
  1. | Keep_all
  2. | At_most of int
  3. | No_details
val zero_alloc_checker_details_cutoff : Oxcaml_flags.zero_alloc_checker_details_cutoff Stdlib.ref
val default_zero_alloc_checker_details_cutoff : Oxcaml_flags.zero_alloc_checker_details_cutoff
val zero_alloc_checker_details_extra : bool Stdlib.ref
type zero_alloc_checker_join =
  1. | Keep_all
  2. | Widen of int
  3. | Error of int
val zero_alloc_checker_join : Oxcaml_flags.zero_alloc_checker_join Stdlib.ref
val default_zero_alloc_checker_join : Oxcaml_flags.zero_alloc_checker_join
module Function_layout : sig ... end
val disable_builtin_check : bool Stdlib.ref
val disable_poll_insertion : bool Stdlib.ref
val allow_long_frames : bool Stdlib.ref
val max_long_frames_threshold : int
val long_frames_threshold : int Stdlib.ref
val caml_apply_inline_fast_path : bool Stdlib.ref
type function_result_types =
  1. | Never
  2. | Functors_only
  3. | All_functions
type reaper_preserve_direct_calls =
  1. | Never
  2. | Always
  3. | Zero_alloc
  4. | Auto
type join_algorithm =
  1. | Binary
  2. | N_way
  3. | Checked
type opt_level =
  1. | Oclassic
  2. | O2
  3. | O3
type 'a or_default =
  1. | Set of 'a
  2. | Default
val dump_inlining_paths : bool Stdlib.ref
val internal_assembler : bool Stdlib.ref
val gc_timings : bool Stdlib.ref
val use_cached_generic_functions : bool Stdlib.ref
val cached_generic_functions_path : string Stdlib.ref
val symbol_visibility_protected : bool Stdlib.ref
val dump_llvmir : bool Stdlib.ref
val keep_llvmir : bool Stdlib.ref
val llvm_path : string option Stdlib.ref
val llvm_flags : string Stdlib.ref
module Flambda2 : sig ... end
val opt_flag_handler : Clflags.Opt_flag_handler.t