Changeset 2176 for src/RTL/semantics.ma


Ignore:
Timestamp:
Jul 12, 2012, 1:28:28 PM (7 years ago)
Author:
campbell
Message:

Remove memory spaces other than XData and Code; simplify pointers as a
result.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/semantics.ma

    r1999 r2176  
    8181   (set_regs rtl_sem_params new_regs
    8282    (set_m … mem
    83      (set_sp … (mk_pointer XData b ? (mk_offset 0)) st))).
    84 cases b * #r #off #E >E %
    85 qed.
     83     (set_sp … (mk_pointer b (mk_offset 0)) st))).
     84(*cases b * #r #off #E >E %
     85qed.*)
    8686
    8787definition rtl_save_frame:
Note: See TracChangeset for help on using the changeset viewer.