<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 7, 2014 at 8:13 AM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">----- Original Message -----<br>
> From: "Anton Korobeynikov" <<a href="mailto:anton@korobeynikov.info">anton@korobeynikov.info</a>><br>
> To: "sonam kumari" <<a href="mailto:sonam.kumari@samsung.com">sonam.kumari@samsung.com</a>>, "suyog sarda" <<a href="mailto:suyog.sarda@samsung.com">suyog.sarda@samsung.com</a>>, "david majnemer"<br>
> <<a href="mailto:david.majnemer@gmail.com">david.majnemer@gmail.com</a>>, <a href="mailto:dexonsmith@apple.com">dexonsmith@apple.com</a>, <a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a><br>
> Cc: <a href="mailto:anton@korobeynikov.info">anton@korobeynikov.info</a>, <a href="mailto:chisophugis@gmail.com">chisophugis@gmail.com</a>, <a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
> Sent: Friday, November 7, 2014 12:54:49 AM<br>
> Subject: Re: [PATCH] Added a new transformation " (sub (or A, B) (and A, B)) --> (xor A, B) "<br>
><br>
> The question still applies (and actually is very in-line with Hal's<br>
> comments in D5719<br>
<br>
</span>Just to be clear, I think these (three nodes -> one node) transformations, which don't rely on calls to ValueTracking, should all be added (because, in my experience working on a superoptimizer, they essentially all happen eventually and lacking them leads to surprising behavior in combination with other optimizations).<br></blockquote><div><br></div><div>Sonam, could you maybe write a script to test all possible 3->1 transformations and see which ones are valid?</div><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">
<br>
However, that having been said, it is a perfectly reasonable question to ask what motivated this particular patch? How did you see this? The answer to this question might motivate other work, allow us to better understand the results of other optimizations, etc. and so I still believe that understanding the motivation is important.<br>
<br>
Thanks again,<br>
Hal<br>
<div class="HOEnZb"><div class="h5"><br>
>) - you need to provide some evidence that such<br>
> pattern indeed happens in practice (why it's so hard to count how<br>
> many times it happens in test-suite? after more than month?). And<br>
> it's not some random stuff which you simple want to commit in due to<br>
> 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>
><br>
<br>
</div></div><span class="HOEnZb"><font color="#888888">--<br>
Hal Finkel<br>
Assistant Computational Scientist<br>
Leadership Computing Facility<br>
Argonne National Laboratory<br>
</font></span></blockquote></div><br></div></div>