jon.recoil.org

Parameter Make_opttop_options._

include Main_args.Opttop_options
include Main_args.Toplevel_options
include Main_args.Core_options
include Main_args.Common_options
val _absname : unit -> unit
val _no_absname : unit -> unit
val _locs : unit -> unit
val _no_locs : unit -> unit
val _alert : string -> unit
val _I : string -> unit
val _H : string -> unit
val _I_manifest : string -> unit
val _H_manifest : string -> unit
val _labels : unit -> unit
val _alias_deps : unit -> unit
val _no_alias_deps : unit -> unit
val _app_funct : unit -> unit
val _no_app_funct : unit -> unit
val _directory : string -> unit
val _disable_all_extensions : unit -> unit
val _only_erasable_extensions : unit -> unit
val _extension : string -> unit
val _no_extension : string -> unit
val _extension_universe : string -> unit
val _noassert : unit -> unit
val _nolabels : unit -> unit
val _nostdlib : unit -> unit
val _no_auto_include_otherlibs : unit -> unit
val _nocwd : unit -> unit
val _open : string -> unit
val _ppx : string -> unit
val _principal : unit -> unit
val _no_principal : unit -> unit
val _rectypes : unit -> unit
val _no_rectypes : unit -> unit
val _safer_matching : unit -> unit
val _short_paths : unit -> unit
val _strict_sequence : unit -> unit
val _no_strict_sequence : unit -> unit
val _strict_formats : unit -> unit
val _no_strict_formats : unit -> unit
val _unboxed_types : unit -> unit
val _no_unboxed_types : unit -> unit
val _dump_debug_uids : unit -> unit
val _dump_debug_uid_tables : unit -> unit
val _verbose_types : unit -> unit
val _no_verbose_types : unit -> unit
val _version : unit -> unit
val _vnum : unit -> unit
val _w : string -> unit
val _debug_ocaml : unit -> unit
val anonymous : string -> unit
val _nopervasives : unit -> unit
val _unsafe : unit -> unit
val _warn_error : string -> unit
val _warn_help : unit -> unit
val _dno_unique_ids : unit -> unit
val _dunique_ids : unit -> unit
val _dno_locations : unit -> unit
val _dlocations : unit -> unit
val _dsource : unit -> unit
val _dparsetree : unit -> unit
val _dtypedtree : unit -> unit
val _dshape : unit -> unit
val _dslambda : unit -> unit
val _drawlambda : unit -> unit
val _dlambda : unit -> unit
val _dblambda : unit -> unit
val _dletreclambda : unit -> unit
val _init : string -> unit
val _noinit : unit -> unit
val _no_version : unit -> unit
val _prompt : unit -> unit
val _noprompt : unit -> unit
val _nopromptcont : unit -> unit
val _stdin : unit -> unit
val _args : string -> string array
val _args0 : string -> string array
val _color : string -> unit
val _error_style : string -> unit
val _eval : string -> unit
include Main_args.Optcommon_options
val _compact : unit -> unit
val _inline : string -> unit
val _inline_toplevel : string -> unit
val _inlining_report : unit -> unit
val _dump_pass : string -> unit
val _inline_max_depth : string -> unit
val _rounds : int -> unit
val _inline_max_unroll : string -> unit
val _classic_inlining : unit -> unit
val _inline_call_cost : string -> unit
val _inline_alloc_cost : string -> unit
val _inline_prim_cost : string -> unit
val _inline_branch_cost : string -> unit
val _inline_indirect_cost : string -> unit
val _inline_lifting_benefit : string -> unit
val _unbox_closures : unit -> unit
val _unbox_closures_factor : int -> unit
val _inline_branch_factor : string -> unit
val _remove_unused_arguments : unit -> unit
val _no_unbox_free_vars_of_closures : unit -> unit
val _no_unbox_specialised_args : unit -> unit
val _o2 : unit -> unit
val _o3 : unit -> unit
val _insn_sched : unit -> unit
val _no_insn_sched : unit -> unit
val _linscan : unit -> unit
val _no_float_const_prop : unit -> unit
val _clambda_checks : unit -> unit
val _dflambda : unit -> unit
val _drawflambda : unit -> unit
val _dflambda_invariants : unit -> unit
val _dflambda_heavy_invariants : unit -> unit
val _dflambda_no_invariants : unit -> unit
val _dflambda_let : int -> unit
val _dflambda_verbose : unit -> unit
val _drawclambda : unit -> unit
val _dclambda : unit -> unit
val _dcmm_invariants : unit -> unit
val _dcmm : unit -> unit
val _dcse : unit -> unit
val _dlinear : unit -> unit
val _dstartup : unit -> unit
val _verbose : unit -> unit
val _S : unit -> unit
include Oxcaml_args.Oxcaml_options
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
include Oxcaml_args.Debugging_options
val restrict_to_upstream_dwarf : unit -> unit
val no_restrict_to_upstream_dwarf : unit -> unit
val dwarf_inlined_frames : unit -> unit
val no_dwarf_inlined_frames : unit -> unit
val dwarf_for_startup_file : unit -> unit
val no_dwarf_for_startup_file : unit -> unit
val gdwarf_may_alter_codegen : unit -> unit
val no_gdwarf_may_alter_codegen : unit -> unit
val gdwarf_may_alter_codegen_experimental : unit -> unit
val no_gdwarf_may_alter_codegen_experimental : unit -> unit
val gdwarf_max_function_complexity : int -> unit
val gdwarf_compression : string -> unit
val gdwarf_fission : string -> unit
val gdwarf_pedantic : unit -> unit