Changeset 818 for Deliverables/D2.2/8051/src/cminor/cminorFold.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/cminor/cminorFold.mli (modified) (1 diff)

Deliverables/D2.2/8051/src/cminor/cminorFold.mli

@@ -3 +3 @@
     [Cminor]'s AST. *)
 
-(* In [expression_left f e], [f]'s second argument is the list of
-   [expression_left]'s results on [e]'s sub-expressions. The results are
-   computed from left to right following their appearance order in the
-   [Cminor.expression] type. *)
+val expression_subs : Cminor.expression -> Cminor.expression list
 
-val expression_left : (Cminor.expression -> 'a list -> 'a) ->
-                      Cminor.expression ->
-                      'a
+val expression_fill_subs : Cminor.expression -> Cminor.expression list ->
+                           Cminor.expression
 
-(* In [statement_left f_expr f_stmt stmt], [f_stmt]'s second argument is the
-   list of [expression_left f_expr]'s results on [stmt]'s sub-expressions, and
-   [f_stmt]'s third argument is the list of [statement_left]'s results
-   on [stmt]'s sub-statements. The results are computed from left to right
-   following their appearance order in the [Cminor.statement] type. *)
+(* In [expression f e], [f]'s second argument is the list of
+   [expression]'s results on [e]'s sub-expressions. *)
 
-val statement_left : (Cminor.expression -> 'a list -> 'a) ->
-                     (Cminor.statement -> 'a list -> 'b list -> 'b) ->
-                     Cminor.statement ->
-                     'b
+val expression : (Cminor.expression -> 'a list -> 'a) ->
+                 Cminor.expression ->
+                 'a
 
+val statement_subs : Cminor.statement ->
+                     (Cminor.expression list * Cminor.statement list)
 
-(* In [expression_right f e], [f]'s second argument is the list of
-   [expression_right]'s results on [e]'s sub-expressions. The results are
-   computed from right to left following their appearance order in the
-   [Cminor.expression] type. *)
+val statement_fill_subs : Cminor.statement ->
+                          Cminor.expression list ->
+                          Cminor.statement list ->
+                          Cminor.statement
 
-val expression_right : ('a list -> Cminor.expression -> 'a) ->
-                       Cminor.expression ->
-                       'a
+(* In [statement f_expr f_stmt stmt], [f_stmt]'s second argument is the
+   list of [expression f_expr]'s results on [stmt]'s sub-expressions, and
+   [f_stmt]'s third argument is the list of [statement]'s results
+   on [stmt]'s sub-statements. *)
 
-(* In [statement_right f_expr f_stmt stmt], [f_stmt]'s second argument is the
-   list of [expression_left f_expr]'s results on [stmt]'s sub-expressions, and
-   [f_stmt]'s third argument is the list of [statement_left]'s results
-   on [stmt]'s sub-statements. The results are computed from right to left
-   following their appearance order in the [Cminor.statement] type. *)
-
-val statement_right : ('a list -> Cminor.expression -> 'a) ->
-                      ('a list -> 'b list -> Cminor.statement -> 'b) ->
-                      Cminor.statement ->
-                      'b
+val statement : (Cminor.expression -> 'a list -> 'a) ->
+                (Cminor.statement -> 'a list -> 'b list -> 'b) ->
+                Cminor.statement ->
+                'b