ΒΆllvm::AssumeInst* buildAssumeFromKnowledge(
ArrayRef<llvm::RetainedKnowledge> Knowledge,
llvm::Instruction* CtxI,
llvm::AssumptionCache* AC = nullptr,
llvm::DominatorTree* DT = nullptr)
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