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

Name

Description

V

Floating‐point value to test.

SQ

Simplify query providing context for the analysis.

Depth

Current recursion depth for this query.

Created with MrDocs