Changeset 1490 for Deliverables/D2.2

Timestamp:

Nov 4, 2011, 1:25:41 PM (8 years ago)

Author:

ayache

Message:

Function pointers fixed.

Location:

Deliverables/D2.2/8051/src

Files:

• ASM/ASMInterpret.ml (modified) (1 diff)
• clight/clightLustre.ml (added)
• clight/clightLustre.mli (added)
• clight/clightLustreMain.ml (added)
• clight/clightLustreMain.mli (added)

Deliverables/D2.2/8051/src/ASM/ASMInterpret.ml

@@ -957 +957 @@
       | `Label s -> pc, exit_addr, StringTools.Map.add s pc labels, costs
       | `Cost s -> pc, exit_addr, labels, BitVectors.WordMap.add pc s costs
-      | `Mov (_,_) -> (snd (half_add pc (vect_of_int 1 `Sixteen))), exit_addr, labels, costs
+      | `Mov (_,_) -> (snd (half_add pc (vect_of_int 3 `Sixteen))), exit_addr, labels, costs
       | `Jmp _ 
       | `Call _ -> (snd (half_add pc (BitVectors.vect_of_int 3 `Sixteen))), exit_addr, labels, costs