Changeset 2169


Ignore:
Timestamp:
Jul 9, 2012, 2:08:48 PM (5 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:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/ERTL/liveness.ml

    r1589 r2169  
    6464  | St_set_carry _ ->
    6565    Register.Set.empty, I8051.RegisterSet.singleton I8051.carry
     66  | St_opaccsA (_, r, _, _, _)
     67  | St_opaccsB (_, r, _, _, _)
    6668  | St_op2 (I8051.Add, r, _, _, _)
    6769  | St_op2 (I8051.Addc, r, _, _, _)
     
    7577  | St_addrL (r, _, _)
    7678  | St_move (r, _, _)
    77   | St_opaccsA (_, r, _, _, _)
    78   | St_opaccsB (_, r, _, _, _)
    7979  | St_op1 (_, r, _, _)
    8080  | St_op2 (_, r, _, _, _)
Note: See TracChangeset for help on using the changeset viewer.