Changeset 2999 for driver/ASMPrinter.ml


Ignore:
Timestamp:
Mar 28, 2013, 12:47:55 PM (8 years ago)
Author:
sacerdot
Message:

code_memory added to labelled_object_code to avoid recomputing it every time.
This gives a major speed up in the semantics of the extracted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/ASMPrinter.ml

    r2778 r2999  
    33
    44let print_program p =
    5   let code_memory = Extracted.Fetch.load_code_memory p in
    6   let intel_hex = IntelHex.pack_exported_code_memory 16 65535 code_memory in
     5  let intel_hex =
     6   IntelHex.pack_exported_code_memory 16 65535 p.Extracted.ASM.cm in
    77  IntelHex.string_of_intel_hex_format intel_hex
Note: See TracChangeset for help on using the changeset viewer.