Changeset 2776


Ignore:
Timestamp:
Mar 5, 2013, 9:53:01 PM (6 years ago)
Author:
sacerdot
Message:

The compiler now extracts also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/compiler.ml

    r2759 r2776  
    2424
    2525let cl = ClightParser.process Sys.argv.(1) in
    26 let OK {Extracted.Types.fst = oc; snd = acl} = Extracted.Compiler.compile cl in
    27 let {Extracted.Types.dpi1 = labelled; Extracted.Types.dpi2 = l_costmap} = acl in
     26let OK output (*{Extracted.Types.fst = oc; snd = acl}*) = Extracted.Compiler.compile cl in
     27let labelled = output.Extracted.Compiler.c_labelled_clight in
     28let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
    2829let style =
    2930  match try Sys.argv.(2) with _ -> "instrumented" with
Note: See TracChangeset for help on using the changeset viewer.