ΒΆ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;
})
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; }