[llvm-dev] Semantics of fdiv division by zero

[陳韋任 via llvm-dev]

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>:

> 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
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>



-- 
Wei-Ren Chen (陳韋任)
Homepage: https://people.cs.nctu.edu.tw/~chenwj
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170622/378512e9/attachment.html>