search for: ivopts

On Oct 29, 2010, at 12:20 PM, Brian West wrote: > On 10/29/10 1:26 PM, Eli Friedman wrote: >> Sure, but you know which induction variables you created; you can just >> zap the unused ones at the end of the pass, no? > This is feasible. We would have to collect more information during OSR > proper pass and add logic to cleanup at the end. > >>> FWIW I noticed

On 10/29/10 1:26 PM, Eli Friedman wrote: > Sure, but you know which induction variables you created; you can just > zap the unused ones at the end of the pass, no? This is feasible. We would have to collect more information during OSR proper pass and add logic to cleanup at the end. >> FWIW I noticed that other optimizations (as seen in StandardPasses.h) are >> followed by

...s likely that OSR is faster, which may interest some people > regardless > of how the output compares. > A few years ago, I implemented OSR (with some slight modifications) in GCC, though it was never committed to mainline (it's on a branch somewhere) It was significantly faster than ivopts (which does what you guys are using LSR for), and found more cases than ivopts did, I just never integrated the same target dependent stuff so it never made it into the mainline. Note that as written in the paper, OSR is pretty target independent because of the order of processing. It expects to...

...ailcall.o gimple-low.o tree-iterator.o tree-phinodes.o tree-ssanames.o tree-sra.o tree-complex.o tree-ssa-loop.o tree-ssa-loop-niter.o tree-ssa-loop-manip.o tree-ssa-threadupdate.o tree-vectorizer.o tree-vect-analyze.o tree-vect-transform.o tree-ssa-loop-ivcanon.o tree-ssa-propagate.o tree-ssa-loop-ivopts.o tree-if-conv.o tree-ssa-loop-unswitch.o alias.o bb-reorder.o bitmap.o builtins.o caller-save.o calls.o cfg.o cfganal.o cfgbuild.o cfgcleanup.o cfglayout.o cfgloop.o cfgloopanal.o cfgloopmanip.o loop-init.o loop-unswitch.o loop-unroll.o cfgrtl.o combine.o conflict.o convert.o coverage.o cse.o csel...

...rs ./tree-ssa-copy.o differs ./tree-ssa-copyrename.o differs ./tree-ssa-dce.o differs ./tree-ssa-dom.o differs ./tree-ssa-dse.o differs ./tree-ssa-forwprop.o differs ./tree-ssa-live.o differs ./tree-ssa-loop-ch.o differs ./tree-ssa-loop-im.o differs ./tree-ssa-loop-ivcanon.o differs ./tree-ssa-loop-ivopts.o differs ./tree-ssa-loop-manip.o differs ./tree-ssa-loop-memset.o differs ./tree-ssa-loop-niter.o differs ./tree-ssa-loop-prefetch.o differs ./tree-ssa-loop-unswitch.o differs ./tree-ssanames.o differs ./tree-ssa.o differs ./tree-ssa-operands.o differs ./tree-ssa-phiopt.o differs ./tree-ssa-pre.o...

...ename.o differs > ./tree-ssa-dce.o differs > ./tree-ssa-dom.o differs > ./tree-ssa-dse.o differs > ./tree-ssa-forwprop.o differs > ./tree-ssa-live.o differs > ./tree-ssa-loop-ch.o differs > ./tree-ssa-loop-im.o differs > ./tree-ssa-loop-ivcanon.o differs > ./tree-ssa-loop-ivopts.o differs > ./tree-ssa-loop-manip.o differs > ./tree-ssa-loop-memset.o differs > ./tree-ssa-loop-niter.o differs > ./tree-ssa-loop-prefetch.o differs > ./tree-ssa-loop-unswitch.o differs > ./tree-ssanames.o differs > ./tree-ssa.o differs > ./tree-ssa-operands.o differs >...