jon.recoil.org

Module Regalloc_ls_utils

module DLL = Oxcaml_utils.Doubly_linked_list
val log : ?no_eol:unit -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val equal_list_dll : ('a -> 'a -> bool) -> 'a list -> 'a DLL.t -> bool
val indent : unit -> unit
val dedent : unit -> unit
val reset_indentation : unit -> unit
val log_cfg_with_infos : Cfg_with_infos.t -> unit
val log_body_and_terminator_with_ls_order : (InstructionId.t -> int) -> Cfg.basic_instruction_list -> Cfg.terminator Cfg.instruction -> Regalloc_utils.liveness -> unit

Versions that display ls_order instead of instruction IDs

val log_cfg_with_infos_with_ls_order : (InstructionId.t -> int) -> Cfg_with_infos.t -> unit
val iter_instructions_dfs : 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
module ClassIntervals : sig ... end
val log_interval : kind:string -> Regalloc_ls_utils.Interval.t -> unit
val log_interval_dll : kind:string -> Regalloc_ls_utils.Interval.t DLL.t -> unit