Changeset 818 for Deliverables/D2.2/8051/src/languages.mli

Timestamp:

May 19, 2011, 4:03:04 PM (10 years ago)

Author:

ayache

Message:

32 and 16 bits operations support in D2.2/8051

File:

• Deliverables/D2.2/8051/src/languages.mli (modified) (2 diffs)

Deliverables/D2.2/8051/src/languages.mli

@@ -21 +21 @@
 (** The types of abstract syntax trees of each language. *)
 type ast = 
-  | AstClight of Clight.program
-  | AstCminor of Cminor.program
-  | AstRTLabs of RTLabs.program
-  | AstRTL    of RTL.program
-  | AstERTL   of ERTL.program
-  | AstLTL    of LTL.program
-  | AstLIN    of LIN.program
-  | AstASM    of ASM.program
+  | AstClight  of Clight.program
+  | AstCminor  of Cminor.program
+  | AstRTLabs  of RTLabs.program
+  | AstRTL     of RTL.program
+  | AstERTL    of ERTL.program
+  | AstLTL     of LTL.program
+  | AstLIN     of LIN.program
+  | AstASM     of ASM.program
 
 (** [language_of_ast ast] returns the programming language of the 
@@ -46 +46 @@
     output. *)
 val compile : bool -> name -> name -> (ast -> ast list)
+
+(** [add_runtime ast] adds runtime functions for the operations not supported by
+    the target processor. *)
+val add_runtime : ast -> ast
 
 (** {2 Annotation}