Changeset 1084 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Jul 21, 2011, 5:00:47 PM (9 years ago)
Author:
mulligan
Message:

more added on ertl pass: not sure how much should be axiomatised wrt register colouring

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1082 r1084  
    3232  | ertl_st_load: register → register → register → label → ertl_statement
    3333  | ertl_st_store: register → register → register → label → ertl_statement
    34   | ertl_st_call_id: ident → Byte → label → ertl_statement
     34  | ertl_st_call_id: label → Byte → label → ertl_statement
    3535  | ertl_st_cond: register → label → label → ertl_statement
    36   | ertl_st_return: ertl_statement. (* XXX: change from o'caml *)
     36  | ertl_st_return: label → ertl_statement.
    3737
    3838definition ertl_statement_graph ≝ graph ertl_statement.
Note: See TracChangeset for help on using the changeset viewer.