[LLVMdev] Float undef value propagation

[Tim Northover]

On 11 December 2013 20:25, Raoux, Thomas F <thomas.f.raoux at intel.com> wrote:
> Well in IEEE-754 Nan + any value returns Nan, so doing Nan + undef -> undef is wrong.

I see what you mean having re-read the language reference. It looks
like LLVM's "undef" has to be *some* bitpattern at any point, and that
allows IEEE room to come in and say what the result is.

Tim.