[LLVMdev] some superoptimizer results

[Sean Silva]

I just noticed: most of the results in this batch seem to be about
exploiting `[zs]ext i1` having cost 1 in order to replace a select of cost
3.

Could you do a run where select has cost 1 and [zs]ext i1 (and trunc to i1)
has cost 2 or 3?

-- Sean Silva

On Wed, Jul 22, 2015 at 10:15 AM, John Regehr <regehr at cs.utah.edu> wrote:

> We (the folks working on Souper) would appreciate any feedback on these
> IR-level superoptimizer results:
>
>   http://blog.regehr.org/extra_files/souper-jul-15.html
>
> My impression is that while there's clearly plenty of material in here
> that doesn't want to get implemented in an opt pass, there are a number of
> gems hiding in there that are worth implementing.
>
> Blog post containing additional explanation and caveats is here:
>
>   http://blog.regehr.org/archives/1252
>
> Thanks!
>
> 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/20150722/4eccbf5a/attachment.html>