Module Regalloc_gi_utils.Hardware_register
val make_location :
reg_class:Reg_class.t ->
reg_index_in_class:int ->
Regalloc_gi_utils.Hardware_register.locationval print_location :
Stdlib.Format.formatter ->
Regalloc_gi_utils.Hardware_register.location ->
unitval reg_location_of_location :
Regalloc_gi_utils.Hardware_register.location ->
Reg.locationval print_assigned :
Stdlib.Format.formatter ->
Regalloc_gi_utils.Hardware_register.assigned ->
unittype t = {location : Regalloc_gi_utils.Hardware_register.location;interval : Regalloc_gi_utils.Interval.t;assigned : Regalloc_gi_utils.Hardware_register.assigned Reg.Tbl.t;
}val add_non_evictable :
Regalloc_gi_utils.Hardware_register.t ->
Reg.t ->
Regalloc_gi_utils.Interval.t ->
unitval add_evictable :
Regalloc_gi_utils.Hardware_register.t ->
Reg.t ->
Regalloc_gi_utils.Interval.t ->
unitval remove_evictable : Regalloc_gi_utils.Hardware_register.t -> Reg.t -> unit