[LLVMdev] new set of superoptimizer results
John Regehr
regehr at cs.utah.edu
Tue Nov 25 09:03:50 PST 2014
Actually, let me save you some time by pointing out the thing that is
perhaps immediately useful about our recent work, which is the fact that
Souper now supports "optimization profiling".
If you build an LLVM using Souper and then use that LLVM to build SPEC
CPU 2006, here are optimizations ranked by dynamic profile count:
http://blog.regehr.org/extra_files/souper-nov-14/bydprofile.html
In other words, if you implement optimizations near the top of this list,
you would be likely to make LLVM compile SPEC CPU 2006 in less time.
Here are the optimizations sorted by static profile count:
http://blog.regehr.org/extra_files/souper-nov-14/bysprofile.html
Implementing the highly ranked ones would be likely to make the clang
binary smaller.
Finally here are the optimizations sorted by size; this is handy because
the higher-ranked ones are generally easier to understand:
http://blog.regehr.org/extra_files/souper-nov-14/bysize.html
John
More information about the llvm-dev
mailing list