Changeset 1115


Ignore:
Timestamp:
Aug 26, 2011, 6:47:05 PM (8 years ago)
Author:
sacerdot
Message:

Some comments.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1106 r1115  
    1010  | rtl_st_skip: label → rtl_statement
    1111  | rtl_st_cost: costlabel → label → rtl_statement
     12                (* ldest, hdest, symbol, next *)
    1213  | rtl_st_addr: register → register → ident → label → rtl_statement
     14                (* ldest, hdest, next *)
    1315  | rtl_st_stack_addr: register → register → label → rtl_statement
    1416  | rtl_st_int: register → Byte → label → rtl_statement
     17                (* dest, src, next *)
    1518  | rtl_st_move: register → register → label → rtl_statement
    1619  | rtl_st_clear_carry: label → rtl_statement
     20                (* op, acc dest, bacc dest, acc src, bacc src, next *)
    1721  | rtl_st_opaccs: OpAccs → register → register → register → register → label → rtl_statement
     22                (* op, dest, src, next *)
    1823  | rtl_st_op1: Op1 → register → register → label → rtl_statement
     24                (* op, dest, src1, src2, next *)
    1925  | rtl_st_op2: Op2 → register → register → register → label → rtl_statement
    2026  | rtl_st_load: register → register → register → label → rtl_statement
Note: See TracChangeset for help on using the changeset viewer.