[PATCH] D72930: [FEnv] Constfold some unary constrained operations

Serge Pavlov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Mar 2 09:30:10 PST 2020


sepavloff added a comment.

> Perhaps we should document the LLVM floating point intrinsics in terms of the IEEE 754-2019 operations rather than the libm functions.

I started preparing documentation patch but got problem with description of `rint` and `nearbyint`: we should describe non-constrained variants as `returning argument rounded toward nearest even`, because they are usable only when default FP environment is set. Asked question in maillist about that.

> If we are agreed on this, then only the rint folding here would need to handle the inexact condition.

Great!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D72930





More information about the llvm-commits mailing list