jon.recoil.org

Module type Oxcaml_args.Oxcaml_options

Command line arguments required for flambda backend.

val ocamlcfg : unit -> unit
val no_ocamlcfg : unit -> unit
val dump_inlining_paths : unit -> unit
val davail : unit -> unit
val dranges : unit -> unit
val ddebug_invariants : unit -> unit
val ddebug_available_regs : unit -> unit
val ddwarf_types : unit -> unit
val ddwarf_metrics : unit -> unit
val ddwarf_metrics_output_file : string -> unit
val dcfg : unit -> unit
val dcfg_invariants : unit -> unit
val regalloc : Clflags.Register_allocator.t -> unit
val regalloc_linscan_threshold : int -> unit
val regalloc_param : string -> unit
val regalloc_validate : unit -> unit
val no_regalloc_validate : unit -> unit
val vectorize : unit -> unit
val no_vectorize : unit -> unit
val vectorize_max_block_size : int -> unit
val dvectorize : unit -> unit
val cfg_peephole_optimize : unit -> unit
val no_cfg_peephole_optimize : unit -> unit
val cfg_stack_checks : unit -> unit
val no_cfg_stack_checks : unit -> unit
val cfg_stack_checks_threshold : int -> unit
val cfg_eliminate_dead_trap_handlers : unit -> unit
val no_cfg_eliminate_dead_trap_handlers : unit -> unit
val cfg_prologue_validate : unit -> unit
val no_cfg_prologue_validate : unit -> unit
val cfg_prologue_shrink_wrap : unit -> unit
val no_cfg_prologue_shrink_wrap : unit -> unit
val cfg_prologue_shrink_wrap_threshold : int -> unit
val cfg_value_propagation : unit -> unit
val no_cfg_value_propagation : unit -> unit
val cfg_value_propagation_float : unit -> unit
val no_cfg_value_propagation_float : unit -> unit
val reorder_blocks_random : int -> unit
val basic_block_sections : unit -> unit
val module_entry_functions_section : unit -> unit
val dasm_comments : unit -> unit
val dno_asm_comments : unit -> unit
val heap_reduction_threshold : int -> unit
val zero_alloc_check : string -> unit
val zero_alloc_assert : string -> unit
val dzero_alloc : unit -> unit
val disable_zero_alloc_checker : unit -> unit
val disable_precise_zero_alloc_checker : unit -> unit
val zero_alloc_checker_details_cutoff : int -> unit
val zero_alloc_checker_details_extra : unit -> unit
val no_zero_alloc_checker_details_extra : unit -> unit
val zero_alloc_checker_join : int -> unit
val function_layout : string -> unit
val disable_builtin_check : unit -> unit
val disable_poll_insertion : unit -> unit
val enable_poll_insertion : unit -> unit
val symbol_visibility_protected : unit -> unit
val no_symbol_visibility_protected : unit -> unit
val long_frames : unit -> unit
val no_long_frames : unit -> unit
val long_frames_threshold : int -> unit
val caml_apply_inline_fast_path : unit -> unit
val internal_assembler : unit -> unit
val dissector : unit -> unit
val dissector_partition_size : float -> unit
val ddissector : unit -> unit
val ddissector_sizes : unit -> unit
val ddissector_verbose : unit -> unit
val ddissector_partitions : unit -> unit
val ddissector_inputs : string -> unit
val gc_timings : unit -> unit
val no_mach_ir : unit -> unit
val dllvmir : unit -> unit
val keep_llvmir : unit -> unit
val llvm_path : string -> unit
val llvm_flags : string -> unit
val flambda2_debug : unit -> unit
val no_flambda2_debug : unit -> unit
val reaper_debug_flags : string -> unit
val flambda2_join_points : unit -> unit
val no_flambda2_join_points : unit -> unit
val flambda2_result_types_functors_only : unit -> unit
val flambda2_result_types_all_functions : unit -> unit
val no_flambda2_result_types : unit -> unit
val flambda2_basic_meet : unit -> unit
val flambda2_advanced_meet : unit -> unit
val flambda2_join_algorithm : string -> unit
val flambda2_unbox_along_intra_function_control_flow : unit -> unit
val no_flambda2_unbox_along_intra_function_control_flow : unit -> unit
val flambda2_backend_cse_at_toplevel : unit -> unit
val no_flambda2_backend_cse_at_toplevel : unit -> unit
val flambda2_cse_depth : int -> unit
val flambda2_join_depth : int -> unit
val flambda2_reaper : unit -> unit
val no_flambda2_reaper : unit -> unit
val reaper_preserve_direct_calls : string -> unit
val reaper_local_fields : unit -> unit
val no_reaper_local_fields : unit -> unit
val reaper_unbox : unit -> unit
val no_reaper_unbox : unit -> unit
val reaper_change_calling_conventions : unit -> unit
val no_reaper_change_calling_conventions : unit -> unit
val flambda2_expert_fallback_inlining_heuristic : unit -> unit
val no_flambda2_expert_fallback_inlining_heuristic : unit -> unit
val flambda2_expert_inline_effects_in_cmm : unit -> unit
val no_flambda2_expert_inline_effects_in_cmm : unit -> unit
val flambda2_expert_cmm_safe_subst : unit -> unit
val no_flambda2_expert_cmm_safe_subst : unit -> unit
val flambda2_expert_phantom_lets : unit -> unit
val no_flambda2_expert_phantom_lets : unit -> unit
val flambda2_expert_max_block_size_for_projections : int -> unit
val flambda2_expert_max_unboxing_depth : int -> unit
val flambda2_expert_can_inline_recursive_functions : unit -> unit
val no_flambda2_expert_can_inline_recursive_functions : unit -> unit
val flambda2_expert_max_function_simplify_run : int -> unit
val flambda2_expert_shorten_symbol_names : unit -> unit
val no_flambda2_expert_shorten_symbol_names : unit -> unit
val flambda2_expert_cont_lifting_budget : int -> unit
val flambda2_expert_cont_spec_budget : int -> unit
val flambda2_debug_concrete_types_only_on_canonicals : unit -> unit
val no_flambda2_debug_concrete_types_only_on_canonicals : unit -> unit
val flambda2_debug_keep_invalid_handlers : unit -> unit
val no_flambda2_debug_keep_invalid_handlers : unit -> unit
val flambda2_inline_max_depth : string -> unit
val flambda2_inline_max_rec_depth : string -> unit
val flambda2_inline_call_cost : string -> unit
val flambda2_inline_alloc_cost : string -> unit
val flambda2_inline_prim_cost : string -> unit
val flambda2_inline_branch_cost : string -> unit
val flambda2_inline_indirect_call_cost : string -> unit
val flambda2_inline_poly_compare_cost : string -> unit
val flambda2_inline_small_function_size : string -> unit
val flambda2_inline_large_function_size : string -> unit
val flambda2_inline_threshold : string -> unit
val flambda2_speculative_inlining_only_if_arguments_useful : unit -> unit
val no_flambda2_speculative_inlining_only_if_arguments_useful : unit -> unit
val flambda2_inlining_report_bin : unit -> unit
val flambda2_unicode : unit -> unit
val flambda2_kind_checks : unit -> unit
val drawfexpr : unit -> unit
val drawfexpr_to : string -> unit
val dfexpr : unit -> unit
val dfexpr_to : string -> unit
val dflexpect_to : string -> unit
val dslot_offsets : unit -> unit
val dfreshen : unit -> unit
val dflow : unit -> unit
val dsimplify : unit -> unit
val dreaper : unit -> unit
val use_cached_generic_functions : unit -> unit
val cached_generic_functions_path : string -> unit