Changeset 1187 for src/ASM


Ignore:
Timestamp:
Sep 5, 2011, 5:13:49 PM (8 years ago)
Author:
mulligan
Message:

fixed build.ma

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1145 r1187  
    173173  [Register20; Register21; Register22; Register23; Register24;
    174174   Register25; Register26; Register27].
     175definition RegistersForbidden ≝
     176  [RegisterA; RegisterB; RegisterDPL; RegisterDPH;
     177   RegisterSPL; RegisterSPH; RegisterST0; RegisterST1;
     178   RegisterST2; RegisterST3; RegisterSST].
    175179
    176180definition register_address: Register → [[ acc_a; direct; registr ]] ≝
Note: See TracChangeset for help on using the changeset viewer.