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
  • extracted/interpret.ml

    r3060 r3062  
    43134313        Status.set_clock cm s0 (Nat.plus ticks.Types.fst s0.Status.clock)
    43144314      in
    4315       let v = addr_of_symbol ident in
     4315      let v =
     4316        (Arithmetic.add_16_with_carry (addr_of_symbol ident) off Bool.False).Types.fst
     4317      in
    43164318      (match dst with
    43174319       | Types.Inl dptr -> Status.set_arg_16 cm s1 v dptr
Note: See TracChangeset for help on using the changeset viewer.