[llvm-dev] Semantics of fdiv division by zero

Jan Finis via llvm-dev llvm-dev at lists.llvm.org
Thu Jun 22 08:04:54 PDT 2017

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?


Jan Finis

More information about the llvm-dev mailing list