Changeset 2169

Timestamp:

Jul 9, 2012, 2:08:48 PM (8 years ago)

Author:

tranquil

Message:

corrected bug where definition of carry bit by MUL and DIV (which always clear the bit) was not registered

File:

• Deliverables/D2.2/8051/src/ERTL/liveness.ml (modified) (2 diffs)

Deliverables/D2.2/8051/src/ERTL/liveness.ml

@@ -64 +64 @@
   | St_set_carry _ ->
     Register.Set.empty, I8051.RegisterSet.singleton I8051.carry
+  | St_opaccsA (_, r, _, _, _)
+  | St_opaccsB (_, r, _, _, _)
   | St_op2 (I8051.Add, r, _, _, _)
   | St_op2 (I8051.Addc, r, _, _, _)
@@ -75 +77 @@
   | St_addrL (r, _, _)
   | St_move (r, _, _)
-  | St_opaccsA (_, r, _, _, _)
-  | St_opaccsB (_, r, _, _, _)
   | St_op1 (_, r, _, _)
   | St_op2 (_, r, _, _, _)