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

    r740 r818  
    104104
    105105  (* Apply a binary operation that will later be translated in an operation on
    106      the accumulators. Parameters are the operation, the destination register,
    107      the source registers, and the label of the next statement. *)
    108   | St_opaccs of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
     106     the accumulators, keeping only the result in ACC. Parameters are the
     107     operation, the destination register, the source registers, and the label of
     108     the next statement. *)
     109  | St_opaccsA of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
     110
     111  (* Apply a binary operation that will later be translated in an operation on
     112     the accumulators, keeping only the result in BACC. Parameters are the
     113     operation, the destination register, the source registers, and the label of
     114     the next statement. *)
     115  | St_opaccsB of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
    109116
    110117  (* Apply an unary operation. Parameters are the operation, the destination
     
    119126     statement. *)
    120127  | St_clear_carry of Label.t
     128
     129  (* Set the carry flag to 1. Parameter is the label of the next statement. *)
     130  | St_set_carry of Label.t
    121131
    122132  (* Load from external memory. Parameters are the destination register, the
     
    152162     the label to go to when the value is not 0, and the label to go to when the
    153163     value is 0. *)
    154   | St_condacc of Register.t * Label.t * Label.t
     164  | St_cond of Register.t * Label.t * Label.t
    155165
    156166  (* Transfer control to the address stored in the return address registers. *)
Note: See TracChangeset for help on using the changeset viewer.