Changeset 1568 for Deliverables/D2.2/8051/src/ERTL/ERTL.mli

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:

• Deliverables/D2.2/8051/src/ERTL/ERTL.mli (modified) (4 diffs)

Deliverables/D2.2/8051/src/ERTL/ERTL.mli

@@ -38 +38 @@
 type registers = Register.t list
 
+type argument = RTL.argument
+
 type statement =
 
@@ -63 +65 @@
      are the destination hardware register, the source pseudo register, and the
      label of the next statement. *)
-  | St_set_hdw of I8051.register * Register.t * Label.t
+  | St_set_hdw of I8051.register * argument * Label.t
 
   (* Assign the content of a hardware register to a hardware
@@ -101 +103 @@
   | St_addrL of Register.t * AST.ident * Label.t
 
-  (* Assign an integer constant to a register. Parameters are the destination
-     register, the integer and the label of the next statement. *)
-  | St_int of Register.t * int * Label.t
+  (* (\* Assign an integer constant to a register. Parameters are the destination *)
+  (*    register, the integer and the label of the next statement. *\) *)
+  (* | St_int of Register.t * int * Label.t *)
 
   (* Move the content of a register to another. Parameters are the destination
      register, the source register, and the label of the next statement. *)
-  | St_move of Register.t * Register.t * Label.t
+  | St_move of Register.t * argument * Label.t
 
   (* Apply a binary operation that will later be translated in an operation on
@@ -127 +129 @@
   (* Apply a binary operation. Parameters are the operation, the destination
      register, the source registers, and the label of the next statement. *)
-  | St_op2 of I8051.op2 * Register.t * Register.t * Register.t * Label.t
+  | St_op2 of I8051.op2 * Register.t * Register.t * argument * Label.t
 
   (* Set the carry flag to zero. Parameter is the label of the next