[PATCH] D148792: LangRef: Clarify behavior of minnum/maxnum

Thu Apr 20 05:39:02 PDT 2023

arsenm added a comment.

In D148792#4283350 <https://reviews.llvm.org/D148792#4283350>, @nikic wrote:

> Not sure I follow. If a NaN is returned, the NaN will always be quiet.

This is distinguishing quiet and signaling nans. Not only is this inconsistent with the IR policy for unconstrained FP operations, it's not the behavior of libm fmin/fmax.

These intrinsics have the fmin/fmax behavior and were incorrectly named. The first sentence describes the IEEE754 behavior, and the second paragraph elaborates that they do not.

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

https://reviews.llvm.org/D148792