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/cminor/cminor.mli

    r740 r818  
    33
    44(* This file describes the abstract syntax of the Cminor language.
    5    Only types are: int8, int16, int32, float32, float64 and void. *)
     5   Only types are: int8, int16, int32 and void. *)
    66
    7 type expression =
     7type etype = AST.sig_type
     8
     9type expression = Expr of expr_descr * etype
     10and expr_descr =
    811  | Id of AST.ident
    912  | Cst of AST.cst
    1013  | Op1 of AST.op1 * expression
    1114  | Op2 of AST.op2 * expression * expression
    12   | Mem of Memory.quantity * expression          (* Memory read *)
     15  | Mem of AST.quantity * expression          (* Memory read *)
    1316  | Cond of expression * expression * expression (* Ternary expression *)
    1417  | Exp_cost of CostLabel.t * expression         (* Labelled expression *)
     
    1720  | St_skip
    1821  | St_assign of AST.ident * expression
    19   | St_store of Memory.quantity * expression * expression
     22  | St_store of AST.quantity * expression * expression
    2023
    2124  (* Function call. Parameters are an optional variable to store the
     
    4750
    4851type internal_function =
    49     { f_sig       : AST.signature ;
    50       f_params    : AST.ident list ;
    51       f_vars      : AST.ident list ;
    52       f_ptrs      : AST.ident list ;
    53       f_stacksize : int ;
     52    { f_return    : AST.type_return ;
     53      f_params    : (AST.ident * etype) list ;
     54      f_vars      : (AST.ident * etype) list ;
     55      f_stacksize : AST.abstract_size ;
    5456      f_body      : statement }
    5557
     
    6365
    6466type program =
    65     { vars   : (AST.ident * (AST.data list)) list ;
     67    { vars   : (AST.ident * AST.abstract_size * AST.data list option) list ;
    6668      functs : (AST.ident * function_def) list ;
    6769      main   : AST.ident option }
Note: See TracChangeset for help on using the changeset viewer.