Ignore:
Timestamp:
Nov 28, 2011, 3:13:14 PM (9 years ago)
Author:
tranquil
Message:
  • corrected previous bug
  • finished propagating immediates
File:
1 edited

Legend:

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

    r1568 r1572  
    9191  (* Push a value from a register to the IRAM. Parameter are the source
    9292     register, and the label of the next statement. *)
    93   | St_push of Register.t * Label.t
     93  | St_push of argument * Label.t
    9494
    9595  (* Assign the most significant bits of the address of a symbol to a
     
    115115     operation, the destination register, the source registers, and the label of
    116116     the next statement. *)
    117   | St_opaccsA of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
     117  | St_opaccsA of I8051.opaccs * Register.t * argument * argument * Label.t
    118118
    119119  (* Apply a binary operation that will later be translated in an operation on
     
    121121     operation, the destination register, the source registers, and the label of
    122122     the next statement. *)
    123   | St_opaccsB of I8051.opaccs * Register.t * Register.t * Register.t * Label.t
     123  | St_opaccsB of I8051.opaccs * Register.t * argument * argument * Label.t
    124124
    125125  (* Apply an unary operation. Parameters are the operation, the destination
     
    129129  (* Apply a binary operation. Parameters are the operation, the destination
    130130     register, the source registers, and the label of the next statement. *)
    131   | St_op2 of I8051.op2 * Register.t * Register.t * argument * Label.t
     131  | St_op2 of I8051.op2 * Register.t * argument * argument * Label.t
    132132
    133133  (* Set the carry flag to zero. Parameter is the label of the next
     
    141141     address registers (low bytes first), and the label of the next
    142142     statement. *)
    143   | St_load of Register.t * Register.t * Register.t * Label.t
     143  | St_load of Register.t * argument * argument * Label.t
    144144
    145145  (* Store to external memory. Parameters are the address registers (low bytes
    146146     first), the source register, and the label of the next statement. *)
    147   | St_store of Register.t * Register.t * Register.t * Label.t
     147  | St_store of argument * argument * argument * Label.t
    148148
    149149  (* Call to a function given its name. Parameters are the name of the function,
     
    173173
    174174  (* Transfer control to the address stored in the return address registers. *)
    175   | St_return of registers
     175  | St_return of argument list
    176176
    177177type graph = statement Label.Map.t
Note: See TracChangeset for help on using the changeset viewer.