Changeset 1115

Timestamp:

Aug 26, 2011, 6:47:05 PM (10 years ago)

Author:

sacerdot

Message:

Some comments.

File:

• src/RTL/RTL.ma (modified) (1 diff)

src/RTL/RTL.ma

@@ -10 +10 @@
   | rtl_st_skip: label → rtl_statement
   | rtl_st_cost: costlabel → label → rtl_statement
+                (* ldest, hdest, symbol, next *)
   | rtl_st_addr: register → register → ident → label → rtl_statement
+                (* ldest, hdest, next *)
   | rtl_st_stack_addr: register → register → label → rtl_statement
   | rtl_st_int: register → Byte → label → rtl_statement
+                (* dest, src, next *)
   | rtl_st_move: register → register → label → rtl_statement
   | rtl_st_clear_carry: label → rtl_statement
+                (* op, acc dest, bacc dest, acc src, bacc src, next *)
   | rtl_st_opaccs: OpAccs → register → register → register → register → label → rtl_statement
+                (* op, dest, src, next *)
   | rtl_st_op1: Op1 → register → register → label → rtl_statement
+                (* op, dest, src1, src2, next *)
   | rtl_st_op2: Op2 → register → register → register → label → rtl_statement
   | rtl_st_load: register → register → register → label → rtl_statement