¶llvm::RetainedKnowledge
getKnowledgeValidInContext(
    const llvm::Value* V,
    ArrayRef<Attribute::AttrKind> AttrKinds,
    const llvm::Instruction* CtxI,
    const llvm::DominatorTree* DT = nullptr,
    llvm::AssumptionCache* AC = nullptr)

Description

Return a valid Knowledge associated to the Value V if its Attribute kind is in AttrKinds and the knowledge is suitable to be used in the context of CtxI.

Declared at: llvm/include/llvm/Analysis/AssumeBundleQueries.h:164

Parameters

const llvm::Value* V

ArrayRef<Attribute::AttrKind> AttrKinds

const llvm::Instruction* CtxI

const llvm::DominatorTree* DT = nullptr

llvm::AssumptionCache* AC = nullptr