Clflags

# Module Clflags

    module Clflags: sig .. end

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.

    type inlining_arguments = {

`` | `inline_call_cost : `int option`;`
`` | `inline_alloc_cost : `int option`;`
`` | `inline_prim_cost : `int option`;`
`` | `inline_branch_cost : `int option`;`
`` | `inline_indirect_cost : `int option`;`
`` | `inline_lifting_benefit : `int option`;`
`` | `inline_branch_factor : `float option`;`
`` | `inline_max_depth : `int option`;`
`` | `inline_max_unroll : `int option`;`
`` | `inline_threshold : `float option`;`
`` | `inline_toplevel_threshold : `int option`;`

`}`

    val classic_arguments : inlining_arguments

    val o1_arguments : inlining_arguments

    val o2_arguments : inlining_arguments

    val o3_arguments : inlining_arguments

    val use_inlining_arguments_set : ?round:int -> inlining_arguments -> unit

Set all the inlining arguments for a round. The default is set if no round is provided.

    val objfiles : string list ref

    val ccobjs : string list ref

    val dllibs : string list ref

    val compile_only : bool ref

    val output_name : string option ref

    val include_dirs : string list ref

    val no_std_include : bool ref

    val print_types : bool ref

    val make_archive : bool ref

    val debug : bool ref

    val debug_full : bool ref

    val unsafe : bool ref

    val use_linscan : bool ref

    val link_everything : bool ref

    val custom_runtime : bool ref

    val no_check_prims : bool ref

    val bytecode_compatible_32 : 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 open_modules : string list ref

    val preprocessor : string option ref

    val all_ppx : string list ref

    val absname : bool ref

    val annotations : bool ref

    val binary_annotations : bool ref

    val use_threads : bool ref

    val noassert : bool ref

    val verbose : 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 no_auto_link : bool 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 dump_source : bool ref

    val dump_parsetree : bool ref

    val dump_typedtree : bool ref

    val dump_rawlambda : bool ref

    val dump_lambda : 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_selection : bool ref

    val dump_cse : bool ref

    val dump_live : bool ref

    val dump_avail : bool ref

    val debug_runavail : bool ref

    val dump_spill : bool ref

    val dump_split : bool ref

    val dump_interf : bool ref

    val dump_prefer : bool ref

    val dump_regalloc : bool ref

    val dump_reload : bool ref

    val dump_scheduling : bool ref

    val dump_linear : bool ref

    val dump_interval : bool ref

    val keep_startup_file : bool ref

    val dump_combine : bool ref

    val native_code : 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 with_runtime : bool ref

    val force_slash : bool ref

    val keep_docs : bool ref

    val keep_locs : bool ref

    val unsafe_string : bool ref

    val opaque : bool ref

    val profile_columns : Profile.column list ref

    val flambda_invariant_checks : bool 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 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 classic_inlining : bool ref

    val afl_instrument : bool ref

    val afl_inst_ratio : int ref

    val function_sections : 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

    type 'a env_reader = {

`` | `parse : `string -> 'a option`;`
`` | `print : `'a -> string`;`
`` | `usage : `string`;`
`` | `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 insn_sched : bool ref

    val insn_sched_default : bool

    module Compiler_pass: sig .. end

    val stop_after : Compiler_pass.t option ref

    val should_stop_after : Compiler_pass.t -> bool

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

    val add_arguments : string -> (string * Arg.spec * string) list -> unit

    val parse_arguments : Arg.anon_fun -> string -> unit

    val print_arguments : string -> unit

    val reset_arguments : unit -> unit