Ignore:
Timestamp:
May 9, 2013, 12:49:38 AM (6 years ago)
Author:
piccolo
Message:

changed ERTL semantics:
1) added manipulation of stack pointer directly in the semantics
2) added values of Callee Saved in frames

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL_semantics.ma

    r2958 r3259  
    241241        return reg_sp_store dest v env)
    242242      (λ_.rtl_save_frame)
    243       rtl_setup_call_separate
     243      (λ_.λ_.λn,p,a.λ_.λst.rtl_setup_call_separate n p a st)
    244244      rtl_fetch_external_args
    245245      rtl_set_result
     
    265265        return reg_sp_store dest v env)
    266266      (λ_.rtl_save_frame)
    267       rtl_setup_call_separate_overflow
     267      (λ_.λ_.λn,p,a.λ_.λst.rtl_setup_call_separate_overflow n p a st)
    268268      rtl_fetch_external_args
    269269      rtl_set_result
     
    289289        return reg_sp_store dest v env)
    290290      (λ_.rtl_save_frame)
    291       rtl_setup_call_unique
     291      (λ_.λ_.λn,p,a.λ_.λst.rtl_setup_call_unique n p a st)
    292292      rtl_fetch_external_args
    293293      rtl_set_result
Note: See TracChangeset for help on using the changeset viewer.