Module Regalloc_irc_utils
val log : ?no_eol:unit -> ('a, Format.formatter, unit) format -> 'aval log_body_and_terminator :
Cfg.basic_instruction_list ->
Cfg.terminator Cfg.instruction ->
Regalloc_utils.liveness ->
unitval log_cfg_with_infos : Cfg_with_infos.t -> unitmodule RegWorkList : sig ... endmodule InstrWorkList : sig ... endmodule Color : sig ... endmodule Edge = Regalloc_interf_graph.Edgemodule EdgeSet = Regalloc_interf_graph.EdgeSetmodule Degree = Regalloc_interf_graph.Degreeval is_move_instruction : Regalloc_utils.Instruction.t -> boolval all_precolored_regs : unit -> Reg.Set.tval k : Reg.t -> intmodule Spilling_heuristics : sig ... endmodule Interf_threshold : sig ... end