package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.10.1

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.1.tar.gz
sha256=d1dd3d39dc2d06aca694e8a97983d25d5730c19ad8ceff83c3072fd05adaf28e

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

Module Make.Subrange

type t

The type of subranges. Each subrange is a contiguous region of code delimited by labels.

val info : t -> S.Subrange_info.t

The caller's information about the subrange.

val start_pos : t -> Linear.label

The label at the start of the range.

val start_pos_offset : t -> int

How many bytes from the label at start_pos the range actually commences. If this value is zero, then the first byte of the range has the address of the label given by start_pos.

val end_pos : t -> Linear.label

The label at the end of the range.

val end_pos_offset : t -> int

Like start_pos_offset, but analogously for the end of the range. (The sense is not inverted; a positive end_pos_offset means the range ends at an address higher than the address of the end_pos, just like a positive start_pos_offset means the range starts at an address higher than the start_pos.