[PATCH] D139785: [InstCombine] preserve signbit semantics of NAN with fold to fabs

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

In D139785#4016957 <https://reviews.llvm.org/D139785#4016957>, @spatel wrote:

> In D139785#4016955 <https://reviews.llvm.org/D139785#4016955>, @lebedev.ri wrote:
>
>> Could you add a relevant quote of the IEE spec into the description,
>> and add an example with +NaN and -NaN and describe the outcome (kinda like alive2 counter-example)?
>
> Sure - see updated text. Let me know if you'd like to see something else or different.

Consider also adding https://godbolt.org/z/h9aefnKhE


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139785/new/

https://reviews.llvm.org/D139785