¶bool isKnownPositive(
    const llvm::Value* V,
    const llvm::DataLayout& DL,
    unsigned int Depth = 0,
    llvm::AssumptionCache* AC = nullptr,
    const llvm::Instruction* CxtI = nullptr,
    const llvm::DominatorTree* DT = nullptr,
    bool UseInstrInfo = true)

Description

Returns true if the given value is known be positive (i.e. non-negative and non-zero).

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

Parameters

const llvm::Value* V

const llvm::DataLayout& DL

unsigned int Depth = 0

llvm::AssumptionCache* AC = nullptr

const llvm::Instruction* CxtI = nullptr

const llvm::DominatorTree* DT = nullptr

bool UseInstrInfo = true