Module `Reg_availability_set`

type t =

| Ok of Reg_with_debug_info.Set_distinguishing_names_and_locations.t
| Unreachable

See comments in the .ml file about these functions.

val of_list : Reg_with_debug_info.t list -> Reg_availability_set.t

val union : 
  Reg_availability_set.t ->
  Reg_availability_set.t ->
  Reg_availability_set.t

val inter : 
  Reg_availability_set.t ->
  Reg_availability_set.t ->
  Reg_availability_set.t

val inter_removing_conflicting_debug_info : 
  Reg_availability_set.t ->
  Reg_availability_set.t ->
  Reg_availability_set.t

val diff : 
  Reg_availability_set.t ->
  Reg_availability_set.t ->
  Reg_availability_set.t

val fold : 
  (Reg_with_debug_info.t -> 'a -> 'a) ->
  Reg_availability_set.t ->
  'a ->
  'a

This returns the initial value in the Unreachable case

val canonicalise : Reg_availability_set.t -> Reg_availability_set.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 : Reg_availability_set.t -> Reg_availability_set.t -> bool

val subset : Reg_availability_set.t -> Reg_availability_set.t -> bool

val print : 
  print_reg:(Stdlib.Format.formatter -> Reg.t -> unit) ->
  Stdlib.Format.formatter ->
  Reg_availability_set.t ->
  unit

For debugging purposes only.

Module Reg_availability_set

Module `Reg_availability_set`