diff options
Diffstat (limited to 'asmcomp/cmm.mli')
| -rw-r--r-- | asmcomp/cmm.mli | 96 |
1 files changed, 0 insertions, 96 deletions
diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli deleted file mode 100644 index 1ab22144e3..0000000000 --- a/asmcomp/cmm.mli +++ /dev/null @@ -1,96 +0,0 @@ -(* Second intermediate language (machine independent) *) - -type constant = - Const_int of int - | Const_float of string - | Const_symbol of string - | Const_pointer of int - -type machtype_component = - Addr - | Int - | Float - -type machtype = machtype_component array - -val typ_void: machtype -val typ_addr: machtype -val typ_int: machtype -val typ_float: machtype - -val size_component: machtype_component -> int -val size_machtype: machtype -> int - -type comparison = - Ceq - | Cne - | Clt - | Cle - | Cgt - | Cge - -val negate_comparison: comparison -> comparison -val swap_comparison: comparison -> comparison - -type memory_chunk = - Byte_unsigned - | Byte_signed - | Sixteen_unsigned - | Sixteen_signed - | Word - -type operation = - Capply of machtype - | Cextcall of string * machtype - | Cproj of int * int - | Cload of machtype - | Cloadchunk of memory_chunk - | Calloc - | Cstore - | Cstorechunk of memory_chunk - | Cmodify - | Caddi | Csubi | Cmuli | Cdivi | Cmodi - | Cand | Cor | Cxor | Clsl | Clsr | Casr - | Ccmpi of comparison - | Cadda | Csuba - | Ccmpa of comparison - | Caddf | Csubf | Cmulf | Cdivf - | Cfloatofint | Cintoffloat - | Ccmpf of comparison - | Craise - -type expression = - Cconst of constant - | 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 - | Cwhile of expression * expression - | Ccatch of expression * expression - | Cexit - | Ctrywith of expression * Ident.t * expression - -type fundecl = - { fun_name: string; - fun_args: (Ident.t * machtype) list; - fun_body: expression } - -type data_item = - Clabel of string - | Cint8 of int - | Cint16 of int - | Cint of int - | Cfloat of string - | Caddress of string - | Cstring of string - | Cskip of int - | Calign of int - -type phrase = - Cfunction of fundecl - | Cdata of data_item list - |
