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. threshold : float;
}
module Default : sig ... end
val small_function_size : Clflags.Int_arg_helper.parsed Stdlib.ref
val large_function_size : Clflags.Int_arg_helper.parsed Stdlib.ref
val speculative_inlining_only_if_arguments_useful : bool Stdlib.ref
val report_bin : bool Stdlib.ref