Changeset 782 for src/RTL/RTL.ma


Ignore:
Timestamp:
Apr 28, 2011, 5:36:33 PM (10 years ago)
Author:
mulligan
Message:

More work on rtl-ertl pass from today, plus resolved conflict.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r756 r782  
    1010inductive rtl_statement: Type[0] ≝
    1111  | rtl_st_skip: label → rtl_statement
    12   | rtl_st_cost: costlabel → rtl_statement
     12  | rtl_st_cost: costlabel → label → rtl_statement
    1313  | rtl_st_addr: register → register → ident → label → rtl_statement
    14   | rtl_st_stack_Addr: register → register → label → rtl_statement
     14  | rtl_st_stack_addr: register → register → label → rtl_statement
    1515  | rtl_st_int: register → Byte → label → rtl_statement
    1616  | rtl_st_move: register → register → label → rtl_statement
     
    2525  | rtl_st_tailcall_id: ident → registers → rtl_statement
    2626  | rtl_st_tailcall_ptr: register → register → registers → rtl_statement
    27   | rtl_st_condacc: register → label → label → rtl_statement
     27  | rtl_st_cond_acc: register → label → label → rtl_statement
    2828  | rtl_st_return: registers → rtl_statement.
    2929 
Note: See TracChangeset for help on using the changeset viewer.