Changeset 643 for Deliverables/D2.2/8051/src/ASM

Timestamp:

Mar 7, 2011, 2:28:24 PM (10 years ago)

Author:

ayache

Message:

Bug fix in ASMCosts in D2.2.

File:

• Deliverables/D2.2/8051/src/ASM/ASMCosts.ml (modified) (1 diff)

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

@@ -59 +59 @@
   | [] -> 0
   | [pc] when BitVectors.WordMap.mem pc costs -> 0
+  | [pc] -> block_cost mem costs pc
   | next_pcs ->
-    compare (List.map (fun pc -> (pc, block_cost mem costs pc)) next_pcs)
+    compare (List.map (fun pc -> (pc, block_costl mem costs [pc])) next_pcs)
 
 and block_cost mem costs pc =