package ocaml-unikraft-arm64

  1. Overview
  2. Docs
OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.2.0.tar.gz
sha256=ca18a45ef86791d5ffa18436945fbec850b6f3dd68a6a62753b4cb1b6999b19a

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