Changeset 1326


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

Code improved (now it uses the high level functions from joint/semantics.ma).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics.ma

    r1324 r1326  
    7474      let sp ≝ sp ? st in
    7575      ! 〈dpl,dph〉 ← beval_pair_of_pointer sp ;
    76       ! regs ← reg_store dreg1 dpl (regs ? st) ;
    77       ! regs ← reg_store dreg2 dph regs ;
    78        ret ? 〈E0, goto … l (set_regs rtl_sem_params regs st)
     76      ! st ← greg_store rtl_sem_params dreg1 dpl st ;
     77      ! st ← greg_store rtl_sem_params dreg2 dph st ;
     78       ret ? 〈E0, goto … l st
    7979   | rtl_st_ext_call_ptr _ _ _ _ ⇒ ?
    8080   | rtl_st_ext_tailcall_id id regs ⇒ ?
Note: See TracChangeset for help on using the changeset viewer.