package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.10.2

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (70)

Authors

  1. Xavier Leroy

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.10.2.tar.gz
sha256=7aa26e0d70f36f0338df92cf5aaeb2704f3443bfe910a3d02a5dca9162f1d866

doc/ocamloptcomp/Reg_availability_set/index.html

Module Reg_availability_set

Register availability sets.

type t =
  1. | Ok of Reg_with_debug_info.Set.t
  2. | Unreachable
val inter : t -> t -> t

Intersection of availabilities.

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 print : print_reg:(Format.formatter -> Reg.t -> unit) -> Format.formatter -> t -> unit

For debugging purposes only.