<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 6, 2016 at 4:39 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">On Wed, Jan 6, 2016 at 11:23 AM, Sanjay Patel via llvm-commits<br>
<<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br>
> Author: spatel<br>
> Date: Wed Jan  6 13:23:35 2016<br>
> New Revision: 256964<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=256964&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=256964&view=rev</a><br>
> Log:<br>
> [LibCallSimplifier] use instruction-level fast-math-flags for tan/atan transform<br>
><br>
<br>
Oh thanks, this is very nice and have been in my TODO list for a while<br>
(but other stuffs had higher priority). Your comment mentions "trig<br>
functions" and their inverse -- is there a reason why this can't be<br>
extended to pair of functions which are one the inverse of each other<br>
(e.g. exp/log)?<br></blockquote><div><br></div><div>No, there's no reason this shouldn't be extended to any inverse pairs. I just didn't think past "if tan(), why not sin()?"<br></div><div>I think another hole is that we only recognize one direction. Eg, tan(atan(x)) --> x , but atan(tan(x)) isn't matched.<br></div><div> </div></div></div></div>