package ocaml-solo5-cross-aarch64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install

dune-project

Dependency

github.com Edit opam file Versions (10)

Authors

M

Martin Lucina <martin@lucina.net>

Maintainers

M

Martin Lucina <martin@lucina.net>

Sources

v1.3.2.tar.gz

sha512=3785d4111ac06c1c701c02d11d522388249493786d0c351a50329bf481cae8df844615d8ca42626e98e72f4375d15622298339d3012e927a35c741ea3aec28f4

doc/compiler-libs.optcomp/Backend_intf/module-type-S/index.html

Module type `Backend_intf.S`

val symbol_for_global' : Ident.t -> Symbol.t

Compute the symbol for the given identifier.

val really_import_approx : Simple_value_approx.t -> Simple_value_approx.t

If the given approximation is that of a symbol (Value_symbol) or an external (Value_extern), attempt to find a more informative approximation from a previously-written compilation artifact. In the native code backend, for example, this might consult a .cmx file.

val import_symbol : Symbol.t -> Simple_value_approx.t

val closure_symbol : Closure_id.t -> Symbol.t

val size_int : int

The natural size of an integer on the target architecture (cf. Arch.size_int in the native code backend).

val big_endian : bool

true iff the target architecture is big endian.

val max_sensible_number_of_arguments : int

The maximum number of arguments that is reasonable for a function to have. This should be fewer than the threshold that causes non-self tail call optimization to be inhibited (in particular, if it would entail passing arguments on the stack; see Selectgen).