Ignore:
Timestamp:
Oct 14, 2011, 10:56:45 AM (8 years ago)
Author:
campbell
Message:

Put type information into front-end unary ops.
Slight change to semantics: booleans produced by Onotbool can be any given
integer size.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/semantics.ma

    r1238 r1369  
    9898      ! locals ← reg_store r v (locals f);
    9999      ret ? 〈E0, State (mk_frame (func f) locals l (sp f) (retdst f)) fs m〉
    100   | St_op1 op dst src l ⇒
     100  | St_op1 _ _ op dst src l ⇒
    101101      ! v ← reg_retrieve (locals f) src;
    102       ! v' ← opt_to_res … (msg FailedOp) (eval_unop op v);
     102      ! v' ← opt_to_res … (msg FailedOp) (eval_unop ?? op v);
    103103      ! locals ← reg_store dst v' (locals f);
    104104      ret ? 〈E0, State (mk_frame (func f) locals l (sp f) (retdst f)) fs m〉
Note: See TracChangeset for help on using the changeset viewer.