Ignore:
Timestamp:
Oct 26, 2011, 7:45:42 PM (9 years ago)
Author:
tranquil
Message:
  • implemented constant propagation
  • implementing partial redundancy elimination
File:
1 edited

Legend:

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

    r1433 r1468  
    4949
    5050let transformations = ref []
    51 let add_transformation t () = transformations := t :: !transformations
     51let add_transformation t () = transformations := !transformations @ [t]
     52let add_transformations ts () = transformations := !transformations @ ts
    5253let get_transformations () = !transformations
    5354
     
    8889  " Prefix of the output files.";
    8990       
    90         "-peel", Arg.Unit (add_transformation LoopPeeling.trans),
    91         " Apply loop peeling.";
     91    "-peel", Arg.Unit (add_transformation LoopPeeling.trans),
     92    " Apply loop peeling.";
     93               
     94                "-const-prop", Arg.Unit (add_transformation ConstPropagation.trans),
     95    " Apply constant propagation.";
     96
     97    "-red-elim", Arg.Unit (add_transformation RedundancyElimination.trans),
     98    " Apply partial redundancy elimination.";
    9299
    93100(*
Note: See TracChangeset for help on using the changeset viewer.