Premiere version.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@34 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 96 insertions, 0 deletions

diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli
new file mode 100644
index 0000000000..1ab22144e3
--- /dev/null
+++ b/asmcomp/cmm.mli
@@ -0,0 +1,96 @@
+(* 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
+