Module Clflags

module Clflags: sig .. end

---

module Int_arg_helper: sig .. end

module Float_arg_helper: sig .. end

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

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 fast : 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 all_ccopts : string list ref

val classic : bool ref

val nopervasives : bool ref

val open_modules : string list ref

val preprocessor : string option ref

val all_ppx : string list ref

val annotations : bool ref

val binary_annotations : bool ref

val use_threads : bool ref

val use_vmthreads : 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 use_prims : string ref

val use_runtime : string 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 gprofile : 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 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_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 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 force_slash : bool ref

val keep_docs : bool ref

val keep_locs : bool ref

val unsafe_string : bool ref

val opaque : bool ref

val print_timings : bool 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 all_passes : string list 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 ref