jon.recoil.org

Module Oxcaml_flags

OxCaml specific command line flags

val dump_cfg : bool ref
val cfg_invariants : bool ref
val default_regalloc_linscan_threshold : int
val regalloc_linscan_threshold : int ref
val regalloc_params : string list ref
val regalloc_validate : bool ref
val vectorize : bool ref
val dump_vectorize : bool ref
val default_vectorize_max_block_size : int
val vectorize_max_block_size : int ref
val cfg_peephole_optimize : bool ref
val x86_peephole_optimize : bool ref
val x86_peephole_remove_mov_to_dead_register : bool ref
val x86_peephole_remove_redundant_cmp : bool ref
val x86_peephole_combine_add_rsp : bool ref
val cfg_stack_checks : bool ref
val cfg_stack_checks_threshold : int ref
val cfg_eliminate_dead_trap_handlers : bool ref
val cfg_prologue_validate : bool ref
val cfg_prologue_shrink_wrap : bool ref
val cfg_prologue_shrink_wrap_threshold : int ref
val cfg_merge_blocks : bool ref
val cfg_value_propagation : bool ref
val cfg_value_propagation_float : bool ref
val cfg_value_propagation_flow : bool ref
val reorder_blocks_random : int option ref
val basic_block_sections : bool ref
val module_entry_functions_section : bool ref
val dasm_comments : bool ref
val default_heap_reduction_threshold : int
val heap_reduction_threshold : int ref
val dump_zero_alloc : bool ref
val disable_zero_alloc_checker : bool ref
val disable_precise_zero_alloc_checker : bool ref
val davail : bool ref
val dranges : bool ref
type zero_alloc_checker_details_cutoff =
  1. | Keep_all
  2. | At_most of int
  3. | No_details
val zero_alloc_checker_details_cutoff : zero_alloc_checker_details_cutoff ref
val default_zero_alloc_checker_details_cutoff : zero_alloc_checker_details_cutoff
val zero_alloc_checker_details_extra : bool ref
type zero_alloc_checker_join =
  1. | Keep_all
  2. | Widen of int
  3. | Error of int
val zero_alloc_checker_join : zero_alloc_checker_join ref
val default_zero_alloc_checker_join : zero_alloc_checker_join
module Function_layout : sig ... end
val function_layout : Function_layout.t ref
val disable_builtin_check : bool ref
val disable_poll_insertion : bool ref
val allow_long_frames : bool ref
val max_long_frames_threshold : int
val long_frames_threshold : int ref
val caml_apply_inline_fast_path : bool 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
  4. | O4
type 'a or_default =
  1. | Set of 'a
  2. | Default
val dump_inlining_paths : bool ref
val opt_level : opt_level or_default ref
val internal_assembler : bool ref
val verify_binary_emitter : bool ref
val gc_timings : bool ref
val use_cached_generic_functions : bool ref
val cached_generic_functions_path : string ref
val dissector_assume_lld_without_64_bit_eh_frames : bool ref
val manual_module_init : bool ref
val symbol_visibility_protected : bool ref
val dump_llvmir : bool ref
val keep_llvmir : bool ref
val llvm_path : string option ref
val llvm_flags : string ref
module Flambda2 : sig ... end
val opt_flag_handler : Clflags.Opt_flag_handler.t