Module `Regalloc_gi_state`

type t

val make : 
  initial_temporaries:int ->
  stack_slots:Regalloc_stack_slots.t ->
  affinity:Regalloc_affinity.t ->
  Regalloc_gi_state.t

val add_assignment : 
  Regalloc_gi_state.t ->
  Reg.t ->
  to_:Regalloc_gi_utils.Hardware_register.location ->
  unit

val remove_assignment : Regalloc_gi_state.t -> Reg.t -> unit

val find_assignment : 
  Regalloc_gi_state.t ->
  Reg.t ->
  Regalloc_gi_utils.Hardware_register.location option

val clear_assignments : Regalloc_gi_state.t -> unit

val add_introduced_temporaries_list : Regalloc_gi_state.t -> Reg.t list -> unit

val mem_introduced_temporaries : Regalloc_gi_state.t -> Reg.t -> bool

val iter_introduced_temporaries : 
  Regalloc_gi_state.t ->
  f:(Reg.t -> unit) ->
  unit

val initial_temporary_count : Regalloc_gi_state.t -> int

val introduced_temporary_count : Regalloc_gi_state.t -> int

val stack_slots : Regalloc_gi_state.t -> Regalloc_stack_slots.t

val affinity : Regalloc_gi_state.t -> Regalloc_affinity.t

Module Regalloc_gi_state