package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.09.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

Sources

4.09.0.tar.gz

sha256=a7bc044167e7d09f8e3ea84b88ec9d81392908ecdac861d3d5015e5f0fc496a3

md5=76ac39570fc88b16fda2a94db7cd5cf3

doc/ocamloptcomp/Reg_availability_set/index.html

Module `Reg_availability_set`

Register availability sets.

type t =

| Ok of Reg_with_debug_info.Set.t
| 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.