Changeset 1490 for Deliverables/D2.2


Ignore:
Timestamp:
Nov 4, 2011, 1:25:41 PM (8 years ago)
Author:
ayache
Message:

Function pointers fixed.

Location:
Deliverables/D2.2/8051/src
Files:
4 added
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

    r1488 r1490  
    957957      | `Label s -> pc, exit_addr, StringTools.Map.add s pc labels, costs
    958958      | `Cost s -> pc, exit_addr, labels, BitVectors.WordMap.add pc s costs
    959       | `Mov (_,_) -> (snd (half_add pc (vect_of_int 1 `Sixteen))), exit_addr, labels, costs
     959      | `Mov (_,_) -> (snd (half_add pc (vect_of_int 3 `Sixteen))), exit_addr, labels, costs
    960960      | `Jmp _
    961961      | `Call _ -> (snd (half_add pc (BitVectors.vect_of_int 3 `Sixteen))), exit_addr, labels, costs
Note: See TracChangeset for help on using the changeset viewer.