[LLVMdev] new set of superoptimizer results

Reid Kleckner rnk at google.com
Tue Nov 25 09:58:05 PST 2014


Cool! Looks like we do lots of provably unnecessary alignment checks. :)

On Tue, Nov 25, 2014 at 9:03 AM, John Regehr <regehr at cs.utah.edu> wrote:

> 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
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20141125/a69806ef/attachment.html>


More information about the llvm-dev mailing list