<div dir="ltr">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.<div><br></div><div>Could you do a run where select has cost 1 and [zs]ext i1 (and trunc to i1) has cost 2 or 3?</div><div><br></div><div>-- Sean Silva</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jul 22, 2015 at 10:15 AM, John Regehr <span dir="ltr"><<a href="mailto:regehr@cs.utah.edu" target="_blank">regehr@cs.utah.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">We (the folks working on Souper) would appreciate any feedback on these IR-level superoptimizer results:<br>
<br>
  <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__blog.regehr.org_extra-5Ffiles_souper-2Djul-2D15.html&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=FeaFaa2bP_QbAZaiW57-Psq03bx-dVdzJz4wClcuvBg&s=jnv705X7LjHJhe7q1qyWSNNNaEgxCWKTteW88utEyA0&e=" rel="noreferrer" target="_blank">http://blog.regehr.org/extra_files/souper-jul-15.html</a><br>
<br>
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.<br>
<br>
Blog post containing additional explanation and caveats is here:<br>
<br>
  <a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__blog.regehr.org_archives_1252&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=FeaFaa2bP_QbAZaiW57-Psq03bx-dVdzJz4wClcuvBg&s=RgTj4wusWK2X6xeJ8wxaIQKeFukbRh3_bN_K-8tWFu0&e=" rel="noreferrer" target="_blank">http://blog.regehr.org/archives/1252</a><br>
<br>
Thanks!<br>
<br>
John<br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" rel="noreferrer" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" rel="noreferrer" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</blockquote></div><br></div>