¶bool isKnownNonEqual(
    const llvm::Value* V1,
    const llvm::Value* V2,
    const llvm::DataLayout& DL,
    llvm::AssumptionCache* AC = nullptr,
    const llvm::Instruction* CxtI = nullptr,
    const llvm::DominatorTree* DT = nullptr,
    bool UseInstrInfo = true)

Description

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

Declared at: llvm/include/llvm/Analysis/ValueTracking.h:170

Parameters

const llvm::Value* V1

const llvm::Value* V2

const llvm::DataLayout& DL

llvm::AssumptionCache* AC = nullptr

const llvm::Instruction* CxtI = nullptr

const llvm::DominatorTree* DT = nullptr

bool UseInstrInfo = true