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

    r486 r818  
    88(** ** Types *)
    99
    10 (** Clight types are similar to those of C.  They include numeric types,
    11   pointers, arrays, function types, and composite types (struct and
    12   union).  Numeric types (integers and floats) fully specify the
    13   bit size of the type.  An integer type is a pair of a signed/unsigned
    14   flag and a bit size: 8, 16 or 32 bits. *)
    15 
    16 type signedness = Signed | Unsigned
    17 
    1810type intsize = I8 | I16 | I32
    19 
    20 (** Float types come in two sizes: 32 bits (single precision)
    21   and 64-bit (double precision). *)
    2211
    2312type floatsize = F32 | F64
     
    114103  | Econst_int of int                           (**r integer literal *)
    115104  | Econst_float of float                       (**r float literal *)
    116   | Evar of ident                       (**r variable *)
     105  | Evar of ident                               (**r variable *)
    117106  | Ederef of expr                              (**r pointer dereference (unary [*]) *)
    118107  | Eaddrof of expr                             (**r address-of operator ([&]) *)
     
    124113  | Eorbool of expr*expr                        (**r sequential or ([||]) *)
    125114  | Esizeof of ctype                            (**r size of a type *)
    126   | Efield of expr*ident                (**r access to a member of a struct or union *)
     115  | Efield of expr*ident                        (**r access to a member of a struct or union *)
    127116
    128117  (** The following constructors are used by the annotation process only. *)
     
    147136  | Ssequence of statement*statement            (**r sequence *)
    148137  | Sifthenelse of expr*statement*statement     (**r conditional *)
    149   | Swhile of expr*statement            (**r [while] loop *)
    150   | Sdowhile of expr*statement          (**r [do] loop *)
     138  | Swhile of expr*statement                    (**r [while] loop *)
     139  | Sdowhile of expr*statement                  (**r [do] loop *)
    151140  | Sfor of statement*expr*statement*statement  (**r [for] loop *)
    152141  | Sbreak                                      (**r [break] statement *)
     
    158147  | Scost of CostLabel.t * statement
    159148
    160                and labeled_statements =            (**r cases of a [switch] *)
     149and labeled_statements =                        (**r cases of a [switch] *)
    161150  | LSdefault of statement
    162151  | LScase of int*statement*labeled_statements
Note: See TracChangeset for help on using the changeset viewer.