Changeset 910 for src/ASM/Interpret.ma


Ignore:
Timestamp:
Jun 9, 2011, 10:36:35 AM (9 years ago)
Author:
mulligan
Message:

removed bug in execute_1_pseudoinstruction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Interpret.ma

    r865 r910  
    11include "ASM/Status.ma".
    22include "ASM/Fetch.ma".
     3include "ASM/Assembly.ma".
    34
    45definition sign_extension: Byte → Word ≝
     
    683684      let s ≝ write_at_stack_pointer ? s pc_bu in
    684685        set_program_counter ? s a
    685     | Mov dptr ident ⇒ set_arg_16 ? s (get_arg_16 ? s (DATA16 (address_of_word_labels s ident))) dptr
     686    | Mov dptr ident ⇒
     687      let preamble ≝ \fst (code_memory ? s) in
     688      let data_labels ≝ construct_datalabels preamble in
     689        set_arg_16 ? s (get_arg_16 ? s (DATA16 (lookup ? ? ident data_labels (zero ?)))) dptr
    686690    ]
    687691  in
Note: See TracChangeset for help on using the changeset viewer.