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

Module Regalloc_gi_state