<div dir="ltr">Hi Chad and Davide,<div>  Thanks for working on this.</div><div>I don't know enough about LLVM internals (yet?) to contribute here, but it's nice to "listen-in" on the discussion and watch the progress :)</div><div><br></div><div>- Johan</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 7, 2017 at 10:59 PM, Davide Italiano <span dir="ltr"><<a href="mailto:davide@freebsd.org" target="_blank">davide@freebsd.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Fri, Jul 7, 2017 at 1:47 PM, Chad Rosier <<a href="mailto:mcrosier@codeaurora.org">mcrosier@codeaurora.org</a>> wrote:<br>
> David/Johan,<br>
><br>
> I would love to claim victory, but I don't think that D34901 catches this<br>
> case.<br>
><br>
<br>
</span>Hi Chad, thanks for taking another look at this.<br>
Maybe I didn't bisect correctly. Apologies. Anyway, more fun for us.<br>
<span class=""><br>
> However, I got interested and threw this together quickly:<br>
> <a href="https://reviews.llvm.org/D35140" rel="noreferrer" target="_blank">https://reviews.llvm.org/<wbr>D35140</a>.<br>
><br>
> This does catch the below case.  If people are interested I can add test<br>
> cases and submit for formal review.  FWIW, it does hit about 1/3 of all of<br>
> the SPEC benchmarks.  I haven't done any performance analysis to see if it<br>
> matters, however.<br>
><br>
<br>
</span>As I stated earlier, I think this calls for a slightly better VRP<br>
[and/or improvements in VRP] & I'm not entirely sure `InstCombine` is<br>
the best place for this transform.<br>
OTOH, the fact this triggers a lot is a good thing, if your WIP patch<br>
actually results in performance improvements, we should consider a<br>
more general solution to address this kind of issues.<br>
<br>
--<br>
Davide<br>
</blockquote></div><br></div>