Ignore:
Timestamp:
Aug 30, 2011, 6:55:12 PM (10 years ago)
Author:
campbell
Message:

Merge trunk into branch.

Location:
Deliverables/D3.3/id-lookup-branch
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D3.3/id-lookup-branch

  • Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma

    r1109 r1153  
    2020  | ertl_st_pop: register → label → ertl_statement
    2121  | ertl_st_push: register → label → ertl_statement
     22  | ertl_st_addr: register → register → ident → label → ertl_statement
     23(* XXX: changed from O'Caml
    2224  | ertl_st_addr_h: register → ident → label → ertl_statement
    2325  | ertl_st_addr_l: register → ident → label → ertl_statement
     26*)
    2427  | ertl_st_int: register → Byte → label → ertl_statement
    2528  | ertl_st_move: register → register → label → ertl_statement
     29  | ertl_st_opaccs: OpAccs → register → register → register → register → label → ertl_statement
     30(* XXX: changed from O'Caml
    2631  | ertl_st_opaccs_a: OpAccs → register → register → register → label → ertl_statement
    2732  | ertl_st_opaccs_b: OpAccs → register → register → register → label → ertl_statement
     33*)
    2834  | ertl_st_op1: Op1 → register → register → label → ertl_statement
    2935  | ertl_st_op2: Op2 → register → register → register → label → ertl_statement
     
    3238  | ertl_st_load: register → register → register → label → ertl_statement
    3339  | ertl_st_store: register → register → register → label → ertl_statement
    34   | ertl_st_call_id: ident → Byte → label → ertl_statement
     40  | ertl_st_call_id: ident → nat → label → ertl_statement
    3541  | ertl_st_cond: register → label → label → ertl_statement
    3642  | ertl_st_return: ertl_statement.
Note: See TracChangeset for help on using the changeset viewer.