Changeset 1075 for src/ASM/I8051.ma


Ignore:
Timestamp:
Jul 18, 2011, 5:21:14 PM (9 years ago)
Author:
mulligan
Message:

nearly completed rtl -> ertl pass removing all option types with dep. types

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1071 r1075  
    146146definition RegisterSPH ≝ Register07.
    147147definition RegisterRets ≝ [RegisterDPL; RegisterDPH; Register00; Register01].
     148definition RegisterCalleeSaved ≝
     149  [Register20 ; Register21 ; Register22 ; Register23 ; Register24 ; Register25 ; Register26 ; Register27].
    148150
    149151definition register_address: Register → [[ acc_a; direct; registr ]] ≝
Note: See TracChangeset for help on using the changeset viewer.