Module `Regalloc_gi_utils`

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

val indent : unit -> unit

val dedent : unit -> unit

val reset_indentation : unit -> unit

val log_body_and_terminator : 
  Cfg.basic_instruction_list ->
  Cfg.terminator Cfg.instruction ->
  Regalloc_utils.liveness ->
  unit

val log_cfg_with_infos : Cfg_with_infos.t -> unit

module Priority_heuristics : sig ... end

module Selection_heuristics : sig ... end

module Spilling_heuristics : sig ... end

val iter_instructions_layout : 
  Cfg_with_layout.t ->
  instruction:(trap_handler:bool -> Cfg.basic Cfg.instruction -> unit) ->
  terminator:(trap_handler:bool -> Cfg.terminator Cfg.instruction -> unit) ->
  unit

module Range : sig ... end

module Interval : sig ... end

val build_intervals : Cfg_with_infos.t -> Interval.t Reg.Tbl.t

module Hardware_register : sig ... end

type available =

| For_assignment of {
1. hardware_reg : Hardware_register.t;
}
| For_eviction of {
1. hardware_reg : Hardware_register.t;
2. evicted_regs : Hardware_register.assigned list;
}
| Split_or_spill

module Hardware_registers : sig ... end

Module Regalloc_gi_utils

Module `Regalloc_gi_utils`