summaryrefslogtreecommitdiff
path: root/asmcomp/cmm.mli
diff options
context:
space:
mode:
Diffstat (limited to 'asmcomp/cmm.mli')
-rw-r--r--asmcomp/cmm.mli96
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
-