Changeset 3062 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Apr 2, 2013, 11:59:02 AM (7 years ago)
Author:
sacerdot
Message:

Bug fixed in the semantics of Mov: the offset was ignored.
Now all tests pass.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r3060 r3062  
    12241224    | Mov dst ident off ⇒
    12251225      let s ≝ set_clock ?? s (\fst ticks + clock … s) in
    1226       let v ≝ addr_of_symbol ident in
     1226      let v ≝ \fst (add_16_with_carry … (addr_of_symbol ident) off false) in
    12271227      match dst with
    12281228      [ inl dptr ⇒ set_arg_16 … s v dptr
Note: See TracChangeset for help on using the changeset viewer.