- Timestamp:
- May 8, 2013, 5:41:49 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTL/RTLToERTL.ma
r3255 r3256 149 149 bind_new register (list (joint_seq ERTL globals)) ≝ 150 150 λglobals,params,sral,srah,tmpr,addr1,addr2,sregs. 151 [ POP … srah ;151 [ POP ERTL … srah ; 152 152 POP … sral 153 153 ] @ save_hdws … sregs @ get_params … tmpr addr1 addr2 params.
Note: See TracChangeset
for help on using the changeset viewer.