Module `Available_ranges_vars.Key`

type t = Reg_with_debug_info.t

type key = t

module Raw_set : Set.S with type elt = t

module Set : sig ... end

module Map : Map.S with type key = t

val print : Format.formatter -> t -> unit

Print a representation (typically sexp) of the given key to the given formatter.

val all_parents : t -> t list

In some situations, for performance reasons, an "available" set may only contain a subset of all keys that need to be tracked. For example, when using a notion of availability that describes which lexical block a given instruction lies in, using a standard notion of nested lexical blocks, the innermost lexical block uniquely determines the chain of its parents. (This is exploited in Lexical_block_ranges.) The all_parents function must return, given an "available" key, all those other keys that are also available and uniquely determined by key.

Module Available_ranges_vars.Key

Module `Available_ranges_vars.Key`