package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.09.0

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.09.0.tar.gz
sha256=a7bc044167e7d09f8e3ea84b88ec9d81392908ecdac861d3d5015e5f0fc496a3
md5=76ac39570fc88b16fda2a94db7cd5cf3

doc/ocamloptcomp/Compute_ranges/Make/Range/index.html

Module Make.Range

type t

The type of ranges. Each range is a list of subranges, so a possibly-discontiguous region of code.

val info : t -> S.Range_info.t

The caller's information about the range.

val estimate_lowest_address : t -> (Linearize.label * int) option

Estimate the pair of (start_pos, start_pos_offset) (c.f. Subrange, above) found amongst the given ranges that yields the lowest machine address. The assumption is made that no start_pos_offset or end_pos_offset will cause the corresponding extremity of a range to cross an extremity of any other range. (This should be satisfied in typical uses because the offsets are typically zero or one.) If there are no ranges supplied then None is returned.

val fold : t -> init:'a -> f:('a -> Subrange.t -> 'a) -> 'a

Fold over all subranges within the given range.