jon.recoil.org

Module Reg_availability_set

Register availability sets.

See comments in the .ml file about these functions.

val of_list : Reg_with_debug_info.t list -> t
val union : t -> t -> t
val inter : t -> t -> t
val inter_removing_conflicting_debug_info : t -> t -> t
val diff : t -> t -> t
val fold : (Reg_with_debug_info.t -> 'a -> 'a) -> t -> 'a -> 'a

This returns the initial value in the Unreachable case

val canonicalise : t -> t

Return a subset of the given availability set which contains no registers that are not associated with debug info (and holding values of non-persistent identifiers); and where no two registers share the same location.

val equal : t -> t -> bool
val subset : t -> t -> bool
val print : print_reg:(Format.formatter -> Reg.t -> unit) -> Format.formatter -> t -> unit

For debugging purposes only.