<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Sat, Oct 18, 2014 at 10:07 AM, Sean Silva <span dir="ltr"><<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Sat, Oct 18, 2014 at 2:47 AM, David Majnemer <span dir="ltr"><<a href="mailto:david.majnemer@gmail.com" target="_blank">david.majnemer@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">InstCombine is not supposed to handle every possible just because it is theoretically possible case.  It's engineered to be a series of engineering tradeoffs.  I don't know what the history of the similar transform is in VisitAdd, it's possible that it wasn't added in a principled way.<br></blockquote><div><br></div></span><div>IIRC I did a cursory look at the blame and it was actually you who showed up for the corresponding transform in VisitAdd. Or maybe you were committing a patch for someone? Probably worth taking a look at the log to see if you remember.</div></div></div></div></blockquote><div><br></div><div>I believe it was reduced from the Linux kernel.  Frankly, I fail to see the relevance to whether or not we should accept this patch.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
<br>
If we were to arbitrarily add patterns, we would eventually make InstCombine cripplingly slow.<br>
</span><div><div><br>
<a href="http://reviews.llvm.org/D5719" target="_blank">http://reviews.llvm.org/D5719</a><br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br></div></div>
</blockquote></div><br></div></div>