<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-2022-jp">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Unfortunately, no flag in [1] mentions anything about devision by zero. So it still seems<br>
that there is no place in the reference where anything is stated about the semantics of it.<br>
<br>
On 22/06/17 17:27, 陳韋任 wrote:<br>
</div>
<blockquote type="cite" cite="mid:CAFSLk9cHTuBYAP-h2W2caNdT8aiK0V2-dRjnkAgOejK54XodAA@mail.gmail.com">
<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" moz-do-not-send="true">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" moz-do-not-send="true">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" moz-do-not-send="true">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank" moz-do-not-send="true">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/%7Echenwj" target="_blank" moz-do-not-send="true">
https://people.cs.nctu.edu.tw/~chenwj</a></div>
</div>
</div>
</div>
</blockquote>
<p><br>
</p>
</body>
</html>