package ocaml-solo5-cross-aarch64

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

v1.0.1.tar.gz
md5=11ce90fb59f3ddf2ca04d33ce971e247
sha512=a7fbd333154e8892f621000b7c852f6a3dce1aa66d6f2a16e9543cfdb479003f90eb9c02ae5e925edbe6cb4d83ce45e726c55754dfbaee7dc2a51029fb921c25

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