llvm::getKnowledgeValidInContext

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.

Synopsis

Declared in <llvm/Analysis/AssumeBundleQueries.h>

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

Return Value

Matching retained knowledge valid at CtxI, or empty if none.

Parameters

Name

Description

Value whose assume knowledge is queried.

AttrKinds

Attribute kinds to consider.

Cache of assumptions for the function.

CtxI

Instruction defining the context where knowledge must be valid.

Optional dominator tree used for context checks.

Created with MrDocs