<div dir="ltr"><div>Thanks, all - checked in r220514.<br><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 23, 2014 at 2:32 PM, 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: "Stephen Canon" <<a href="mailto:scanon@apple.com">scanon@apple.com</a>><br>
> To: "Hal Finkel" <<a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a>><br>
> Cc: <a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a>, <a href="mailto:spatel@rotateright.com">spatel@rotateright.com</a>, <a href="mailto:beanz@apple.com">beanz@apple.com</a>,<br>
> <a href="mailto:reviews%2BD5919%2Bpublic%2B763adead774985f1@reviews.llvm.org">reviews+D5919+public+763adead774985f1@reviews.llvm.org</a><br>
</span><span class="">> Sent: Thursday, October 23, 2014 3:26:47 PM<br>
> Subject: Re: [PATCH] Handle sqrt() shrinking in SimplifyLibCalls like any other call<br>
><br>
</span><div><div class="h5">> On Oct 23, 2014, at 3:57 PM, Hal Finkel < <a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a> > wrote:<br>
><br>
> ----- Original Message -----<br>
><br>
><br>
> From: "Hal Finkel" < <a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a> ><br>
> To: "Stephen Canon" < <a href="mailto:scanon@apple.com">scanon@apple.com</a> ><br>
> Cc: <a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a> , <a href="mailto:spatel@rotateright.com">spatel@rotateright.com</a> ,<br>
> <a href="mailto:beanz@apple.com">beanz@apple.com</a> ,<br>
> <a href="mailto:reviews%2BD5919%2Bpublic%2B763adead774985f1@reviews.llvm.org">reviews+D5919+public+763adead774985f1@reviews.llvm.org</a><br>
> Sent: Thursday, October 23, 2014 2:51:34 PM<br>
> Subject: Re: [PATCH] Handle sqrt() shrinking in SimplifyLibCalls like<br>
> any other call<br>
><br>
> ----- Original Message -----<br>
><br>
><br>
> From: "Stephen Canon" < <a href="mailto:scanon@apple.com">scanon@apple.com</a> ><br>
> To: "Hal Finkel" < <a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a> ><br>
> Cc: <a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a> , <a href="mailto:spatel@rotateright.com">spatel@rotateright.com</a> ,<br>
> <a href="mailto:beanz@apple.com">beanz@apple.com</a> ,<br>
> <a href="mailto:reviews%2BD5919%2Bpublic%2B763adead774985f1@reviews.llvm.org">reviews+D5919+public+763adead774985f1@reviews.llvm.org</a><br>
> Sent: Thursday, October 23, 2014 2:46:17 PM<br>
> Subject: Re: [PATCH] Handle sqrt() shrinking in SimplifyLibCalls<br>
> like any other call<br>
><br>
> (float)sqrt((double)x) —> sqrtf(x) is a valid transformation [See<br>
> Sam<br>
> Figueroa’s thesis for details].<br>
><br>
> Does this assume that the sqrtf is correct to <= 0.5ulps?<br>
><br>
> I suppose that C99 F.3 does say that, "The sqrt functions in <math.h><br>
> provide the IEC 60559 square root operation.", so perhaps this is a<br>
> safe assumption on a compliant system.<br>
><br>
> Alright, Sanjay, go ahead. You're not actually changing anything. ;)<br>
><br>
> Yeah, I would say that a system without a correctly rounded sqrtf is<br>
> broken. (But: Annex F is not required).<br>
<br>
</div></div>True, but a user can always pass -fno-builtin-sqrt if this really bothers them.<br>
<br>
 -Hal<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
--<br>
Hal Finkel<br>
Assistant Computational Scientist<br>
Leadership Computing Facility<br>
Argonne National Laboratory<br>
</div></div></blockquote></div><br></div>