<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 7, 2014 at 10:23 PM, suyog sarda <span dir="ltr"><<a href="mailto:sardask01@gmail.com" target="_blank">sardask01@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div>Hi Sean,<br><br></div><div>Didn't get the context of your comment (I didn't comment on this thread at any point of time :). <br>I think you meant Sonam as she has mentioned in this thread that similar transformation <br>exist in VisitAdd()).<br></div></div></blockquote><div><br></div><div>Yeah, I meant Sonam. Oops. Sorry about that.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><br></div><div>Do you want me to do something on this? <br><br></div><div>I am of the opinion (after working on similar kind of patches earlier) that there can be n number <br>of such combinations and there needs to be general combiner for pattern (Hence, i stopped submitting<br></div><div>such patches these days :) ). <br></div><div><br></div><div>As mentioned earlier by you and Daniel in below thread, this can be achieved by having a table <br></div><div>of preferred form of expression (may be tblegen can help in this, not sure).<br><br><a href="http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-August/075843.html" target="_blank">http://lists.cs.uiuc.edu/pipermail/llvmdev/2014-August/075843.html</a><br><br></div></div></blockquote><div><br></div><div>Yeah, it seems like a table would be more effective. At the LLVM dev meeting recently I also learned that there are plans to generate instcombine transformations automatically (alongside SMT code that can be used to prove their correctness).</div><div><br></div><div>-- Sean Silva<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote"><div><div class="h5">On Sat, Nov 8, 2014 at 9:31 AM, Sean Silva <span dir="ltr"><<a href="mailto:chisophugis@gmail.com" target="_blank">chisophugis@gmail.com</a>></span> wrote:<br></div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div><div class="h5"><div dir="ltr">Upthread Suyog mentions a "similar" transformation in visitAdd, which was added in r155674 referencing a rdar. I'm not sure how Suyog got from that transformation to this one though (a script? seems difficult to deduce).</div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 6, 2014 at 10:54 PM, Anton Korobeynikov <span dir="ltr"><<a href="mailto:anton@korobeynikov.info" target="_blank">anton@korobeynikov.info</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">The question still applies (and actually is very in-line with Hal's comments in D5719) - you need to provide some evidence that such pattern indeed happens in practice (why it's so hard to count how many times it happens in test-suite? after more than month?). And it's not some random stuff which you simple want to commit in due to some reason you do not want to share with us.<br>
<br>
<a href="http://reviews.llvm.org/D5720" target="_blank">http://reviews.llvm.org/D5720</a><br>
<br>
<br>
</blockquote></div><br></div>
</div></div><br></div></div><span class="">_______________________________________________<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>
<br></span></blockquote></div><span class=""><font color="#888888"><br><br clear="all"><br>-- <br><div>With regards,<br>Suyog Sarda<br></div>
</font></span></div>
</blockquote></div><br></div></div>