<div dir="ltr"><div class="gmail_default" style="font-size:small"><div class="gmail_default"><div class="gmail_default">Hi Kevin,</div><div class="gmail_default">Same situation for our Go compiler (gollvm). We also use explicit checks for division by zero, and I can't envision a need to have more fine-grained control over rounding/exception-mode for fadd etc.</div><div class="gmail_default">Cheers, Than</div></div></div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Jan 16, 2019 at 5:39 PM Philip Reames via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div bgcolor="#FFFFFF">
<p>For us, constrained fadd and friends aren't particular relevant.
We don't need to model changes to the floating point environment,
and chose to use explicit control flow for fault handling (e.g.
div-by-zero). We might someday explore using constrained
operations for performance reasons, but up until now, haven't
really had the need to. So, no opinion, sorry. <br>
</p>
<p>Philip<br>
</p>
<div class="gmail-m_7522387909426218853moz-cite-prefix">On 1/16/19 10:02 AM, Kevin Neal via
llvm-dev wrote:<br>
</div>
<blockquote type="cite">
<font size="2" face="Courier New"><span style="font-size:11pt">
<div>I’ve got a ticket open where I would very much like some
input from maintainers of other languages that rely on llvm
and use the IRBuilder. See:</div>
<div><font face="Calibri"> </font></div>
<div>Teach the IRBuilder about constrained fadd and friends:</div>
<div><font face="Calibri"><a href="https://reviews.llvm.org/D53157" target="_blank"><font face="Courier New" color="#0563C1"><u>https://reviews.llvm.org/D53157</u></font></a></font></div>
<div><font face="Calibri"> </font></div>
<div>I’m adding support to functions like CreateFAdd() the
ability to optionally emit the constrained math intrinsics
required to support strict floating point mode. This makes
the changes in clang relatively easy, but the concern is
that there may be concerns
that haven’t been raised in the diff. And I’d like to tailor
the interface so that it meets the needs of IRBuilder users,
but ideally that wants input from actual IRBuilder users.</div>
<div><font face="Calibri"> </font></div>
<div>So, can I get some input from other front end authors and
maintainers?</div>
<div><font face="Calibri"> </font></div>
<div>Apologies for the cross posting, but I don’t know how to
more precisely get the attention of the relevant people.</div>
<div><font size="2" face="Calibri"><span style="font-size:10pt">--<font size="2"><span style="font-size:11pt">
<br>
</span></font><font face="Courier New">Kevin P. Neal<br>
</font><font face="Courier New">SAS/C and SAS/C++
Compiler</font></span></font></div>
<div><font size="2"><span style="font-size:10pt">Host
Research and Development</span></font></div>
<div><font size="2"><span style="font-size:10pt">SAS
Institute, Inc.</span></font></div>
<div><font face="Calibri"> </font></div>
<div><font face="Calibri"> </font></div>
<div><font face="Calibri"> </font></div>
<div><font face="Calibri"> </font></div>
</span></font>
<br>
<fieldset class="gmail-m_7522387909426218853mimeAttachmentHeader"></fieldset>
<pre class="gmail-m_7522387909426218853moz-quote-pre">_______________________________________________
LLVM Developers mailing list
<a class="gmail-m_7522387909426218853moz-txt-link-abbreviated" href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>
<a class="gmail-m_7522387909426218853moz-txt-link-freetext" href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a>
</pre>
</blockquote>
</div>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
</blockquote></div>