Changeset 1089 for src/ASM/I8051.ma


Ignore:
Timestamp:
Jul 27, 2011, 5:50:25 PM (8 years ago)
Author:
mulligan
Message:

more changes from earlier in the week

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1075 r1089  
    6666| RegisterB: Register
    6767| RegisterDPL: Register
    68 | RegisterDPH: Register.
     68| RegisterDPH: Register
     69| RegisterCarry: Register.
    6970
    7071definition nat_of_register: Register → nat ≝
     
    107108  | RegisterDPL ⇒ 34
    108109  | RegisterDPH ⇒ 35
     110  | RegisterCarry ⇒ 36 (* was -1, increment as needed *)
    109111  ].
    110112 
     
    230232  register_DPL_value: option Byte;
    231233  register_DPH_value: option Byte
     234  (* carry only used in liveness analysis *)
    232235}.
    233236
Note: See TracChangeset for help on using the changeset viewer.