jon.recoil.org

Module Flambda2.Inlining

type inlining_arguments = private {
  1. max_depth : int;
  2. max_rec_depth : int;
  3. call_cost : float;
  4. alloc_cost : float;
  5. prim_cost : float;
  6. branch_cost : float;
  7. indirect_call_cost : float;
  8. poly_compare_cost : float;
  9. small_function_size : int;
  10. large_function_size : int;
  11. small_functor_size : int;
  12. large_functor_size : int;
  13. threshold : float;
}
module Default : sig ... end
val oclassic_arguments : inlining_arguments
val o2_arguments : inlining_arguments
val o3_arguments : inlining_arguments
val indirect_call_cost : Clflags.Float_arg_helper.parsed ref
val poly_compare_cost : Clflags.Float_arg_helper.parsed ref
val small_function_size : Clflags.Int_arg_helper.parsed ref
val large_function_size : Clflags.Int_arg_helper.parsed ref
val small_functor_size : Clflags.Int_arg_helper.parsed ref
val large_functor_size : Clflags.Int_arg_helper.parsed ref
val speculative_inlining_only_if_arguments_useful : bool ref
val speculative_inlining_track_lifted_constants : bool ref
val report_bin : bool ref