package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.09.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.09.1.tar.gz
sha256=3e3146e0c876d14bdd574cb543e782feb2b07a7cabd054a8f322ef40de61943a

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 -> Linearize.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 -> Linearize.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.