jon.recoil.org

Module Regalloc_gi_utils.Hardware_register

type location = private {
  1. reg_class : Reg_class.t;
  2. reg_index_in_class : int;
}
val make_location : reg_class:Reg_class.t -> reg_index_in_class:int -> Regalloc_gi_utils.Hardware_register.location
type assigned = {
  1. pseudo_reg : Reg.t;
  2. interval : Regalloc_gi_utils.Interval.t;
  3. evictable : bool;
}
val remove_evictable : Regalloc_gi_utils.Hardware_register.t -> Reg.t -> unit