Changeset 2813


Ignore:
Timestamp:
Mar 7, 2013, 9:34:34 PM (6 years ago)
Author:
sacerdot
Message:

RTLabs now printed too

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/exec_all.ml

    r2805 r2813  
    4040
    4141let cl = ClightParser.process Sys.argv.(1) in
    42 let mid =
    43   match Extracted.Compiler.front_end cl with
     42let clsr = Extracted.SwitchRemoval.program_switch_removal cl in
     43let {Extracted.Types.fst=acl;snd=init_cost}=Extracted.Label.clight_label clsr in
     44let acl' = Extracted.SimplifyCasts.simplify_program acl in
     45let cm =
     46 match Extracted.ToCminor.clight_to_cminor acl' with
    4447  | OK o -> o
    4548  | Error m -> failwith (Error.errormsg m) in
    46 let acl = Extracted.Types.snd (Extracted.Types.fst mid) in
    47 run_and_print "Clight:  " Extracted.Clight_classified_system.clight_pcs cl;
    48 run_and_print "LClight: " Extracted.Clight_classified_system.clight_pcs cl
     49let rtla = Extracted.ToRTLabs.cminor_to_rtlabs init_cost cm in
     50run_and_print "Clight:   " Extracted.Clight_classified_system.clight_pcs cl;
     51run_and_print "ClightSR: " Extracted.Clight_classified_system.clight_pcs clsr;
     52run_and_print "LClight:  " Extracted.Clight_classified_system.clight_pcs acl;
     53run_and_print "SClight:  " Extracted.Clight_classified_system.clight_pcs acl';
     54run_and_print "Cminor:   " Extracted.Cminor_classified_system.cminor_pcs cm;
     55let res =
     56run_and_print "RTLabs:   " Extracted.RTLabs_classified_system.rTLabs_pcs rtla
     57in exit res
Note: See TracChangeset for help on using the changeset viewer.