Ignore:
Timestamp:
Nov 26, 2010, 5:38:04 PM (9 years ago)
Author:
sacerdot
Message:

REGISTER now takes a BitVector? 3

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/ASM.ma

    r297 r316  
    77| INDIRECT: Bit → addressing_mode
    88| EXT_INDIRECT: Bit → addressing_mode
    9 | REGISTER: Bit → Bit → Bit → addressing_mode
     9| REGISTER: BitVector (S (S (S Z))) → addressing_mode
    1010| ACC_A: addressing_mode
    1111| ACC_B: addressing_mode
     
    5151   | indirect ⇒ match A with [ INDIRECT _ ⇒ true | _ ⇒ false ]
    5252   | ext_indirect ⇒ match A with [ EXT_INDIRECT _ ⇒ true | _ ⇒ false ]
    53    | register ⇒ match A with [ REGISTER _ _ _ ⇒ true | _ ⇒ false ]
     53   | register ⇒ match A with [ REGISTER _ ⇒ true | _ ⇒ false ]
    5454   | acc_a ⇒ match A with [ ACC_A ⇒ true | _ ⇒ false ]
    5555   | acc_b ⇒ match A with [ ACC_B ⇒ true | _ ⇒ false ]
Note: See TracChangeset for help on using the changeset viewer.