Extract the handling from cannotBeOrderedLessThanZeroImpl and
avoid the mentioned -0 bug.
Details
Details
Diff Detail
Diff Detail
Event Timeline
llvm/lib/Analysis/ValueTracking.cpp | ||
---|---|---|
4561 | This is checking that bit 0 is the only bit known to be zero. I think you want ExponentKnownBits.Zero[0]. | |
4562 | I don't think the result can be -0 here either, can it? | |
4577–4579 | I think this simplifies to: if (KnownSrc.isKnownNot(fcNegative)) Known.knownNot(fcNegative); | |
4582–4584 | Remove this? |
llvm/lib/Analysis/ValueTracking.cpp | ||
---|---|---|
4577–4579 | don't think denormal matters after all |