Changeset 2705 for src/ASM/ASM.ma


Ignore:
Timestamp:
Feb 22, 2013, 5:56:31 PM (8 years ago)
Author:
sacerdot
Message:

More progress in ASM towards implementing the new pseudoinstructions.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2704 r2705  
    518518| JZ: A → preinstruction A
    519519| JNZ: A → preinstruction A
    520 | JMP: [[indirect_dptr]] → preinstruction A
    521520| CJNE:
    522521   [[acc_a]] × [[direct; data]] ⊎ [[registr; indirect]] × [[data]] → A → preinstruction A
     
    562561| RET: preinstruction A
    563562| RETI: preinstruction A
    564 | NOP: preinstruction A.
     563| NOP: preinstruction A
     564| JMP: [[indirect_dptr]] → preinstruction A.
    565565
    566566definition eq_preinstruction: preinstruction [[relative]] → preinstruction [[relative]] → bool ≝
     
    978978  | Cost: costlabel → pseudo_instruction
    979979  | Jmp: Identifier → pseudo_instruction
    980   | CondJmp : [[acc_a]] → Identifier → Identifier → pseudo_instruction
    981   | MovSuccessor : [[ registr ; indirect ]] → word_side → Identifier → pseudo_instruction
     980  | Jnz : [[acc_a]] → Identifier → Identifier → pseudo_instruction
     981  | MovSuccessor : [[ acc_a ; direct ; registr ]] → word_side → Identifier → pseudo_instruction
    982982  | Call: Identifier → pseudo_instruction
    983983  | Mov: [[dptr]] → Identifier → pseudo_instruction.
Note: See TracChangeset for help on using the changeset viewer.