[PATCH] D148858: ValueTracking: Replace CannotBeNegativeZero

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

In D148858#4287981 <https://reviews.llvm.org/D148858#4287981>, @kpn wrote:

> Are we certain that a constrained sqrt() folded away will be as accurate as not folded when the rounding mode is different?

I don't see how rounding can come into this. The only way to produce a -0 is a -0 source, where no rounding is involved. The exception would be for denormal flushing which isn't quite the same as rounding


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

https://reviews.llvm.org/D148858