Changeset 1322 for src/RTL/RTLToERTL.ma


Ignore:
Timestamp:
Oct 7, 2011, 2:59:48 PM (8 years ago)
Author:
sacerdot
Message:

address => stack_address

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTLToERTL.ma

    r1315 r1322  
    309309         match ext with
    310310          [ rtlntc_st_ext_call_ptr _ _ _ _ ⇒ ⊥ (*CSC: XXXX not implemented in OCaml too *)
    311           | rtlntc_st_ext_address r1 r2 ⇒
     311          | rtlntc_st_ext_stack_address r1 r2 ⇒
    312312             adds_graph ertl_params1 … [
    313313              sequential ertl_params_ … (MOVE … 〈pseudo r1, hardware RegisterSPL〉);
Note: See TracChangeset for help on using the changeset viewer.