Changeset 1490 for Deliverables/D2.2
- Timestamp:
- Nov 4, 2011, 1:25:41 PM (9 years ago)
- 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 957 957 | `Label s -> pc, exit_addr, StringTools.Map.add s pc labels, costs 958 958 | `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, costs959 | `Mov (_,_) -> (snd (half_add pc (vect_of_int 3 `Sixteen))), exit_addr, labels, costs 960 960 | `Jmp _ 961 961 | `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.