Module `Regalloc_split_utils`

val split_live_ranges : bool Stdlib.Lazy.t

val split_more_destruction_points : bool Stdlib.Lazy.t

val split_around_loops : bool Stdlib.Lazy.t

val indent : unit -> unit

val dedent : unit -> unit

val log : 
  ?no_eol:unit ->
  ('a, Stdlib.Format.formatter, unit) Stdlib.format ->
  'a

val log_dominance_frontier : Cfg.t -> Cfg_dominators.t -> unit

val log_dominator_tree : Cfg_dominators.dominator_tree -> unit

val log_dominator_forest : Cfg_dominators.dominator_tree list -> unit

val log_substitution : Regalloc_substitution.t -> unit

val log_substitutions : Regalloc_substitution.map -> unit

val log_stack_subst : Regalloc_substitution.t -> unit

val live_at_block_beginning : Cfg_with_infos.t -> Label.t -> Reg.Set.t

type destruction_kind =

val equal_destruction_kind : 
  Regalloc_split_utils.destruction_kind ->
  Regalloc_split_utils.destruction_kind ->
  bool

val destruction_point_at_end : 
  Cfg.basic_block ->
  Regalloc_split_utils.destruction_kind option

Module Regalloc_split_utils