Changeset 1060 for src/RTL


Ignore:
Timestamp:
Jul 8, 2011, 12:17:14 PM (9 years ago)
Author:
mulligan
Message:

work from this morning and yesterday

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r878 r1060  
    44include "common/Graphs.ma".
    55include "common/CostLabel.ma".
    6 include "ASM/I8051.ma".
    76
    87definition registers ≝ list register.
     
    1514  | rtl_st_int: register → Byte → label → rtl_statement
    1615  | rtl_st_move: register → register → label → rtl_statement
    17   | rtl_st_opaccs: OpAccs → register → register → register → label → rtl_statement
    18   | rtl_st_op1: Op1 → register → register → label → rtl_statement
    19   | rtl_st_op2: Op2 → register → 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
    2019  | rtl_st_clear_carry: label → rtl_statement
    2120  | rtl_st_load: register → register → register → label → rtl_statement
     
    2625  | rtl_st_tailcall_ptr: register → register → registers → rtl_statement
    2726  | rtl_st_cond_acc: register → label → label → rtl_statement
     27  | rtl_st_set_carry: label → rtl_statement
     28  | rtl_st_clear_carry: label → rtl_statement
    2829  | rtl_st_return: registers → rtl_statement.
    2930 
     
    4445}.
    4546
    46 
    4747inductive rtl_function_definition: Type[0] ≝
    4848  | rtl_f_internal: rtl_internal_function → rtl_function_definition
Note: See TracChangeset for help on using the changeset viewer.