package ocaml-solo5

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding Solo5 backend

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.3.4.tar.gz
md5=186c4e0b2e2602b8a5cefbc731bcc6ba
sha512=b64b9f6b7371468b415c30eb7d13a06ae9c81eaf77f73494635919fc0134d9c3bb0aa177b78ab35d23bfa7fc045602a15f163e446c8fa67afe6e85f0ccbe0031

doc/compiler-libs.optcomp/Stackframegen/index.html

Module Stackframegen

type analysis_result = {
  1. contains_nontail_calls : bool;
    (*

    Whether the function contains non-tail calls to OCaml functions. Calls to C functions don't count.

    *)
  2. frame_required : bool;
    (*

    Whether the function must allocate a stack frame on entry, for one of the following reasons:

    • some local variables are stack-allocated
    • the function needs to save its return address on the stack, e.g.: -- it contains a non-tail call to an OCaml function -- it calls a C function -- it contains an allocation or a poll point -- it performs an array bound check (on some ports)
    *)
  3. extra_stack_used : int;
    (*

    Amount of stack space used, in bytes, in addition to the initial stack frame. This counts trap handlers and "outgoing" stack slots used for parameter passing.

    *)
}
class virtual stackframe_generic : object ... end