Ignore:
Timestamp:
May 19, 2011, 4:03:04 PM (9 years ago)
Author:
ayache
Message:

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

File:
1 edited

Legend:

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

    r740 r818  
    1111  Clight.expr
    1212
     13val expr_fill_exprs :
     14  Clight.expr -> Clight.expr list -> Clight.expr
     15
    1316val expr :
    1417  (Clight.ctype -> 'a list -> 'a) ->
     
    1720  Clight.expr ->
    1821  'c
     22
     23val expr2 :
     24  (Clight.expr -> 'a list -> 'a) -> Clight.expr -> 'a
     25
     26val expr_descr_subs :
     27  Clight.expr_descr -> Clight.ctype list * Clight.expr list
    1928
    2029val expr_descr_fill_subs :
     
    2938  'b
    3039
     40val statement_subs :
     41  Clight.statement ->
     42  (Clight.expr list * Clight.statement list)
     43
     44val statement_sub_exprs : Clight.statement -> Clight.expr list
     45
    3146val statement_fill_subs :
    3247  Clight.statement -> Clight.expr list -> Clight.statement list ->
     
    4055  Clight.statement ->
    4156  'd
     57
     58val statement2 :
     59  (Clight.expr -> 'a list -> 'a) ->
     60  (Clight.statement -> 'a list -> 'b list -> 'b) ->
     61  Clight.statement ->
     62  'b
Note: See TracChangeset for help on using the changeset viewer.