package ocaml-base-compiler

  1. Overview
  2. Docs
Package contains no libraries
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 = {
  1. inline_call_cost : int option;
  2. inline_alloc_cost : int option;
  3. inline_prim_cost : int option;
  4. inline_branch_cost : int option;
  5. inline_indirect_cost : int option;
  6. inline_lifting_benefit : int option;
  7. inline_branch_factor : float option;
  8. inline_max_depth : int option;
  9. inline_max_unroll : int option;
  10. inline_threshold : float option;
  11. 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 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 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 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_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 keep_startup_file : bool Pervasives.ref
val dump_combine : bool Pervasives.ref
val native_code : bool Pervasives.ref
val default_inline_threshold : float
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 print_timings : bool 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 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 unboxed_types : bool Pervasives.ref
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct