[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