[llvm-dev] Semantics of fdiv division by zero
Jan Finis via llvm-dev
llvm-dev at lists.llvm.org
Thu Jun 22 09:25:00 PDT 2017
Unfortunately, no flag in [1] mentions anything about devision by zero. So it still seems
that there is no place in the reference where anything is stated about the semantics of it.
On 22/06/17 17:27, 陳韋任 wrote:
Maybe the semantic somehow implied by [1], but I think it's desired a better definition.
[1] http://llvm.org/docs/LangRef.html#fast-math-flags
2017-06-22 23:04 GMT+08:00 Jan Finis via llvm-dev <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>>:
Hey guys,
I am wondering what the semantics for fdiv is, if the denominator is
zero. For sdiv, the language reference specifies that this is undefined
behavior. For fdiv, the language reference says nothing (hence, I assume
that it is defined somehow).
So how is it defined? Does it follow IEEE-754 definition, i.e., +Inf if
nominator is > 0, -Inf if nominator is < 0, otherwise NaN?
Regards,
Jan Finis
_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
--
Wei-Ren Chen (陳韋任)
Homepage: https://people.cs.nctu.edu.tw/~chenwj<https://people.cs.nctu.edu.tw/%7Echenwj>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170622/12e7c3ad/attachment.html>
More information about the llvm-dev
mailing list