Module Regalloc_gi_state

type t
val make : initial_temporaries:int -> stack_slots:Regalloc_stack_slots.t -> affinity:Regalloc_affinity.t -> t
val add_assignment : t -> Reg.t -> to_:Regalloc_gi_utils.Hardware_register.location -> unit
val remove_assignment : t -> Reg.t -> unit
val find_assignment : t -> Reg.t -> Regalloc_gi_utils.Hardware_register.location option
val clear_assignments : t -> unit
val add_introduced_temporaries_list : t -> Reg.t list -> unit
val mem_introduced_temporaries : t -> Reg.t -> bool
val iter_introduced_temporaries : t -> f:(Reg.t -> unit) -> unit
val initial_temporary_count : t -> int
val introduced_temporary_count : t -> int
val stack_slots : t -> Regalloc_stack_slots.t
val affinity : t -> Regalloc_affinity.t