script_propagate_dce.py

   1 from xform import *
   2 from dataflow import *
   3
   4
   5 def apply(cfg):
   6     # Various algos below don't work with no explicit entry in CFG
   7     cfg_preheader(cfg)
   8     # Also don't work with >1 entries
   9     remove_unreachable_entries(cfg)
  10     # Various algos below require single-exit CFG
  11     cfg_single_exit(cfg)
  12
  13     foreach_inst(cfg, sub_const_to_add)
  14     # Initial pass on simplifying expressions
  15     foreach_inst(cfg, simplify_inst)
  16
  17     analyze_live_vars(cfg)
  18     insert_initial_regs(cfg)
  19
  20     analyze_reach_defs(cfg)
  21     make_du_chains(cfg)
  22     #const_propagation(cfg)
  23     #copy_propagation(cfg)
  24     #mem_propagation(cfg)
  25     expr_propagation(cfg)
  26
  27     analyze_live_vars(cfg)
  28     estimate_params(cfg)
  29     foreach_bblock(cfg, dead_code_elimination)
  30
  31     collect_calls(cfg)