Ignore:
Timestamp:
Apr 2, 2013, 1:02:59 PM (7 years ago)
Author:
sacerdot
Message:

Efficiency of the semantics of assembly improved by avoiding the recomputation
of address_of_word_labels maps at every step.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret.ml

    r3062 r3064  
    42554255    match instr with
    42564256    | ASM.Instruction instr0 ->
    4257       execute_1_preinstruction ticks cm (fun x y ->
    4258         Fetch.address_of_word_labels cm.ASM.code x) instr0 s0
     4257      execute_1_preinstruction ticks cm (fun x y -> addr_of_label x) instr0
     4258        s0
    42594259    | ASM.Comment cmt ->
    42604260      Status.set_clock cm s0 (Nat.plus ticks.Types.fst s0.Status.clock)
Note: See TracChangeset for help on using the changeset viewer.