package ocaml-solo5

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.3.3.tar.gz
md5=47876167068345542f49279e8fd28896
sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb

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