Ignore:
Timestamp:
Nov 1, 2011, 6:31:24 PM (9 years ago)
Author:
tranquil
Message:
  • corrected a bug
  • implemented copy propagation
  • enhanced constant propagation with some algebraic equalities
  • temporarily added immediates to RTLabs, to be seen if it is useful
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-indexed-labels-branch/src/options.ml

    r1473 r1477  
    9292    " Apply loop peeling.";
    9393               
    94                 "-const-prop", Arg.Unit (add_transformation ConstPropagation.trans),
     94                "-cst-prop", Arg.Unit (add_transformation ConstPropagation.trans),
    9595    " Apply constant propagation.";
     96
     97    "-cpy-prop", Arg.Unit (add_transformation CopyPropagation.trans),
     98    " Apply copy propagation.";
    9699
    97100    "-pre", Arg.Unit (add_transformation RedundancyElimination.trans),
Note: See TracChangeset for help on using the changeset viewer.