ΒΆllvm::AssumeInst* buildAssumeFromKnowledge(
    ArrayRef<llvm::RetainedKnowledge> Knowledge,
    llvm::Instruction* CtxI,
    llvm::AssumptionCache* AC = nullptr,
    llvm::DominatorTree* DT = nullptr)

Description

Build and return a new assume created from the provided knowledge if the knowledge in the assume is fully redundant this will return nullptr

Declared at: llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h:48

Parameters

ArrayRef<llvm::RetainedKnowledge> Knowledge
llvm::Instruction* CtxI
llvm::AssumptionCache* AC = nullptr
llvm::DominatorTree* DT = nullptr