<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 22, 2014 at 2:13 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"><div class="im">> Well, either removing that or implementing a mechanism to fully model<br>
> this would resolve the issue.<br>
> If this is known to be widely broken the former would be the easiest<br>
> to do, of course. Who should we consult on this, llvm-dev? Should I<br>
> prepare a patch?<br>
<br>
</div>You can try asking on llvmdev. If that does not trigger any useful discussion, then just submit a patch.<br>
<div class="im"><br>
><br>
><br>
> This impacts more than just vectorization, I can construct simple<br>
> testcases where we fail to common scalar sqrt calls.<br>
<br>
</div>Yep.</blockquote></div><br>FWIW, I thin kthis would be *really* good to do.</div><div class="gmail_extra"><br></div><div class="gmail_extra">We're right now in the worst of both worlds: we neither support the feature nor do we take advantage of the fact that we don't support the feature.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">If you post to llvmdev, I'll argue strongly for supporting two worlds:</div><div class="gmail_extra"><br></div><div class="gmail_extra">1) math routines can write to errno, but have no interaction with the FENV business and we don't support modelling that</div>
<div class="gmail_extra">2) math routines cannot even write to errno</div><div class="gmail_extra"><br></div><div class="gmail_extra">These can be toggled by the existing -f(no-)math-errno flags in Clang that I think are actually propagated.</div>
</div>