Ignore:
Timestamp:
Dec 1, 2011, 2:50:27 PM (9 years ago)
Author:
tranquil
Message:

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/options.ml

    r1546 r1580  
    120120    RedundancyElimination.trans;
    121121    CopyPropagation.trans;
    122     RedundancyElimination.trans
     122    RedundancyElimination.trans;
     123    RTLConstPropagation.trans;
     124    SimplePeephole.trans
    123125  ],[
    124126    LoopPeeling.trans
     
    187189    help_specify_opt_stage ~reind:true LoopPeeling.trans;
    188190
    189   "-cst-prop", Arg.Unit (add_transformation ConstPropagation.trans),
     191  "-cst-prop", Arg.Unit (add_transformations
     192                           ([ConstPropagation.trans;
     193                             RTLConstPropagation.trans], [])),
    190194  " Apply constant propagation.";
    191195  help_specify_opt_stage ConstPropagation.trans;
     196  help_specify_opt_stage RTLConstPropagation.trans;
    192197
    193198  "-cpy-prop", Arg.Unit (add_transformation CopyPropagation.trans),
     
    208213  " Apply loop unrolling.";
    209214  help_specify_opt_stage ~reind:true (LoopUnrolling.trans ());
     215
     216  "-peeph", Arg.Unit (add_transformation SimplePeephole.trans),
     217  " Apply some basic peephole optimizations.";
     218  help_specify_opt_stage (SimplePeephole.trans);
    210219
    211220  "-O", Arg.Unit (add_transformations basic_optimizations),
Note: See TracChangeset for help on using the changeset viewer.