Module `Regalloc_substitution`

type t = Reg.t Reg.Tbl.t

val apply_reg : Regalloc_substitution.t -> Reg.t -> Reg.t

val apply_array_in_place : Regalloc_substitution.t -> Reg.t array -> unit

val apply_array : Regalloc_substitution.t -> Reg.t array -> Reg.t array

val apply_set : Regalloc_substitution.t -> Reg.Set.t -> Reg.Set.t

val apply_block_in_place : Regalloc_substitution.t -> Cfg.basic_block -> unit

type map = Regalloc_substitution.t Label.Tbl.t

val for_label : Regalloc_substitution.map -> Label.t -> Regalloc_substitution.t

val apply_cfg_in_place : Regalloc_substitution.map -> Cfg.t -> unit

Module Regalloc_substitution