llvm::isKnownNonEqual

Return true if the given values are known to be non-equal when defined. Supports scalar integer types only.

Synopsis

Declared in <llvm/Analysis/ValueTracking.h>

bool
isKnownNonEqual(
    Value const* V1,
    Value const* V2,
    SimplifyQuery const& SQ,
    unsigned int Depth = 0);

Return Value

True if V1 and V2 are known unequal when defined.

Parameters

NameDescription
V1First value of the inequality query.
V2Second value of the inequality query.
SQSimplify query providing context for the analysis.
DepthCurrent recursion depth for this query.