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 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_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 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 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 set_save_ir_after : Compiler_pass.t -> bool -> unit

val should_save_ir_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 create_usage_msg : string -> string

val print_arguments : string -> unit

val reset_arguments : unit -> unit