[PATCH] D61916: Teach InstSimplify transform -X + X --> 0.0 about unary FNeg

[Kevin P. Neal via Phabricator via llvm-commits]

kpn added a comment.

If I recall, fneg is not a constrained intrinsic because an fneg will never itself trap.

But a transform of -inf+inf to zero would be invalid by the standard, would it not? Section 7.2 paragraph d? Do we have a way of noting strict conformance to IEEE is required/desired without constrained intrinsics?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D61916