Changeset 2934


Ignore:
Timestamp:
Mar 21, 2013, 8:34:35 PM (4 years ago)
Author:
sacerdot
Message:

Patch to obtain more easily comparable traces.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2901 r2934  
    1717let string_of_pass =
    1818 function
    19  | Extracted.Compiler.Clight_pass                -> "Clight_pass"
     19 | Extracted.Compiler.Clight_pass                -> "Clight_pass               "
    2020 | Extracted.Compiler.Clight_switch_removed_pass -> "Clight_switch_removed_pass"
    21  | Extracted.Compiler.Clight_label_pass          -> "Clight_label_pass"
    22  | Extracted.Compiler.Clight_simplified_pass     -> "Clight_simplified_pass"
    23  | Extracted.Compiler.Cminor_pass                -> "Cminor_pass"
    24  | Extracted.Compiler.Rtlabs_pass                -> "Rtlabs_pass"
    25  | Extracted.Compiler.Rtl_separate_pass          -> "Rtl_separate_pass"
    26  | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass"
    27  | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass"
    28  | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass"
    29  | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass"
    30  | Extracted.Compiler.Lin_pass                   -> "Lin_pass"
    31  | Extracted.Compiler.Assembly_pass              -> "Assembly_pass"
    32  | Extracted.Compiler.Object_code_pass           -> "Object_code_pass"
     21 | Extracted.Compiler.Clight_label_pass          -> "Clight_label_pass         "
     22 | Extracted.Compiler.Clight_simplified_pass     -> "Clight_simplified_pass    "
     23 | Extracted.Compiler.Cminor_pass                -> "Cminor_pass               "
     24 | Extracted.Compiler.Rtlabs_pass                -> "Rtlabs_pass               "
     25 | Extracted.Compiler.Rtl_separate_pass          -> "Rtl_separate_pass         "
     26 | Extracted.Compiler.Rtl_uniq_pass              -> "Rtl_uniq_pass             "
     27 | Extracted.Compiler.Ertl_pass                  -> "Ertl_pass                 "
     28 | Extracted.Compiler.Ertlptr_pass               -> "Ertlptr_pass              "
     29 | Extracted.Compiler.Ltl_pass                   -> "Ltl_pass                  "
     30 | Extracted.Compiler.Lin_pass                   -> "Lin_pass                  "
     31 | Extracted.Compiler.Assembly_pass              -> "Assembly_pass             "
     32 | Extracted.Compiler.Object_code_pass           -> "Object_code_pass          "
    3333;;
    3434
     
    4646    print_string (Printer.print_program pass prog);
    4747    Extracted.Semantics.run_and_print pass prog infinity
    48      (fun p -> print_endline ("\n" ^ string_of_pass p ^ ":"); Extracted.Types.It)
     48     (fun p -> print_string ("\n" ^ string_of_pass p ^ ": "); Extracted.Types.It)
    4949     (fun evn -> print_string (string_of_intensional_event evn); Extracted.Types.It)
    5050     (fun msg -> print_endline (Error.errormsg msg); Extracted.Types.It)
Note: See TracChangeset for help on using the changeset viewer.