ΒΆllvm::RetainedKnowledge getKnowledgeForValue(
    const llvm::Value* V,
    ArrayRef<Attribute::AttrKind> AttrKinds,
    llvm::AssumptionCache* AC = nullptr,
    function_ref<bool(
        llvm::RetainedKnowledge,
        llvm::Instruction*,
        const CallBase::BundleOpInfo*)> Filter =
        [](type - parameter - 0 - 0...) {
          return true;
        })

Description

Return a valid Knowledge associated to the Value V if its Attribute kind is in AttrKinds and it matches the Filter.

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

Parameters

const llvm::Value* V
ArrayRef<Attribute::AttrKind> AttrKinds
llvm::AssumptionCache* AC = nullptr
function_ref<bool(llvm::RetainedKnowledge, llvm::Instruction*, const CallBase::BundleOpInfo*)> Filter = [](type-parameter-0-0...) { return true; }