ΒΆllvm::RetainedKnowledge simplifyRetainedKnowledge(
    llvm::AssumeInst* Assume,
    llvm::RetainedKnowledge RK,
    llvm::AssumptionCache* AC,
    llvm::DominatorTree* DT)

Description

canonicalize the RetainedKnowledge RK. it is assumed that RK is part of Assume. This will return an empty RetainedKnowledge if the knowledge is useless.

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

Parameters

llvm::AssumeInst* Assume
llvm::RetainedKnowledge RK
llvm::AssumptionCache* AC
llvm::DominatorTree* DT