Changeset 3024 for src/ASM


Ignore:
Timestamp:
Mar 28, 2013, 10:53:54 PM (7 years ago)
Author:
sacerdot
Message:

Bug fixed: set_flags was ignoring the cy and ov flags.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2907 r3024  
    521521    let new_ac ≝ match ac with [ None ⇒ old_ac | Some j ⇒ j ] in
    522522      set_8051_sfr ?? s SFR_PSW
    523       [[ old_cy ; new_ac ; old_fo ; old_rs1 ;
    524          old_rs0 ; old_ov ; old_ud ; old_p ]].
     523      [[ cy ; new_ac ; old_fo ; old_rs1 ;
     524         old_rs0 ; ov ; old_ud ; old_p ]].
    525525    [1,2,3,4,5,6,7,8:
    526526       normalize
Note: See TracChangeset for help on using the changeset viewer.