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 ->
  Clflags.Int_arg_helper.parsed Stdlib.ref ->
  int ->
  int option ->
  unit

val set_float_arg : 
  int option ->
  Clflags.Float_arg_helper.parsed Stdlib.ref ->
  float ->
  float option ->
  unit

type profile_column = [

| `Time
| `Alloc
| `Top_heap
| `Abs_top_heap
| `Counters

]

type profile_granularity_level =

| File_level
| Function_level
| Block_level

type flambda_invariant_checks =

| No_checks
| Light_checks
| Heavy_checks

type dwarf_fission =

| Fission_none
| Fission_objcopy
| Fission_dsymutil

type shape_format =

| Old_merlin
| Debugging_shapes

type gdwarf_fidelity =

| Fidelity_low
| Fidelity_medium
| Fidelity_high
| Fidelity_very_high
| Fidelity_ultra_high
| Fidelity_unlimited

module Dwarf_config_defaults : sig ... end

val objfiles : string list Stdlib.ref

val ccobjs : string list Stdlib.ref

val dllibs : string list Stdlib.ref

val cmi_file : string option Stdlib.ref

val compile_only : bool Stdlib.ref

val output_name : string option Stdlib.ref

val include_dirs : string list Stdlib.ref

val hidden_include_dirs : string list Stdlib.ref

val include_manifests : string list Stdlib.ref

val hidden_include_manifests : string list Stdlib.ref

val no_std_include : bool Stdlib.ref

val no_cwd : bool Stdlib.ref

val print_types : bool Stdlib.ref

val make_archive : bool Stdlib.ref

val debug : bool Stdlib.ref

val debug_full : bool Stdlib.ref

val dwarf_c_toolchain_flag : string Stdlib.ref

val dwarf_fission : Clflags.dwarf_fission Stdlib.ref

val dwarf_pedantic : bool Stdlib.ref

val gdwarf_config_shape_reduce_depth : int option Stdlib.ref

val gdwarf_config_shape_eval_depth : int option Stdlib.ref

val gdwarf_config_max_cms_files_per_unit : int option Stdlib.ref

val gdwarf_config_max_cms_files_per_variable : int option Stdlib.ref

val gdwarf_config_max_type_to_shape_depth : int option Stdlib.ref

val gdwarf_config_max_shape_reduce_steps_per_variable : int option Stdlib.ref

val gdwarf_config_max_evaluation_steps_per_variable : int option Stdlib.ref

val gdwarf_config_shape_reduce_fuel : int option Stdlib.ref

val gdwarf_fidelity : Clflags.gdwarf_fidelity option Stdlib.ref

val gdwarf_fidelity_of_string : string -> Clflags.gdwarf_fidelity option

val set_gdwarf_fidelity : Clflags.gdwarf_fidelity -> unit

val unsafe : bool Stdlib.ref

val use_linscan : bool Stdlib.ref

val link_everything : bool Stdlib.ref

val custom_runtime : bool Stdlib.ref

val no_check_prims : bool Stdlib.ref

val bytecode_compatible_32 : bool Stdlib.ref

val output_c_object : bool Stdlib.ref

val output_complete_object : bool Stdlib.ref

val output_complete_executable : bool Stdlib.ref

val all_ccopts : string list Stdlib.ref

val classic : bool Stdlib.ref

val nopervasives : bool Stdlib.ref

val match_context_rows : int Stdlib.ref

val safer_matching : bool Stdlib.ref

val open_modules : string list Stdlib.ref

val preprocessor : string option Stdlib.ref

val all_ppx : string list Stdlib.ref

val absname : bool Stdlib.ref

val locs : bool Stdlib.ref

val directory : string option Stdlib.ref

val annotations : bool Stdlib.ref

val binary_annotations : bool Stdlib.ref

val binary_annotations_cms : bool Stdlib.ref

val shape_format : Clflags.shape_format Stdlib.ref

val store_occurrences : bool Stdlib.ref

val use_threads : bool Stdlib.ref

val noassert : bool Stdlib.ref

val verbose : bool Stdlib.ref

val verbose_types : bool Stdlib.ref

val noprompt : bool Stdlib.ref

val nopromptcont : bool Stdlib.ref

val init_file : string option Stdlib.ref

val noinit : bool Stdlib.ref

val noversion : bool Stdlib.ref

val use_prims : string Stdlib.ref

val use_runtime : string Stdlib.ref

val plugin : bool Stdlib.ref

val principal : bool Stdlib.ref

val real_paths : bool Stdlib.ref

val recursive_types : bool Stdlib.ref

val strict_sequence : bool Stdlib.ref

val strict_formats : bool Stdlib.ref

val applicative_functors : bool Stdlib.ref

val make_runtime : bool Stdlib.ref

val c_compiler : string option Stdlib.ref

val no_auto_link : bool Stdlib.ref

val dllpaths : string list Stdlib.ref

val make_package : bool Stdlib.ref

val for_package : string option Stdlib.ref

val error_size : int Stdlib.ref

val float_const_prop : bool Stdlib.ref

val transparent_modules : bool Stdlib.ref

val unique_ids : bool Stdlib.ref

val locations : bool Stdlib.ref

val parameters : string list Stdlib.ref

val as_parameter : bool Stdlib.ref

val as_argument_for : string option Stdlib.ref

val instantiate : bool Stdlib.ref

val dump_source : bool Stdlib.ref

val dump_parsetree : bool Stdlib.ref

val dump_typedtree : bool Stdlib.ref

val dump_shape : bool Stdlib.ref

val dump_slambda : bool Stdlib.ref

val dump_rawlambda : bool Stdlib.ref

val dump_lambda : bool Stdlib.ref

val dump_blambda : bool Stdlib.ref

val dump_letreclambda : bool Stdlib.ref

val dump_rawclambda : bool Stdlib.ref

val dump_clambda : bool Stdlib.ref

val dump_rawflambda : bool Stdlib.ref

val dump_flambda : bool Stdlib.ref

val dump_flambda_let : int option Stdlib.ref

val dump_instr : bool Stdlib.ref

val keep_camlprimc_file : bool Stdlib.ref

val keep_asm_file : bool Stdlib.ref

val optimize_for_speed : bool Stdlib.ref

val dump_cmm : bool Stdlib.ref

val dump_cse : bool Stdlib.ref

val dump_linear : bool Stdlib.ref

val debug_ocaml : bool Stdlib.ref

val keep_startup_file : bool Stdlib.ref

val native_code : bool Stdlib.ref

val jsir : bool Stdlib.ref

val default_inline_threshold : float

val inline_threshold : Clflags.Float_arg_helper.parsed Stdlib.ref

val inlining_report : bool Stdlib.ref

val simplify_rounds : int option Stdlib.ref

val default_simplify_rounds : int Stdlib.ref

val rounds : unit -> int

val default_inline_max_unroll : int

val inline_max_unroll : Clflags.Int_arg_helper.parsed Stdlib.ref

val default_inline_toplevel_threshold : int

val inline_toplevel_threshold : Clflags.Int_arg_helper.parsed Stdlib.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 : Clflags.Int_arg_helper.parsed Stdlib.ref

val inline_alloc_cost : Clflags.Int_arg_helper.parsed Stdlib.ref

val inline_prim_cost : Clflags.Int_arg_helper.parsed Stdlib.ref

val inline_branch_cost : Clflags.Int_arg_helper.parsed Stdlib.ref

val inline_indirect_cost : Clflags.Int_arg_helper.parsed Stdlib.ref

val inline_lifting_benefit : Clflags.Int_arg_helper.parsed Stdlib.ref

val default_inline_branch_factor : float

val inline_branch_factor : Clflags.Float_arg_helper.parsed Stdlib.ref

val dont_write_files : bool Stdlib.ref

val std_include_flag : string -> string

val std_include_dir : unit -> string list

val shared : bool Stdlib.ref

val dlcode : bool Stdlib.ref

val pic_code : bool Stdlib.ref

val runtime_variant : string Stdlib.ref

val ocamlrunparam : string Stdlib.ref

val with_runtime : bool Stdlib.ref

val force_slash : bool Stdlib.ref

val keep_docs : bool Stdlib.ref

val keep_locs : bool Stdlib.ref

val opaque : bool Stdlib.ref

val default_timings_precision : int

val timings_precision : int Stdlib.ref

val profile_columns : Clflags.profile_column list Stdlib.ref

val profile_granularity : Clflags.profile_granularity_level Stdlib.ref

val profile_output_name : string option Stdlib.ref

val all_profile_granularity_levels : string list

val set_profile_granularity : string -> unit

val flambda_invariant_checks : Clflags.flambda_invariant_checks Stdlib.ref

val unbox_closures : bool Stdlib.ref

val unbox_closures_factor : int Stdlib.ref

val default_unbox_closures_factor : int

val unbox_free_vars_of_closures : bool Stdlib.ref

val unbox_specialised_args : bool Stdlib.ref

val clambda_checks : bool Stdlib.ref

val cmm_invariants : bool Stdlib.ref

val default_inline_max_depth : int

val inline_max_depth : Clflags.Int_arg_helper.parsed Stdlib.ref

val remove_unused_arguments : bool Stdlib.ref

val dump_flambda_verbose : bool Stdlib.ref

val dump_jsir : bool Stdlib.ref

val classic_inlining : bool Stdlib.ref

val afl_instrument : bool Stdlib.ref

val afl_inst_ratio : int Stdlib.ref

val function_sections : bool Stdlib.ref

val probes : bool Stdlib.ref

val emit_optimized_probes : bool Stdlib.ref

val supports_optimized_probes : bool

val llvm_backend : bool Stdlib.ref

val all_passes : string list Stdlib.ref

val dumped_pass : string -> bool

val set_dumped_pass : string -> bool -> unit

val dump_into_file : bool Stdlib.ref

val dump_into_csv : bool Stdlib.ref

val dump_dir : string option Stdlib.ref

type 'a env_reader = {

parse : string -> 'a option;
print : 'a -> string;
usage : string;
env_var : string;

}

val color : Misc.Color.setting option Stdlib.ref

val color_reader : Misc.Color.setting Clflags.env_reader

val error_style : Misc.Error_style.setting option Stdlib.ref

val error_style_reader : Misc.Error_style.setting Clflags.env_reader

val unboxed_types : bool Stdlib.ref

val dump_debug_uids : bool Stdlib.ref

val dump_debug_uid_tables : bool Stdlib.ref

val insn_sched : bool Stdlib.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

module Compiler_ir : sig ... end

module Compiler_pass : sig ... end

val stop_after : Clflags.Compiler_pass.t option Stdlib.ref

val should_stop_after : Clflags.Compiler_pass.t -> bool

val set_save_ir_after : Clflags.Compiler_pass.t -> bool -> unit

val set_save_ir_before : Clflags.Compiler_pass.t -> bool -> unit

val should_save_ir_after : Clflags.Compiler_pass.t -> bool

val should_save_ir_before : Clflags.Compiler_pass.t -> bool

module Register_allocator : sig ... end

val is_flambda2 : unit -> bool

val arg_spec : (string * Stdlib.Arg.spec * string) list Stdlib.ref

val add_arguments : string -> (string * Stdlib.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 Stdlib.ref

val zero_alloc_assert : Zero_alloc_annotations.Assert.t Stdlib.ref

val no_auto_include_otherlibs : bool Stdlib.ref

val dissector : bool Stdlib.ref

val dissector_partition_size_default : float

val dissector_partition_size : float option Stdlib.ref

val ddissector : bool Stdlib.ref

val ddissector_sizes : bool Stdlib.ref

val ddissector_verbose : bool Stdlib.ref

val ddissector_partitions : bool Stdlib.ref

val ddissector_inputs : string option Stdlib.ref

val prepend_directory : string -> string

Module Clflags

Module `Clflags`