Changeset 1326 for src/RTL/semantics.ma
- Timestamp:
- Oct 7, 2011, 3:48:55 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTL/semantics.ma
r1324 r1326 74 74 let sp ≝ sp ? st in 75 75 ! 〈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〉 79 79 | rtl_st_ext_call_ptr _ _ _ _ ⇒ ? 80 80 | rtl_st_ext_tailcall_id id regs ⇒ ?
Note: See TracChangeset
for help on using the changeset viewer.