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

    r740 r818  
    3535
    3636  (* Apply a binary operation that will later be translated in an operation on
    37      the accumulators. Parameters are the operation, the destination register,
    38      the source registers, and the label of the next statement. *)
    39   | St_opaccs of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
     37     the accumulators. Parameters are the operation, the destination registers
     38     (ACC first, BACC second), the source registers, and the label of the next
     39     statement. *)
     40  | St_opaccs of I8051.opaccs * Register.t * Register.t *
     41                                Register.t * Register.t * Label.t
    4042
    4143  (* Apply an unary operation. Parameters are the operation, the destination
     
    5052     statement. *)
    5153  | St_clear_carry of Label.t
     54
     55  (* Set the carry flag to 1. Parameter is the label of the next statement. *)
     56  | St_set_carry of Label.t
    5257
    5358  (* Load from external memory. Parameters are the destination register, the
     
    8489     the label to go to when the value is not 0, and the label to go to when the
    8590     value is 0. *)
    86   | St_condacc of Register.t * Label.t * Label.t
     91  | St_cond of Register.t * Label.t * Label.t
    8792
    88   (* Return the value of some registers. Their may be no register in case of
    89      procedures, one register when returning an integer, or two registers when
    90      returning an address (low bytes first). *)
     93  (* Return the value of some registers (low bytes first). *)
    9194  | St_return of registers
    9295
     
    97100    { f_luniverse : Label.Gen.universe ;
    98101      f_runiverse : Register.universe ;
    99       f_sig       : AST.signature ;
    100102      f_result    : Register.t list (* low byte first *) ;
    101103      f_params    : Register.t list ;
Note: See TracChangeset for help on using the changeset viewer.