llvm::cannotBeNegativeZero

Return true if we can prove that the specified FP value is never equal to -0.0. Users should use caution when considering PreserveSign denormal-fp-math.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
cannotBeNegativeZero(
    Value const* V,
    SimplifyQuery const& SQ,
    unsigned int Depth = 0);

Return Value

True if V cannot be negative zero.

Parameters

NameDescription
VFloating-point value to test.
SQSimplify query providing context for the analysis.
DepthCurrent recursion depth for this query.