Changeset 1153 for Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma
- Timestamp:
- Aug 30, 2011, 6:55:12 PM (9 years ago)
- Location:
- Deliverables/D3.3/id-lookup-branch
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D3.3/id-lookup-branch
- Property svn:mergeinfo changed
/src merged: 1110-1132,1136-1150
- Property svn:mergeinfo changed
-
Deliverables/D3.3/id-lookup-branch/ERTL/ERTL.ma
r1109 r1153 20 20 | ertl_st_pop: register → label → ertl_statement 21 21 | ertl_st_push: register → label → ertl_statement 22 | ertl_st_addr: register → register → ident → label → ertl_statement 23 (* XXX: changed from O'Caml 22 24 | ertl_st_addr_h: register → ident → label → ertl_statement 23 25 | ertl_st_addr_l: register → ident → label → ertl_statement 26 *) 24 27 | ertl_st_int: register → Byte → label → ertl_statement 25 28 | 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 26 31 | ertl_st_opaccs_a: OpAccs → register → register → register → label → ertl_statement 27 32 | ertl_st_opaccs_b: OpAccs → register → register → register → label → ertl_statement 33 *) 28 34 | ertl_st_op1: Op1 → register → register → label → ertl_statement 29 35 | ertl_st_op2: Op2 → register → register → register → label → ertl_statement … … 32 38 | ertl_st_load: register → register → register → label → ertl_statement 33 39 | ertl_st_store: register → register → register → label → ertl_statement 34 | ertl_st_call_id: ident → Byte→ label → ertl_statement40 | ertl_st_call_id: ident → nat → label → ertl_statement 35 41 | ertl_st_cond: register → label → label → ertl_statement 36 42 | ertl_st_return: ertl_statement.
Note: See TracChangeset
for help on using the changeset viewer.