ΒΆ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