jon.recoil.org

Module Clflags

Command line flags

module Int_arg_helper : sig ... end

Optimization parameters represented as ints indexed by round number.

module Float_arg_helper : sig ... end

Optimization parameters represented as floats indexed by round number.

val set_int_arg : int option -> Int_arg_helper.parsed ref -> int -> int option -> unit
val set_float_arg : int option -> Float_arg_helper.parsed ref -> float -> float option -> unit
type profile_column = [
  1. | `Time
  2. | `Alloc
  3. | `Top_heap
  4. | `Abs_top_heap
  5. | `Counters
]
type profile_granularity_level =
  1. | File_level
  2. | Function_level
  3. | Block_level
type flambda_invariant_checks =
  1. | No_checks
  2. | Light_checks
  3. | Heavy_checks
type dwarf_fission =
  1. | Fission_none
  2. | Fission_objcopy
  3. | Fission_dsymutil
type shape_format =
  1. | Old_merlin
  2. | Debugging_shapes
type gdwarf_fidelity =
  1. | Fidelity_low
  2. | Fidelity_medium
  3. | Fidelity_high
  4. | Fidelity_very_high
  5. | Fidelity_ultra_high
  6. | Fidelity_unlimited
type visible_include = {
  1. path : string;
  2. cmx_guaranteed : bool;
}
module Dwarf_config_defaults : sig ... end
val objfiles : string list ref
val ccobjs : string list ref
val dllibs : string list ref
val cmi_file : string option ref
val compile_only : bool ref
val output_name : string option ref
val include_dirs : visible_include list ref
val hidden_include_dirs : string list ref
val include_manifests : string list ref
val hidden_include_manifests : string list ref
val no_std_include : bool ref
val no_cwd : bool ref
val print_types : bool ref
val make_archive : bool ref
val debug : bool ref
val debug_full : bool ref
val dwarf_c_toolchain_flag : string ref
val dwarf_fission : dwarf_fission ref
val dwarf_pedantic : bool ref
val gdwarf_config_shape_reduce_depth : int option ref
val gdwarf_config_shape_eval_depth : int option ref
val gdwarf_config_max_cms_files_per_unit : int option ref
val gdwarf_config_max_cms_files_per_variable : int option ref
val gdwarf_config_max_type_to_shape_depth : int option ref
val gdwarf_config_max_shape_reduce_steps_per_variable : int option ref
val gdwarf_config_max_evaluation_steps_per_variable : int option ref
val gdwarf_config_shape_reduce_fuel : int option ref
val gdwarf_fidelity : gdwarf_fidelity option ref
val gdwarf_fidelity_of_string : string -> gdwarf_fidelity option
val set_gdwarf_fidelity : gdwarf_fidelity -> unit
val unsafe : bool ref
val use_linscan : bool ref
val requires_metaprogramming : bool ref
val uses_metaprogramming : bool ref
val custom_runtime : bool ref
val no_check_prims : bool ref
val bytecode_compatible_32 : bool ref
val thunkify_cu_init : bool ref
val output_c_object : bool ref
val output_complete_object : bool ref
val output_complete_executable : bool ref
val all_ccopts : string list ref
val classic : bool ref
val nopervasives : bool ref
val match_context_rows : int ref
val safer_matching : bool ref
val open_modules : string list ref
val preprocessor : string option ref
val all_ppx : string list ref
val absname : bool ref
val locs : bool ref
val directory : string option ref
val annotations : bool ref
val binary_annotations : bool ref
val binary_annotations_cms : bool ref
val shape_format : shape_format ref
val store_occurrences : bool ref
val use_threads : bool ref
val noassert : bool ref
val verbose : bool ref
val verbose_types : bool ref
val noprompt : bool ref
val nopromptcont : bool ref
val init_file : string option ref
val noinit : bool ref
val noversion : bool ref
val use_prims : string ref
val use_runtime : string ref
val plugin : bool ref
val principal : bool ref
val real_paths : bool ref
val recursive_types : bool ref
val strict_sequence : bool ref
val strict_formats : bool ref
val applicative_functors : bool ref
val make_runtime : bool ref
val c_compiler : string option ref
val dllpaths : string list ref
val make_package : bool ref
val for_package : string option ref
val error_size : int ref
val float_const_prop : bool ref
val transparent_modules : bool ref
val unique_ids : bool ref
val locations : bool ref
val parameters : string list ref
val as_parameter : bool ref
val as_argument_for : string option ref
val instantiate : bool ref
val dump_source : bool ref
val dump_parsetree : bool ref
val dump_typedtree : bool ref
val dump_shape : bool ref
val dump_tlambda : bool ref
val dump_slambda : bool ref
val dump_rawlambda : bool ref
val dump_lambda : bool ref
val dump_blambda : bool ref
val dump_letreclambda : bool ref
val dump_rawclambda : bool ref
val dump_clambda : bool ref
val dump_rawflambda : bool ref
val dump_flambda : bool ref
val dump_flambda_let : int option ref
val dump_instr : bool ref
val keep_camlprimc_file : bool ref
val keep_asm_file : bool ref
val optimize_for_speed : bool ref
val dump_cmm : bool ref
val dump_cse : bool ref
val dump_linear : bool ref
val debug_ocaml : bool ref
val keep_startup_file : bool ref
val native_code : bool ref
val jsir : bool ref
val default_inline_threshold : float
val inline_threshold : Float_arg_helper.parsed ref
val inlining_report : bool ref
val simplify_rounds : int option ref
val default_simplify_rounds : int ref
val rounds : unit -> int
val default_inline_max_unroll : int
val inline_max_unroll : Int_arg_helper.parsed ref
val default_inline_toplevel_threshold : int
val inline_toplevel_threshold : Int_arg_helper.parsed ref
val default_inline_call_cost : int
val default_inline_alloc_cost : int
val default_inline_prim_cost : int
val default_inline_branch_cost : int
val default_inline_indirect_cost : int
val default_inline_lifting_benefit : int
val inline_call_cost : Int_arg_helper.parsed ref
val inline_alloc_cost : Int_arg_helper.parsed ref
val inline_prim_cost : Int_arg_helper.parsed ref
val inline_branch_cost : Int_arg_helper.parsed ref
val inline_indirect_cost : Int_arg_helper.parsed ref
val inline_lifting_benefit : Int_arg_helper.parsed ref
val default_inline_branch_factor : float
val inline_branch_factor : Float_arg_helper.parsed ref
val dont_write_files : bool ref
val std_include_flag : string -> string
val std_include_dir : unit -> string list
val shared : bool ref
val dlcode : bool ref
val pic_code : bool ref
val runtime_variant : string ref
val ocamlrunparam : string ref
val with_runtime : bool ref
val force_slash : bool ref
val keep_docs : bool ref
val keep_locs : bool ref
val opaque : bool ref
val default_timings_precision : int
val timings_precision : int ref
val profile_columns : profile_column list ref
val profile_granularity : profile_granularity_level ref
val profile_output_name : string option ref
val all_profile_granularity_levels : string list
val set_profile_granularity : string -> unit
val flambda_invariant_checks : flambda_invariant_checks ref
val unbox_closures : bool ref
val unbox_closures_factor : int ref
val default_unbox_closures_factor : int
val unbox_free_vars_of_closures : bool ref
val unbox_specialised_args : bool ref
val clambda_checks : bool ref
val cmm_invariants : bool ref
val default_inline_max_depth : int
val inline_max_depth : Int_arg_helper.parsed ref
val remove_unused_arguments : bool ref
val dump_flambda_verbose : bool ref
val dump_jsir : bool ref
val classic_inlining : bool ref
val afl_instrument : bool ref
val afl_inst_ratio : int ref
val function_sections : bool ref
val probes : bool ref
val kind_verbosity : int ref
val emit_optimized_probes : bool ref
val supports_optimized_probes : bool
val llvm_backend : bool ref
val ikinds : bool ref
val ikinds_debug : bool ref
val all_passes : string list ref
val dumped_pass : string -> bool
val set_dumped_pass : string -> bool -> unit
val dump_into_file : bool ref
val dump_into_csv : bool ref
val dump_dir : string option ref
type 'a env_reader = {
  1. parse : string -> 'a option;
  2. print : 'a -> string;
  3. usage : string;
  4. env_var : string;
}
val color : Misc.Color.setting option ref
val color_reader : Misc.Color.setting env_reader
val error_style : Misc.Error_style.setting option ref
val error_style_reader : Misc.Error_style.setting env_reader
val unboxed_types : bool ref
val dump_debug_uids : bool ref
val dump_debug_uid_tables : bool ref
val insn_sched : bool ref
val insn_sched_default : bool
module Opt_flag_handler : sig ... end
val set_oclassic : unit -> unit
val set_o2 : unit -> unit
val set_o3 : unit -> unit
val set_o4 : unit -> unit
module Compiler_ir : sig ... end
module Compiler_pass : sig ... end
val stop_after : Compiler_pass.t option ref
val should_stop_after : Compiler_pass.t -> bool
val set_save_ir_after : Compiler_pass.t -> bool -> unit
val set_save_ir_before : Compiler_pass.t -> bool -> unit
val should_save_ir_after : Compiler_pass.t -> bool
val should_save_ir_before : Compiler_pass.t -> bool
module Register_allocator : sig ... end
val is_flambda2 : unit -> bool
val arg_spec : (string * Arg.spec * string) list ref
val add_arguments : string -> (string * Arg.spec * string) list -> unit
val create_usage_msg : string -> string
val print_arguments : string -> unit
val reset_arguments : unit -> unit
val zero_alloc_check : Zero_alloc_annotations.Check.t ref
val zero_alloc_assert : Zero_alloc_annotations.Assert.t ref
val no_auto_include_otherlibs : bool ref
val dissector : bool ref
val dissector_partition_size_default : float
val dissector_partition_size : float option ref
val ddissector : bool ref
val ddissector_sizes : bool ref
val ddissector_verbose : bool ref
val ddissector_partitions : bool ref
val ddissector_inputs : string option ref
val prepend_directory : string -> string