<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Maybe the semantic somehow implied by [1], but I think it's desired a better definition.</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">[1] <a href="http://llvm.org/docs/LangRef.html#fast-math-flags">http://llvm.org/docs/LangRef.html#fast-math-flags</a></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-06-22 23:04 GMT+08:00 Jan Finis via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hey guys,<br>
<br>
I am wondering what the semantics for fdiv is, if the denominator is<br>
zero. For sdiv, the language reference specifies that this is undefined<br>
behavior. For fdiv, the language reference says nothing (hence, I assume<br>
that it is defined somehow).<br>
<br>
So how is it defined? Does it follow IEEE-754 definition, i.e., +Inf if<br>
nominator is > 0, -Inf if nominator is < 0, otherwise NaN?<br>
<br>
Regards,<br>
<br>
Jan Finis<br>
<br>
<br>
<br>
<br>
______________________________<wbr>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">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/<wbr>mailman/listinfo/llvm-dev</a><br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Wei-Ren Chen (陳韋任)<br>Homepage: <a href="https://people.cs.nctu.edu.tw/~chenwj" target="_blank">https://people.cs.nctu.edu.tw/~chenwj</a></div></div></div>
</div>