Module `Cmm`

type machtype_component =

| Val
| Addr
| Int
| Float

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_components.

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

type comparison =

| Ceq
| Cne
| Clt
| Cle
| Cgt
| Cge

val negate_comparison : comparison -> comparison

val swap_comparison : comparison -> comparison

type label = int

val new_label : unit -> label

type raise_kind =

| Raise_withtrace
| Raise_notrace

type memory_chunk =

| Byte_unsigned
| Byte_signed
| Sixteen_unsigned
| Sixteen_signed
| Thirtytwo_unsigned
| Thirtytwo_signed
| Word_int
| Word_val
| Single
| Double
| Double_u

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;

}

type data_item =

| Cdefine_symbol of string
| Cglobal_symbol of string
| Cint8 of int
| Cint16 of int
| Cint32 of nativeint
| Cint of nativeint
| Csingle of float
| Cdouble of float
| Csymbol_address of string
| Cstring of string
| Cskip of int
| Calign of int

type phrase =

| Cfunction of fundecl
| Cdata of data_item list

val reset : unit -> unit

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ocamloptcomp/Cmm/index.html

Module `Cmm`

package ocaml-base-compiler

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ocamloptcomp/Cmm/index.html

Module Cmm

Module `Cmm`