Ignore:
Timestamp:
Nov 25, 2011, 7:43:39 PM (8 years ago)
Author:
tranquil
Message:
  • Immediates introduced (but not fully used yet in RTLabs to RTL pass)
  • translation streamlined
  • BUGGY: interpretation fails in LTL, trying to fetch a function with incorrect address
File:
1 edited

Legend:

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

    r1542 r1568  
    3838type registers = Register.t list
    3939
     40type argument = RTL.argument
     41
    4042type statement =
    4143
     
    6365     are the destination hardware register, the source pseudo register, and the
    6466     label of the next statement. *)
    65   | St_set_hdw of I8051.register * Register.t * Label.t
     67  | St_set_hdw of I8051.register * argument * Label.t
    6668
    6769  (* Assign the content of a hardware register to a hardware
     
    101103  | St_addrL of Register.t * AST.ident * Label.t
    102104
    103   (* Assign an integer constant to a register. Parameters are the destination
    104      register, the integer and the label of the next statement. *)
    105   | St_int of Register.t * int * Label.t
     105  (* (\* Assign an integer constant to a register. Parameters are the destination *)
     106  (*    register, the integer and the label of the next statement. *\) *)
     107  (* | St_int of Register.t * int * Label.t *)
    106108
    107109  (* Move the content of a register to another. Parameters are the destination
    108110     register, the source register, and the label of the next statement. *)
    109   | St_move of Register.t * Register.t * Label.t
     111  | St_move of Register.t * argument * Label.t
    110112
    111113  (* Apply a binary operation that will later be translated in an operation on
     
    127129  (* Apply a binary operation. Parameters are the operation, the destination
    128130     register, the source registers, and the label of the next statement. *)
    129   | St_op2 of I8051.op2 * Register.t * Register.t * Register.t * Label.t
     131  | St_op2 of I8051.op2 * Register.t * Register.t * argument * Label.t
    130132
    131133  (* Set the carry flag to zero. Parameter is the label of the next
Note: See TracChangeset for help on using the changeset viewer.