ΒΆvoid salvageKnowledge(
llvm::Instruction* I,
llvm::AssumptionCache* AC = nullptr,
llvm::DominatorTree* DT = nullptr)
void salvageKnowledge(
llvm::Instruction* I,
llvm::AssumptionCache* AC = nullptr,
llvm::DominatorTree* DT = nullptr)
Description
Calls BuildAssumeFromInst and if the resulting llvm.assume is valid insert if before I. This is usually what need to be done to salvage the knowledge contained in the instruction I. The AssumptionCache must be provided if it is available or the cache may become silently be invalid. The DominatorTree can optionally be provided to enable cross-block reasoning.
Declared at: llvm/include/llvm/Transforms/Utils/AssumeBundleBuilder.h:43
Parameters
- llvm::Instruction* I
- llvm::AssumptionCache* AC = nullptr
- llvm::DominatorTree* DT = nullptr