Ignore:
Timestamp:
Nov 24, 2010, 1:00:41 AM (10 years ago)
Author:
sacerdot
Message:

assembly1 defined on ACALL and ADD: it seems it will become too slow...

File:
1 edited

Legend:

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

    r268 r271  
    110110
    111111ninductive preinstruction (A: Type[0]) : Type[0] ≝
    112    ADD: [[acc_a]] × [[ register ; direct ; indirect ; data ]] -> preinstruction A
     112   ADD: [[acc_a]] -> [[ register ; direct ; indirect ; data ]] -> preinstruction A
    113113 | ADDC: [[acc_a]] × [[ register ; direct ; indirect ; data ]] -> preinstruction A
    114114 | SUBB: [[acc_a]] × [[ register ; direct ; indirect ; data ]] -> preinstruction A
Note: See TracChangeset for help on using the changeset viewer.