llvm dev - Nov 2014 - [LLVMdev] new set of superoptimizer results

I hope there's some useful material in here!

   http://blog.regehr.org/archives/1192

John

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

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>