[PATCH] D129231: [Builtins] Do not claim all libfuncs are readnone with trapping math.

[Steve Canon via Phabricator via cfe-commits]

scanon added a comment.

The CFP working group and C23 have since clarified this in Annex F:

> The returned value is exact and is independent of the current rounding direction mode.

They never set inexact on an implementation that claims 60559 conformance. The only flag that these operations may set is invalid on signaling NaN input.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D129231