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);

Parameters

NameDescription
V1LLVM Value Representation
V2LLVM Value Representation