Ignore:
Timestamp:
Apr 4, 2011, 5:18:15 PM (9 years ago)
Author:
ayache
Message:

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightFold.mli

    r619 r740  
    77val ctype : (Clight.ctype -> 'a list -> 'a) -> Clight.ctype -> 'a
    88
    9 val expr : (Clight.expr_descr -> 'a list -> 'b list -> 'c) ->
    10            (Clight.ctype -> 'a list -> 'a) ->
    11            (Clight.expr -> 'c list -> 'a list -> 'b) ->
    12            Clight.expr ->
    13            'b
     9val expr_fill_subs :
     10  Clight.expr -> Clight.ctype list -> Clight.expr_descr list ->
     11  Clight.expr
    1412
    15 val expr_descr : (Clight.ctype -> 'a list -> 'a) ->
    16                  (Clight.expr -> 'b list -> 'a list -> 'c) ->
    17                  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
    18                  Clight.expr_descr ->
    19                  'b
     13val expr :
     14  (Clight.ctype -> 'a list -> 'a) ->
     15  (Clight.expr -> 'a list -> 'b list -> 'c) ->
     16  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
     17  Clight.expr ->
     18  'c
    2019
    21 (*
    22 (* In [statement_left f_expr f_stmt stmt], [f_stmt]'s second argument is the
    23    list of [expression_left f_expr]'s results on [stmt]'s sub-expressions, and
    24    [f_stmt]'s third argument is the list of [statement_left]'s results
    25    on [stmt]'s sub-statements. The results are computed from left to right
    26    following their appearance order in the [Cminor.statement] type. *)
     20val expr_descr_fill_subs :
     21  Clight.expr_descr -> Clight.ctype list -> Clight.expr list ->
     22  Clight.expr_descr
    2723
    28 val statement_left : (Cminor.expression -> 'a list -> 'a) ->
    29                      (Cminor.statement -> 'a list -> 'b list -> 'b) ->
    30                      Cminor.statement ->
    31                      'b
    32 *)
     24val expr_descr :
     25  (Clight.ctype -> 'a list -> 'a) ->
     26  (Clight.expr -> 'a list -> 'b list -> 'c) ->
     27  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
     28  Clight.expr_descr ->
     29  'b
     30
     31val statement_fill_subs :
     32  Clight.statement -> Clight.expr list -> Clight.statement list ->
     33  Clight.statement
     34
     35val statement :
     36  (Clight.ctype -> 'a list -> 'a) ->
     37  (Clight.expr -> 'a list -> 'b list -> 'c) ->
     38  (Clight.expr_descr -> 'a list -> 'c list -> 'b) ->
     39  (Clight.statement -> 'c list -> 'd list -> 'd) ->
     40  Clight.statement ->
     41  'd
Note: See TracChangeset for help on using the changeset viewer.