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 =
  1. | For_assignment of {
    1. hardware_reg : Hardware_register.t;
    }
  2. | For_eviction of {
    1. hardware_reg : Hardware_register.t;
    2. evicted_regs : Hardware_register.assigned list;
    }
  3. | Split_or_spill
module Hardware_registers : sig ... end