Ignore:
Timestamp:
Mar 28, 2013, 9:56:26 AM (8 years ago)
Author:
sacerdot
Message:
  1. performance improved: the type inference was inferring load_code_memory ... in computational positions, duplicating the work at every step of execution of the assembly code. We now force the use of the let-in-ed variable
  2. new extraction after 1)
  3. driver/printer.ml repaired
  4. the output of the intermediate passes is now printed on file
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/interpret2.ml

    r2951 r2993  
    165165    ASM.labelled_object_code -> Measurable.preclassified_system **)
    166166let oC_preclassified_system c =
     167  let lcm =(Fetch.load_code_memory c.ASM.oc) in
    167168  mk_preclassified_system_of_abstract_status (ASMCosts.oC_abstract_status c)
    168169    (fun st ->
    169170    Monad.m_return0 (Monad.max_def IOMonad.iOMonad)
    170       (Interpret.execute_1 (Fetch.load_code_memory c.ASM.oc) (Obj.magic st)))
     171      (Interpret.execute_1 lcm (Obj.magic st))
     172    )
    171173    (Obj.magic (Status.initialise_status (Fetch.load_code_memory c.ASM.oc)))
    172174
Note: See TracChangeset for help on using the changeset viewer.