Changeset 1145


Ignore:
Timestamp:
Aug 30, 2011, 4:02:37 PM (8 years ago)
Author:
mulligan
Message:

changed naming in i8051 of classes of registers to make them consistent

Location:
src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/I8051.ma

    r1119 r1145  
    147147definition RegisterSPL ≝ Register06.
    148148definition RegisterSPH ≝ Register07.
     149definition RegisterForbidden: list Register ≝
     150  [ RegisterSST; RegisterST0; RegisterST1;
     151    RegisterSPL; RegisterSPH ].
     152definition RegisterParams: list Register ≝
     153  [ Register30; Register31; Register32; Register33;
     154    Register34; Register35; Register36; Register37 ].
    149155definition Registers ≝
    150156  [Register00; Register01; Register02; Register03; Register04;
     
    167173  [Register20; Register21; Register22; Register23; Register24;
    168174   Register25; Register26; Register27].
    169 definition RegisterParameters ≝
    170   [Register30; Register31; Register32; Register33; Register34; Register35;
    171    Register36; Register37].
    172175
    173176definition register_address: Register → [[ acc_a; direct; registr ]] ≝
     
    192195    ]
    193196qed.
    194    
    195 definition registers: list Register ≝
    196   [ Register00; Register01; Register02; Register03;
    197     Register04; Register05; Register06; Register07;
    198     RegisterA; RegisterB; RegisterDPL; RegisterDPH;
    199     Register10; Register11; Register12; Register13;
    200     Register14; Register15; Register16; Register17;
    201     Register20; Register21; Register22; Register23;
    202     Register24; Register25; Register26; Register27;
    203     Register30; Register31; Register32; Register33;
    204     Register34; Register35; Register36; Register37;
    205     RegisterSST; RegisterST0; RegisterST1;
    206     RegisterSPL; RegisterSPH ].
    207    
    208 definition forbidden_registers: list Register ≝
    209   [ RegisterSST; RegisterST0; RegisterST1;
    210     RegisterSPL; RegisterSPH ].
    211    
    212 definition parameters: list Register ≝
    213   [ Register30; Register31; Register32; Register33;
    214     Register34; Register35; Register36; Register37 ].
    215197   
    216198record RegisterMap: Type[0] ≝
  • src/utilities/Interference.ma

    r1127 r1145  
    11include "basics/types.ma".
    22include "basics/list.ma".
     3include "common/Graphs.ma".
    34include "common/Registers.ma".
    45
    5 axiom interference_graph: Type[0].
     6definition interference_graph ≝ graph label.
    67axiom vertex: Type[0].
    78axiom vertex_set: Type[0].
Note: See TracChangeset for help on using the changeset viewer.