Changeset 3039 for src/ASM/ASM.ma


Ignore:
Timestamp:
Mar 29, 2013, 5:45:14 PM (7 years ago)
Author:
tranquil
Message:
  • merged and extended MovSuccessor? and Mov in one instruction (Mov dst

ident offset)

  • JMP now correctly uses ACCDPTR argument
  • LINToASM: ADDRESS now translate to a symbolical Mov (now a preamble

is generated), and globals initialization is fixed accordingly

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASM.ma

    r2999 r3039  
    562562| RETI: preinstruction A
    563563| NOP: preinstruction A
    564 | JMP: [[indirect_dptr]] → preinstruction A.
     564| JMP: [[acc_dptr]] → preinstruction A.
    565565
    566566definition eq_preinstruction: preinstruction [[relative]] → preinstruction [[relative]] → bool ≝
     
    979979  | Jmp: Identifier → pseudo_instruction
    980980  | Jnz : [[acc_a]] → Identifier → Identifier → pseudo_instruction
    981   | MovSuccessor : [[ acc_a ; direct ; registr ]] → word_side → Identifier → pseudo_instruction
    982981  | Call: Identifier → pseudo_instruction
    983   | Mov: [[dptr]] → Identifier → pseudo_instruction.
     982  | Mov: ([[dptr]] ⊎ ([[ acc_a ; direct ; registr ]] × word_side)) →
     983    Identifier → Word → pseudo_instruction.
    984984
    985985definition labelled_instruction ≝ labelled_obj ASMTag pseudo_instruction.
Note: See TracChangeset for help on using the changeset viewer.