jon.recoil.org

Module Flambda2_ui.Flambda_features

val flambda2_is_enabled : unit -> bool
val debug_flambda2 : unit -> bool
val debug_reaper : string -> bool
type 'a mode =
  1. | Normal : [ `Normal ] mode
  2. | Classic : [ `Classic ] mode
type any_mode =
  1. | Mode : _ mode -> any_mode
val classic_mode : unit -> bool
val mode : unit -> any_mode
val join_points : unit -> bool
val unbox_along_intra_function_control_flow : unit -> bool
val backend_cse_at_toplevel : unit -> bool
val cse_depth : unit -> int
val join_depth : unit -> int
val use_n_way_join : unit -> bool
type join_algorithm = Oxcaml_flags.join_algorithm =
  1. | Binary
  2. | N_way
  3. | Checked
val join_algorithm : unit -> join_algorithm
val enable_reaper : unit -> bool
type reaper_preserve_direct_calls = Oxcaml_flags.reaper_preserve_direct_calls =
  1. | Never
  2. | Always
  3. | Zero_alloc
  4. | Auto
val reaper_preserve_direct_calls : unit -> reaper_preserve_direct_calls
val reaper_local_fields : unit -> bool
val reaper_unbox : unit -> bool
val reaper_max_unbox_size : unit -> int
val reaper_change_calling_conventions : unit -> bool
val kind_checks : unit -> bool
val flat_float_array : unit -> bool
val function_result_types : is_a_functor:bool -> bool
val debug : unit -> bool
val opaque : unit -> bool
val float_const_prop : unit -> bool
val optimize_for_speed : unit -> bool
val inlining_report : unit -> bool
val inlining_report_bin : unit -> bool
val colour : unit -> Misc.Color.setting option
val unicode : unit -> bool
val check_invariants : unit -> bool

Check all invariants (light and heavy).

val check_light_invariants : unit -> bool
type dump_target = Oxcaml_flags.Flambda2.Dump.target =
  1. | Nowhere
  2. | Main_dump_stream
  3. | File of Misc.filepath
val dump_rawflambda : unit -> bool
val dump_flambda : unit -> bool
val dump_rawfexpr : unit -> dump_target
val dump_fexpr_annot : unit -> bool
val dump_fexpr_annot_after : unit -> string list
type pass = Oxcaml_flags.Flambda2.Dump.pass =
  1. | Last_pass
  2. | This_pass of string
val dump_fexpr : pass -> dump_target
val dump_slot_offsets : unit -> bool
val dump_flow : unit -> bool
val dump_simplify : unit -> bool
val dump_reaper : unit -> bool
val freshen_when_printing : unit -> bool
val erase_in_types_depth_variables : unit -> bool
module Inlining : sig ... end
module Debug : sig ... end
module Expert : sig ... end
val stack_allocation_enabled : unit -> bool