Changeset 774 for src/RTLabs


Ignore:
Timestamp:
Apr 26, 2011, 4:51:44 PM (9 years ago)
Author:
campbell
Message:

Separate out the different forms of addition and subtraction in the frontend ops.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/semantics.ma

    r766 r774  
    7474[ Aindexed i ⇒ λargs.
    7575    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))
    7777| Aindexed2 ⇒ λargs.
    7878    do v1 ← reg_retrieve (locals f) ((args !!! 0) ?);
    7979    do v2 ← reg_retrieve (locals f) ((args !!! 1) ?);
    80     opt_to_res … (ev_add v1 v2)
     80    opt_to_res … (ev_addp v1 v2)
    8181| Aglobal id off ⇒ λargs.
    8282    do loc ← opt_to_res … (find_symbol ?? ge id);
     
    8585    do loc ← opt_to_res … (find_symbol ?? ge id);
    8686    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)
    8888| Ainstack off ⇒ λargs.
    8989    OK ? (Vptr Any (sp f) ? (shift_offset zero_offset off))
Note: See TracChangeset for help on using the changeset viewer.