llvm::isKnownNeverNaN

Return true if the floating-point scalar value is not a NaN or if the floating-point vector value has no NaN elements.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

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

Description

Return false if a value could ever be NaN.

Return Value

True if V is known never to be NaN.

Parameters

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