Module `Regalloc_ls_state`

module DLL = Oxcaml_utils.Doubly_linked_list

type t

val for_fatal : 
  Regalloc_ls_state.t ->
  Regalloc_ls_utils.Interval.t DLL.t
  * Regalloc_ls_utils.ClassIntervals.t Reg_class.Tbl.t

val make : 
  stack_slots:Regalloc_stack_slots.t ->
  affinity:Regalloc_affinity.t ->
  Regalloc_ls_state.t

val update_intervals : 
  Regalloc_ls_state.t ->
  Regalloc_ls_utils.Interval.t Reg.Tbl.t ->
  unit

val iter_intervals : 
  Regalloc_ls_state.t ->
  f:(Regalloc_ls_utils.Interval.t -> unit) ->
  unit

val fold_intervals : 
  Regalloc_ls_state.t ->
  f:('a -> Regalloc_ls_utils.Interval.t -> 'a) ->
  init:'a ->
  'a

val release_expired_intervals : Regalloc_ls_state.t -> pos:int -> unit

val active : 
  Regalloc_ls_state.t ->
  reg_class:Reg_class.t ->
  Regalloc_ls_utils.ClassIntervals.t

val active_classes : 
  Regalloc_ls_state.t ->
  Regalloc_ls_utils.ClassIntervals.t Reg_class.Tbl.t

val stack_slots : Regalloc_ls_state.t -> Regalloc_stack_slots.t

val affinity : Regalloc_ls_state.t -> Regalloc_affinity.t

val set_ls_order : 
  Regalloc_ls_state.t ->
  instruction_id:InstructionId.t ->
  ls_order:int ->
  unit

val get_ls_order : Regalloc_ls_state.t -> instruction_id:InstructionId.t -> int

val ls_order_mapping : Regalloc_ls_state.t -> InstructionId.t -> int

val invariant_intervals : Regalloc_ls_state.t -> Cfg_with_infos.t -> unit

val invariant_active : Regalloc_ls_state.t -> unit

Module Regalloc_ls_state