package ocaml-base-compiler
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Official 4.04.2 release
Install
Dune Dependency
Authors
Maintainers
Sources
4.04.2.tar.gz
sha256=6277a477956fc7b76f28af9941dce2984d0df809a0361093eb2e28234bf9c8ed
md5=5ce661a2d8b760dc77c2facf46ccddd1
doc/ocamloptcomp/Cmm/index.html
Module Cmm
type machtype = machtype_component array
val typ_void : machtype
val typ_val : machtype
val typ_addr : machtype
val typ_int : machtype
val typ_float : machtype
val size_component : machtype_component -> int
val lub_component :
machtype_component ->
machtype_component ->
machtype_component
Least upper bound of two machtype_component
s.
val ge_component : machtype_component -> machtype_component -> bool
Returns true
iff the first supplied machtype_component
is greater than or equal to the second under the relation used by lub_component
.
val size_machtype : machtype -> int
val negate_comparison : comparison -> comparison
val swap_comparison : comparison -> comparison
val new_label : unit -> label
and operation =
| Capply of machtype * Debuginfo.t
| Cextcall of string * machtype * bool * Debuginfo.t * label option
| Cload of memory_chunk
| Calloc of Debuginfo.t
| Cstore of memory_chunk * Lambda.initialization_or_assignment
| Caddi
| Csubi
| Cmuli
| Cmulhi
| Cdivi
| Cmodi
| Cand
| Cor
| Cxor
| Clsl
| Clsr
| Casr
| Ccmpi of comparison
| Caddv
| Cadda
| Ccmpa of comparison
| Cnegf
| Cabsf
| Caddf
| Csubf
| Cmulf
| Cdivf
| Cfloatofint
| Cintoffloat
| Ccmpf of comparison
| Craise of raise_kind * Debuginfo.t
| Ccheckbound of Debuginfo.t
and expression =
| Cconst_int of int
| Cconst_natint of nativeint
| Cconst_float of float
| Cconst_symbol of string
| Cconst_pointer of int
| Cconst_natpointer of nativeint
| Cblockheader of nativeint * Debuginfo.t
| Cvar of Ident.t
| Clet of Ident.t * expression * expression
| Cassign of Ident.t * expression
| Ctuple of expression list
| Cop of operation * expression list
| Csequence of expression * expression
| Cifthenelse of expression * expression * expression
| Cswitch of expression * int array * expression array
| Cloop of expression
| Ccatch of int * Ident.t list * expression * expression
| Cexit of int * expression list
| Ctrywith of expression * Ident.t * expression
type fundecl = {
fun_name : string;
fun_args : (Ident.t * machtype) list;
fun_body : expression;
fun_fast : bool;
fun_dbg : Debuginfo.t;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>