Changeset 774 for src/RTLabs
- Timestamp:
- Apr 26, 2011, 4:51:44 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/semantics.ma
r766 r774 74 74 [ Aindexed i ⇒ λargs. 75 75 do v ← reg_retrieve (locals f) ((args !!! 0) ?); 76 opt_to_res … (ev_add v (Vint i))76 opt_to_res … (ev_addp v (Vint i)) 77 77 | Aindexed2 ⇒ λargs. 78 78 do v1 ← reg_retrieve (locals f) ((args !!! 0) ?); 79 79 do v2 ← reg_retrieve (locals f) ((args !!! 1) ?); 80 opt_to_res … (ev_add v1 v2)80 opt_to_res … (ev_addp v1 v2) 81 81 | Aglobal id off ⇒ λargs. 82 82 do loc ← opt_to_res … (find_symbol ?? ge id); … … 85 85 do loc ← opt_to_res … (find_symbol ?? ge id); 86 86 do v ← reg_retrieve (locals f) ((args !!! 0) ?); 87 opt_to_res … (ev_add (Vptr Any loc ? zero_offset) v)87 opt_to_res … (ev_addp (Vptr Any loc ? zero_offset) v) 88 88 | Ainstack off ⇒ λargs. 89 89 OK ? (Vptr Any (sp f) ? (shift_offset zero_offset off))
Note: See TracChangeset
for help on using the changeset viewer.