Clflags(3)

NAME
Clflags - Command line flags

Module
Module Clflags

Documentation

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 Pervasives.ref

val ccobjs : string list Pervasives.ref

val dllibs : string list Pervasives.ref

val compile_only : bool Pervasives.ref

val output_name : string option Pervasives.ref

val include_dirs : string list Pervasives.ref

val no_std_include : bool Pervasives.ref

val print_types : bool Pervasives.ref

val make_archive : bool Pervasives.ref

val debug : bool Pervasives.ref

val fast : bool Pervasives.ref

val use_linscan : bool Pervasives.ref

val link_everything : bool Pervasives.ref

val custom_runtime : bool Pervasives.ref

val no_check_prims : bool Pervasives.ref

val bytecode_compatible_32 : bool Pervasives.ref

val output_c_object : bool Pervasives.ref

val output_complete_object : bool Pervasives.ref

val all_ccopts : string list Pervasives.ref

val classic : bool Pervasives.ref

val nopervasives : bool Pervasives.ref

val open_modules : string list Pervasives.ref

val preprocessor : string option Pervasives.ref

val all_ppx : string list Pervasives.ref

val annotations : bool Pervasives.ref

val binary_annotations : bool Pervasives.ref

val use_threads : bool Pervasives.ref

val use_vmthreads : bool Pervasives.ref

val noassert : bool Pervasives.ref

val verbose : bool Pervasives.ref

val noprompt : bool Pervasives.ref

val nopromptcont : bool Pervasives.ref

val init_file : string option Pervasives.ref

val noinit : bool Pervasives.ref

val noversion : bool Pervasives.ref

val use_prims : string Pervasives.ref

val use_runtime : string Pervasives.ref

val principal : bool Pervasives.ref

val real_paths : bool Pervasives.ref

val recursive_types : bool Pervasives.ref

val strict_sequence : bool Pervasives.ref

val strict_formats : bool Pervasives.ref

val applicative_functors : bool Pervasives.ref

val make_runtime : bool Pervasives.ref

val gprofile : bool Pervasives.ref

val c_compiler : string option Pervasives.ref

val no_auto_link : bool Pervasives.ref

val dllpaths : string list Pervasives.ref

val make_package : bool Pervasives.ref

val for_package : string option Pervasives.ref

val error_size : int Pervasives.ref

val float_const_prop : bool Pervasives.ref

val transparent_modules : bool Pervasives.ref

val unique_ids : bool Pervasives.ref

val dump_source : bool Pervasives.ref

val dump_parsetree : bool Pervasives.ref

val dump_typedtree : bool Pervasives.ref

val dump_rawlambda : bool Pervasives.ref

val dump_lambda : bool Pervasives.ref

val dump_rawclambda : bool Pervasives.ref

val dump_clambda : bool Pervasives.ref

val dump_rawflambda : bool Pervasives.ref

val dump_flambda : bool Pervasives.ref

val dump_flambda_let : int option Pervasives.ref

val dump_instr : bool Pervasives.ref

val keep_asm_file : bool Pervasives.ref

val optimize_for_speed : bool Pervasives.ref

val dump_cmm : bool Pervasives.ref

val dump_selection : bool Pervasives.ref

val dump_cse : bool Pervasives.ref

val dump_live : bool Pervasives.ref

val dump_avail : bool Pervasives.ref

val debug_runavail : bool Pervasives.ref

val dump_spill : bool Pervasives.ref

val dump_split : bool Pervasives.ref

val dump_interf : bool Pervasives.ref

val dump_prefer : bool Pervasives.ref

val dump_regalloc : bool Pervasives.ref

val dump_reload : bool Pervasives.ref

val dump_scheduling : bool Pervasives.ref

val dump_linear : bool Pervasives.ref

val dump_interval : bool Pervasives.ref

val keep_startup_file : bool Pervasives.ref

val dump_combine : bool Pervasives.ref

val native_code : bool Pervasives.ref

val default_inline_threshold : float

val inline_threshold : Float_arg_helper.parsed Pervasives.ref

val inlining_report : bool Pervasives.ref

val simplify_rounds : int option Pervasives.ref

val default_simplify_rounds : int Pervasives.ref

val rounds : unit -> int

val default_inline_max_unroll : int

val inline_max_unroll : Int_arg_helper.parsed Pervasives.ref

val default_inline_toplevel_threshold : int

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

val inline_alloc_cost : Int_arg_helper.parsed Pervasives.ref

val inline_prim_cost : Int_arg_helper.parsed Pervasives.ref

val inline_branch_cost : Int_arg_helper.parsed Pervasives.ref

val inline_indirect_cost : Int_arg_helper.parsed Pervasives.ref

val inline_lifting_benefit : Int_arg_helper.parsed Pervasives.ref

val default_inline_branch_factor : float

val inline_branch_factor : Float_arg_helper.parsed Pervasives.ref

val dont_write_files : bool Pervasives.ref

val std_include_flag : string -> string

val std_include_dir : unit -> string list

val shared : bool Pervasives.ref

val dlcode : bool Pervasives.ref

val pic_code : bool Pervasives.ref

val runtime_variant : string Pervasives.ref

val force_slash : bool Pervasives.ref

val keep_docs : bool Pervasives.ref

val keep_locs : bool Pervasives.ref

val unsafe_string : bool Pervasives.ref

val opaque : bool Pervasives.ref

val profile_columns : Profile.column list Pervasives.ref

val flambda_invariant_checks : bool Pervasives.ref

val unbox_closures : bool Pervasives.ref

val unbox_closures_factor : int Pervasives.ref

val default_unbox_closures_factor : int

val unbox_free_vars_of_closures : bool Pervasives.ref

val unbox_specialised_args : bool Pervasives.ref

val clambda_checks : bool Pervasives.ref

val default_inline_max_depth : int

val inline_max_depth : Int_arg_helper.parsed Pervasives.ref

val remove_unused_arguments : bool Pervasives.ref

val dump_flambda_verbose : bool Pervasives.ref

val classic_inlining : bool Pervasives.ref

val afl_instrument : bool Pervasives.ref

val afl_inst_ratio : int Pervasives.ref

val all_passes : string list Pervasives.ref

val dumped_pass : string -> bool

val set_dumped_pass : string -> bool -> unit

val parse_color_setting : string -> Misc.Color.setting option

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

val unboxed_types : bool Pervasives.ref

val arg_spec : (string * Arg.spec * string) list Pervasives.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