Changeset 1061 for src/RTL


Ignore:
Timestamp:
Jul 8, 2011, 5:49:22 PM (9 years ago)
Author:
mulligan
Message:

more work, bug found, ridiculous map3 function with dep. types added

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1060 r1061  
    1414  | rtl_st_int: register → Byte → label → rtl_statement
    1515  | rtl_st_move: register → register → label → rtl_statement
    16   | rtl_st_opaccs: inter → register → register → register → register → label → rtl_statement
    17   | rtl_st_op1: intermediate_op1 → register → register → label → rtl_statement
    18   | rtl_st_op2: intermediate_op2 → register → register → register → label → rtl_statement
     16  | rtl_st_opaccs: OpAccs → register → register → register → register → label → rtl_statement
     17  | rtl_st_op1: Op1 → register → register → label → rtl_statement
     18  | rtl_st_op2: Op2 → register → register → register → label → rtl_statement
    1919  | rtl_st_clear_carry: label → rtl_statement
    2020  | rtl_st_load: register → register → register → label → rtl_statement
Note: See TracChangeset for help on using the changeset viewer.